Diskussion:Craig-Interpolation

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 3. April 2007 um 13:17 Uhr durch imported>Bunt(114648).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Ich habe die Definition und den Quellennachweis hinzugefuegt, ich hoffe das erfuellt die ueblichen standards; meine erster 'groesserer' Beitrag, daher bitte gerne Feedback ;) --Hrehfeld 23:06, 7. Aug 2006 (CEST)

Irgendetwas fehlt mir hier. Wenn für B jede Formel zulässig ist, dann kann ich z.B. A für B nehmen und dann ist die Ausage trival. Der Satz müsste etwa so gehen: Wenn A->C ableitbar dann gibt es ein B mit der Eigenschaft ..., sodaß A->B und B->C ableitbar ist. Ich hab aber keine Ahnung welche Eigenschaft ... hier gemeint sein könnte. --

Motiviert durch obige anonyme Bemerkung habe ich den Satz aus Shoenfields Buch hier dargestellt. Der Algorithmus erscheint mir noch unvollständig und damit falsch. --Gerhard Buntrock 15:17, 3. Apr. 2007 (CEST)

Abgerufen von „https://de.wikiup.org/index.php?title=Diskussion:Craig-Interpolation&oldid=30057385“