Philosophy Dictionary of Arguments

Home

Screenshot Tabelle Begriffe

 
Author Item Summary Meta data
II 213
Goedel/Incompleteness/Hilbert/Genz: In 1917 Hilbert had drawn up the program to summarize all mathematics in a scheme in the logic of the 1st level, Goedel proved in 1931 that this was not possible. It works well for Euclidean and non-Euclidean geometry, but not for addition and multiplication, if you take their derivation rules together.
It is always about sentences that are formulated in a language, but cannot be derived or refuted.
Abundance/Genz: in poor languages, all statements that can be formulated in them can either be derived or disproved. The richer they are, the more statements can be formulated that do not succeed.
---
II 214
These sentences make a statement about themselves, namely that they cannot be derived.
Solution: Extension of the language. For example, to accept his negation as an axiom.
Problem: In every extension there are new non-derivable sentences.
Deductibility: A language in which any sensible phrase at all could be derived would allow to derive contradictions.


_____________
Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
The note [Author1]Vs[Author2] or [Author]Vs[term] is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.

Gz I
H. Genz
Gedankenexperimente Weinheim 1999

Gz II
Henning Genz
Wie die Naturgesetze Wirklichkeit schaffen. Über Physik und Realität München 2002


Send Link
> Counter arguments against Genz
> Counter arguments in relation to Goedel

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  



Ed. Martin Schulz, access date 2020-02-25
Legal Notice   Contact   Data protection declaration