Lexicon of Arguments

 Philosophical and Scientific Issues in Dispute
 
[german]


Complaints - Corrections

Table
Concepts
Versus
Sc. Camps
Theses I
Theses II

Concept/Author*  

What is wrong?
Page
Other metadata
Translation
Excerpt or content
Other

Correction: Year / Place / Page
/ /

Correction:
(max 500 charact.)

Your username*
or User-ID

Email address*

The complaint
will not be published.

 
II 112
Decidability/Proof-Theoretical Analogy/Quine: the Concept of mechanical procedure is recursivity (e.g. to prove or even formulate Goedel's theorem or Church's theorem of undecidability.)
But to prove the decidability of the theory we do not need a definition of the mechanical process, we simply present a method that everyone would call mechanical. >Proofs, >Provability.
II 191ff,
Undecidable Logics: is a general theory for a single symmetrical two-digit predicate.
II 198
Also undecidable: is a general theory of two-digit formulas that have no quantifiers except (Ex)(y)(Ez).

Found an error? Use our Complaint Form. Perhaps someone forgot to close a bracket? A page number is wrong?
Help us to improve our lexicon.
However, if you are of a different opinion, as regards the validity of the argument, post your own argument beside the contested one.
The correction will be sent to the contributor of the original entry to get his opinion about.