Lexikon der Argumente

Philosophische Themen und wissenschaftliche Debatten
 
[englisch]


Inhaltliche Beanstandungen

Tabelle
Begriffe
Versus
Lager
Thesen I
Thesen II

Begriff/Autor  

Was ist falsch?
Seitenangabe
Übrige Metadaten
Übersetzung
Excerpt, Inhalt
Sonstiges

Richtig: Jahr / Ort / Seite
/ /

Richtigstellung
(max 500 Zeichen)

Einsender*
oder User-ID

Ihre E-Mail Adresse*

Captcha Code-Check*
Captcha Code
 
Bitte Captcha Code hier eingeben

 
Code schlecht lesbar? Dann anderen Text erzeugen.

Beanstandungen werden
nicht veröffentlicht.

 


 
II 112
Beweistheoretische Analogie/Quine: Begriff des mechanischen Verfahrens: ist die Rekursivität (z.B. um Gödels Satz oder Churchs Satz der Unentscheidbarkeit zu beweisen oder auch nur zu formulieren.)
Doch zum Nachweis der Entscheidbarkeit der Theorie benötigen wir keine Definition des mechanischen Verfahrens, wir legen einfach eine Methode vor, die jeder mechanisch nennen würde.
>Methode, >Rekursion.

II 191ff,
Unentscheidbare Logiken: die allgemeine Theorie für ein einziges symmetrisches zweistelliges Prädikat.
II 198
Ebenfalls unentscheidbar: Die allgemeine Theorie zweistelliger Formeln, die außer (Ex)(y)(Ez) zu Anfang keinerlei Quantoren aufweisen.
>Quantoren.

Hinweis: Liebe User, bitte unterscheiden Sie zwischen Korrektur und neuem Beitrag. Wenn alles falsch sein soll, sogar die Seitenzahl und der Autor, handelt es sich vielleicht einfach um eine andere Meinung.
Die Beanstandung wird dem Einsender des ursprünglichen Beitrags zur Stellungsnahme zugeschickt, bevor die Änderung übernommen wird.