Gödelsche Unvollständigkeitssätze - Versionsgeschichte

Kowa am 31. Januar 2016 um 16:14 Uhr

2016-01-31T16:14:02Z

← Nächstältere Version		Version vom 31. Januar 2016, 16:14 Uhr
Zeile 2:		Zeile 2:
	\|correctness = 4		\|correctness = 4
	\|extent = 1		\|extent = 1
	\|numberOfReferences = 3		\|numberOfReferences = 2
	\|qualityOfReferences = 5		\|qualityOfReferences = 5
	\|conformance = 5		\|conformance = 5

Kowa am 31. Januar 2016 um 16:13 Uhr

2016-01-31T16:13:35Z

← Nächstältere Version		Version vom 31. Januar 2016, 16:13 Uhr
Zeile 2:		Zeile 2:
	\|correctness = 4		\|correctness = 4
	\|extent = 1		\|extent = 1
	\|numberOfReferences = 2		\|numberOfReferences = 3
	\|qualityOfReferences = 5		\|qualityOfReferences = 5
	\|conformance = 5		\|conformance = 5

Kowa am 31. Januar 2016 um 16:12 Uhr

2016-01-31T16:12:35Z

← Nächstältere Version		Version vom 31. Januar 2016, 16:12 Uhr
Zeile 11:		Zeile 11:
	die nicht mit Hilfe des Systems bewiesen werden können.<ref>{{Quelle\|Gödel (1931)}}</ref>		die nicht mit Hilfe des Systems bewiesen werden können.<ref>{{Quelle\|Gödel (1931)}}</ref>

	~~Gödels Beweisidee basiert auf einer Vermischung der Sprachebenen. Zunächst definiert er – auf Objektebene! – mit Hilfe der Arithmetik der~~		Gödel hat damit bewiesen, dass es kein Axiomensystem gibt, mit dem sich alle arithmetischen Wahrheiten beweisen lassen.
	~~natürlichen Zahlen einen [[Kalkül\|Beweiskalkül]] G. Anschließend transformiert er den Satz „Diese Aussage lässt sich innerhalb des Systems G nicht beweisen.“~~
	~~in die Objektsprache. Diese in die Objektsprache transformierte Aussage kann tatsächlich nicht mit Hilfe des Systems G bewiesen werden, da dies sofort zu einem~~
	~~Widersprucht führen würde. Also gibt es eine ''wahre'' Aussage, die innerhalb von G nicht beweisen werden kann. Die Schlussfolgerung,~~
	~~dass es sich bei G um eine wahre Aussage handelt, findet auf der Metaebene, also ''außerhalb'' des Systems G statt.~~

	~~Kurz gesagt:~~ Gödel hat bewiesen, dass es kein Axiomensystem gibt, mit dem sich alle arithmetischen Wahrheiten beweisen lassen.
	Damit ist der Traum von [[David Hilbert]], mit der [[Principia Mathematica]] die Arithmetik vollständig und widerspruchsfrei zu axiomatisieren, geplatzt.		Damit ist der Traum von [[David Hilbert]], mit der [[Principia Mathematica]] die Arithmetik vollständig und widerspruchsfrei zu axiomatisieren, geplatzt.

	~~Ein sehr anschauliche Version des Beweises von Gödel einschließlich vieler Implikationen, die dieser~~
	~~Satz zur Folge hat, findet man in dem Buch „Gödel, Escher, Bach“ von Douglas R. Hofstadter<ref>{{Quelle\|Hofstadter, D.R. (1987): Gödel, Escher, Bach}}</ref>.~~

	==Erster Gödelscher Unvollständigkeitssatz==		==Erster Gödelscher Unvollständigkeitssatz==
Zeile 30:		Zeile 21:
	{{TBD}}		{{TBD}}

	==~~Idee hinter dem ersten Gödelschen Unvollständigkeitssatz~~==		==Beweisidee==
	Die ~~Idee hinter~~ dem ersten Gödelschen Unvollständigkeitssatz kann man sich sehr schön an folgendem Beispiel klar machen:		Die Beweisidee, die dem ersten Gödelschen Unvollständigkeitssatz zugrunde liegt, kann man sich sehr schön an folgendem Beispiel klar machen:

	<div class="formula">''Der Leser kann diesen Satz (namens „GöU“) nicht beweisen.''</div>		<div class="formula">''Der Leser kann diesen Satz (namens „GöU“) nicht beweisen.''</div>
Zeile 69:		Zeile 60:
	Die ursprüngliche Version des Satzes „WAHR?“ lautet:		Die ursprüngliche Version des Satzes „WAHR?“ lautet:
	<div class="formula">''Lucas cannot consistently believe this sentence.''<ref name="MindI" /></div>		<div class="formula">''Lucas cannot consistently believe this sentence.''<ref name="MindI" /></div>

			==Beweis der Gödelschen Unvollständigkeitssätze==

			Ein sehr anschauliche Version des Beweises von Gödel einschließlich vieler Implikationen, die dieser
			Satz zur Folge hat, findet man in dem Buch „Gödel, Escher, Bach“ von Douglas R. Hofstadter<ref>{{Quelle\|Hofstadter, D.R. (1987): Gödel, Escher, Bach}}</ref>.

	==Quellen==		==Quellen==

Kowa: Die Seite wurde neu angelegt: „{{Qualität |correctness = 4 |extent = 1 |numberOfReferences = 2 |qualityOfReferences = 5 |conformance = 5 }}
Ku…“

2016-01-31T16:09:41Z

Die Seite wurde neu angelegt: „{{Qualität |correctness = 4 |extent = 1 |numberOfReferences = 2 |qualityOfReferences = 5 |conformance = 5 }} <nowiki/><br/>Ku…“

Neue Seite

{{Qualität
|correctness = 4
|extent = 1
|numberOfReferences = 2
|qualityOfReferences = 5
|conformance = 5
}}

<nowiki/><br/>[[Kurt Gödel]] hat mit seinem berühmten [[Erster Gödelscher Unvollständigkeitsatz|erstem Unvollständigkeitsatz]] bewiesen, dass es in jedem
widerspruchsfreiem axiomatischen System, dass die Arithmetik der natürlichen Zahlen umfasst, wahre Ausagen gibt,
die nicht mit Hilfe des Systems bewiesen werden können.<ref>{{Quelle|Gödel (1931)}}</ref>

Gödels Beweisidee basiert auf einer Vermischung der Sprachebenen. Zunächst definiert er – auf Objektebene! – mit Hilfe der Arithmetik der
natürlichen Zahlen einen [[Kalkül|Beweiskalkül]] G. Anschließend transformiert er den Satz „Diese Aussage lässt sich innerhalb des Systems G nicht beweisen.“
in die Objektsprache. Diese in die Objektsprache transformierte Aussage kann tatsächlich nicht mit Hilfe des Systems G bewiesen werden, da dies sofort zu einem
Widersprucht führen würde. Also gibt es eine ''wahre'' Aussage, die innerhalb von G nicht beweisen werden kann. Die Schlussfolgerung,
dass es sich bei G um eine wahre Aussage handelt, findet auf der Metaebene, also ''außerhalb'' des Systems G statt.

Kurz gesagt: Gödel hat bewiesen, dass es kein Axiomensystem gibt, mit dem sich alle arithmetischen Wahrheiten beweisen lassen.
Damit ist der Traum von [[David Hilbert]], mit der [[Principia Mathematica]] die Arithmetik vollständig und widerspruchsfrei zu axiomatisieren, geplatzt.

Ein sehr anschauliche Version des Beweises von Gödel einschließlich vieler Implikationen, die dieser
Satz zur Folge hat, findet man in dem Buch „Gödel, Escher, Bach“ von Douglas R. Hofstadter<ref>{{Quelle|Hofstadter, D.R. (1987): Gödel, Escher, Bach}}</ref>.

==Erster Gödelscher Unvollständigkeitssatz==
{{TBD}}
===Verallgemeinerung von Barkley Rosser===
{{TBD}}
==Zweiter Gödelscher Unvollständigkeitssatz==
{{TBD}}

==Idee hinter dem ersten Gödelschen Unvollständigkeitssatz==
Die Idee hinter dem ersten Gödelschen Unvollständigkeitssatz kann man sich sehr schön an folgendem Beispiel klar machen:

<div class="formula">''Der Leser kann diesen Satz (namens „GöU“) nicht beweisen.''</div>

Bei „GöU“ handelt es sich um einen wahren Satz.

<div class="formula">'''Beweis (durch den Wiki-Autor dieses Artikels)'''

''Wenn der Leser „GöU“ beweisen könnte, würde er beweisen, dass er „GöU“ nicht beweisen kann. Da dies einen Widerspruch darstellt, kann der Leser „GöU“ nicht beweisen. Der Satz ist also wahr!''
</div>

Damit gibt es also einen wahren Satz, den das axiomatische System „Leser“ nicht beweisen kann.

Auf dieselbe Weise kann der Autor dieses Artikels sogar den Satz
<div class="formula">''Der Leser kann diesen Satz (namens „WAHR?“) nicht für wahr halten.''</div>
als wahr beweisen.
(Man beachte, dass es sich beim vorangegangenen Satz um einen Satz auf Metametaebene handelt,
da im darin enthaltenen Satz „WAHR?“ bereits Objekt- und Metaebene vermischt werden.)

Die Tatsache, das der Satz „WAHR?“ beweisbar korrekt ist, ist für den Autor dieses Artikels besonders dramatisch:
Als Wiki-Autor kann er die Wahrheit des Satzes „WAHR?“ beweisen,
aber als Leser muss er, nachdem er den Beweis fertiggestellt hat und den Satz noch einmal auf Fehler hin durchliest,
erkennen, dass der Satz (für ihn als Leser!) falsch sein '''muss'''.

==Quellen der Sätze „GöU“ und „WAHR?“==

Die ursprüngliche Version des Satzes „GöU“ lautet folgendermaßen
<div class="formula">''Lucas cannot consistently assert this sentence.''<ref name="MindI">[[Hofstadter, Dennett (1985)]], Chapter 17, Reflections</ref></div>
oder – in deutscher Übersetzung –
<div class="formula">''Lucas kann diesen Satz nicht widerspruchsfrei behaupten.''<ref>[[Hofstadter (1987)]], Seite 510</ref></div>
und war als Antwort von C. H. Whietely an J. R. Lucas gedacht. Lucas hat aus Gödels Unvollständigkeitssatz geschlussfolgert,
dass „der Geist nicht als Maschine zu erklären ist“<ref>[[Hofstadter (1987)]], Seite 504</ref>,
dass also der menschliche Geist prinzipiell mehr vollbringen kann als Maschinen, da er den Gödelschen Beschränkungen nicht unterliegen würde.
Wie allerdings Hofstadter, Whitely und andere nachvollziehbar darlegen, gibt es auch für den menschlichen Geist
unüberwindbare Beschränkungen, so dass die Argumentation von Lucas nicht stichhaltig ist.

Die ursprüngliche Version des Satzes „WAHR?“ lautet:
<div class="formula">''Lucas cannot consistently believe this sentence.''<ref name="MindI" /></div>

==Quellen==
<references />

[[Kategorie:Logik]]

Gödelsche Unvollständigkeitssätze - Versionsgeschichte

Kowa am 31. Januar 2016 um 16:14 Uhr

Kowa am 31. Januar 2016 um 16:13 Uhr

Kowa am 31. Januar 2016 um 16:12 Uhr

Kowa: Die Seite wurde neu angelegt: „{{Qualität |correctness = 4 |extent = 1 |numberOfReferences = 2 |qualityOfReferences = 5 |conformance = 5 }} Ku…“

Kowa: Die Seite wurde neu angelegt: „{{Qualität |correctness = 4 |extent = 1 |numberOfReferences = 2 |qualityOfReferences = 5 |conformance = 5 }}
Ku…“