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.

 
Thiel I 225
Arithmetic/Lorenzen: arithmetic is the theory in which the infinite appears in its simplest form; it is essentially nothing else but the theory of the infinite itself.
>Infinity, >Numbers.
Arithmetic as the theory of the set of characters (for example, tally) is universal in the sense that the properties and relations of every other infinite set of characters can always be "represented" in some way in it.
The complexity of matter has led to the fact that a large portion of the secondary literature about Goedel has created a lot of nonsense on metaphors such as "reflection", "self-rejection", etc.
I 224
The logical arithmetic full-formalism is denoted by F. It contains, inter alia, inductive definitions of the counting signs, the variables for them, the rules of quantifier logic, and the rules written as Dedekind-Peano's axioms.
I 226
The derivability or un-derivability of a formula means nothing else but the existence or non-existence of a proof-figure or a genealogical tree with A as the final formula.
>Derivation, >Derivability, >Syntax.
Therefore the meta-mathematical statements "derivable" or "non-derivable" correspond unambigiously in each case reversible to a basic number which characterizes them.
>Metamathematics.

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.