Diskussion:Metamathematik

Literaturhinweis einfach gelöscht!

Ich glaube es nicht. Ich fass es nicht. Rtc hat einfach einen Literaturhinweis, der hier war gelöscht. Lorenzen Metamathematik. Unglaublich. Ohne Kommentar, ohne irgendwas.PaCo 18:17, 3. Aug 2005 (CEST)

Habe jetzt, da nun keine Antwort kam, noch nichtmal hier nachträglich die Änderung kommentiert wurde, die Änderung reverted. Die Arbeiten von Kleene und Lorenzen, die einschlägig und inzwischen mehr als 40 Jahre alt sind, bilden eine neue Phase der Metamathematik. In der Einleitung von Lorenzens Buch wird das formalistische Vorgehen gerechtfertigt. PaCo 06:01, 4. Aug 2005 (CEST) den Artikel stark überarbeitet und bitte um Diskussion bei Änderungen. PaCo 07:26, 4. Aug 2005 (CEST)

Lorenzenteil habe ich nochmal überarbeitet, da ich für die vorige Form keine angemessenen Belege hatte. PaCo 19:20, 12. Aug 2005 (CEST)