Unvollständigkeitssatz: Unterschied zwischen den Versionen

aus Kamelopedia, der wüsten Enzyklopädie
Zur Navigation springen Zur Suche springen
(link auf Beweis)
K (Textersetzung - „ {{GanzGut}}“ durch „“)
 
(25 dazwischenliegende Versionen von 17 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
−
Der '''Knödelsche Unverständlichkeitssatz''' beschäftigt sich mit der Beweisbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit auf.
+
__NOTOC__
 +
{|width="100%" cellpadding="5"  style="vertical-align:top"
 +
|width="60%" style="vertical-align:top; "|
 +
#''Ein'' '''Unvollständigkeitssatz''' ist ein Satz, dem ein wichtiger Bestandteil.
 +
#''Der'' '''Unvollständigkeitssatz''', aufgestellt von [[Kurt Knödel|Kurt Dödel]], sagt aus, dass eine [[Aussage]] nicht zugleich vollständig und [[wahr]] sein könne. Er veränderte wesentlich die Prozessordnung und erlaubt die Aussageverweigerung auch auf dem Gebiet der [[Mathematik]]:
 +
==Vollständige Induktion==
 +
Nach dem Unvollständigkeitssatz ist die vollständige [[Beweis|Induktion]] entweder nicht vollständig oder falsch. [[Gott]] vereinbarte mit dem [[Teufel]], irgendein [[Schlumpf]]loch müsse es immer geben und sei es noch so klitzeklein.
 +
==Gerichtsprozess==
 +
In Gerichtsprozessen muss gelogen werden, da sie sonst unendlich lange dauern würden. Wenn Beispielsweise der [[Richter]] fragt: "Wie alt sind Sie?", dann darf die Angeklagte lügen und statt "Ich bin 25 Jahre 2 Monate 4 Tage 9 Stunden und 58, 59, 60…" sagen: "Ich bin 18."
 +
Jede Aussage darf unvollständig sein. Wenn sie vollständig wäre, begänne sie zum Beispiel: "Ich ging gerade auf der Buda[[pest]]er Straße, die Farbe meiner Sandalen war [[braun]], obwohl, sie waren leicht an der Seite abgeschabt, ich trug zwei [[Socken]], von denen einer in Kürze beginnen würde, ein Loch zu bekommen, die Farbe des linken Sockens war braun, aber er hatte einen leicht weißen Schimmer von [[Staub]], denn ich war in eine Windböe geraten, diese hatte sich in einem Wirbel aufgelöst, aber Ziegelsteine vom Dach nicht heruntergewedelt. Die Ziegelsteine waren stabil, wogen 1,34 Kg und waren gelb gefärbt. Der andere Strumpf war etwas heller, denn ich hatte ihn beim Aufstehen in der Dunkelheit verwechselt, ist das strafbar, Herr Richter? Mein [[Bart]] war grau, enthielt aber noch einhundertundzweiundzwanzig dunklere [[Haar]]e. Außerdem habe ich in den Text [[Tippfehler]] hineingebracht. Die [[Straßenbahn]] klingelte. Es war ein Ton von etwa 800 Hertz. Aber er war nicht an jeder Stelle gleich hoch und er hatte unterschiedliche Lautstärke und die 800 Hertz stimmen nicht richtig, aber das tut mir leid, ich hatte kein Messgerät mit."
 +
|width="40%" style="vertical-align:top; "|
 +
==Reisen==
 +
Bei [[Reise]]n sagt der Unvollständigkeitssatz aus, dass man nie alles mitnimmt, was man braucht, aber dafür auch nie alles braucht, was man mitnimmt.
 +
==Drogen==
 +
Möchtegern-Ex-Alkis machen aus purer Freude einen Unvollständigkeitssatz, wenn sie über einen vorbestimmten Zeitraum hin ständig [[unvoll]], das heißt nüchtern geblieben sind.
 +
==Computertechnik==
 +
Durch die Übersetzung aus dem Suahelischen über das [[Russische Sprache|Russisch-Orthodoxe]] ins [[Deutsch]]e sind viele Fehlermeldungen in der Computertechnik unvollständig. Dies liegt hauptsächlich daran, das sich bei der Übersetzung die Textmenge erhöht, das Fenster aber gleich groß bleibt. Somit kommt es immer häufiger zum Unvollständigkeitssatz wie "Ihre Seite kann nicht gedruckt werden. Bitte überprüfen Sie, ob der Drucker eingeschaltet und betriebsbereit ist und ob auch alle Kabel".
  
−
Der Mathematiker [[Kurt Knödel]] wies im Jahre [[1930]] nach, dass man in Systemen wie der [[Arithmetik]] nicht alle Aussagen beweisen oder widerlegen kann. Sein Satz besagt:
+
==weiterführender Hinweis==
 +
Wer dies alles nicht verstanden hat, dem fehlt eigentlich nichts, außer der Theorie, die ebendies auch noch erklärt, nämlich der [[Knödelscher Unverständlichkeitssatz|Knödelsche Unverständlichkeitssatz]].
 +
|}
  
−
:''Jedes hinreichend mächtige formale System ist entweder widersprüchlich oder unverständlich.''
+
{{sa}}[[Johann Wolfgang von Gödel]] | [[Gutenbergsche Unschärferelation]]<br>
−
 
+
{{nt}}[[Voyneechish]]{{Rechtshinweis}}
−
Knödels Argumentation beruht auf der sogenannten ''Knödelisierung''. Jeder Satz innerhalb des formalen Systems erhält dabei eine eigene Nummer. Damit kann erreicht werden, dass beispielsweise einem einfachen Ausdruck wie "1+1=2" die Knödelnummer 8945724983579857096585098324975867985743908543256779812423434 zugeordnet wird. Zu dieser Zahl gehört nun wieder eine noch längere und kompliziertere Knödelnummer. Natürlich kann man diesen Schritt beliebig oft wiederholen, und bereits nach wenigen Schritten ist die Schmerzgrenze auch des cleversten Mathematikers überschritten. Es handelt sich dabei um einen sogenannten ''Diabolisierungs[[beweis]]'', mit dem erreicht werden kann, dass selbst die elementarsten Schritte der Mathematik weitgehend unverständlich werden.
+
[[Kategorie: Logik]]
−
 
+
[[Kategorie: Recht]]
−
Damit dieser Ansatz funktioniert, muss das zugrundegelegte formale System also mindestens Zählungen erlauben. Für einfache Systeme gilt der Unverständlichkeitssatz daher nicht.
+
[[Kategorie: Computer]]
−
 
+
[[Kategorie: Drogen]]
−
Knödel versetzte mit seinem Unverständlichkeitssatz dem Ansatz von [[David Hilbert]] zur vollständigen Begründung und Formalisierung der Mathematik einen schweren Schlag. Von dieser persönlichen Niederlage hat Hilbert sich nicht wieder erholt; enge Freunde berichten, dass er sein [[Hilberts Hotel|Hotelzimmer]] von diesem Tag an nicht mehr verlassen hat.  Sein Hotelzimmer wurde aufgrund dessen [[Hilbertraum]] genannt.
+
[[Kategorie: Mathematik]]
−
 
+
[[Kategorie:Sprachwissenschaft]]
−
Ein anderer Ansatz, der unüberbrückbare Lücken in Hilberts Programm nachweist, stammt von einem britischen Mechaniker, der ein besonders schnelles, als [[Touring-Maschine]] bekannt gewordenes, Motorrad erfand. Aufgrund eines [[Halteproblem]]s hat die Touring-Maschine bis heute keine [[TÜV]]-Zulassung erhalten. Der [[Alan Touring|Mechaniker]] soll sich deswegen, als er in einer Kurve bei stark überhöhtem Tempo über einen Apfel fuhr, mit tödlichen [[Vergiftung|Verletzungen]] aus seiner Lebensbahn katapultiert haben.
+
[[wiki:Gödelscher Unvollständigkeitssatz]]
−
 
 
−
 
 
−
{{sa}} [[Unvollständigkeitssatz]]
 
−
 
 
−
 
 
−
[[Kategorie:Mathematik]]
 
−
[[Kategorie:Logik]]
 

Aktuelle Version vom 8. August 2011, 14:36 Uhr

  1. Ein Unvollständigkeitssatz ist ein Satz, dem ein wichtiger Bestandteil.
  2. Der Unvollständigkeitssatz, aufgestellt von Kurt Dödel, sagt aus, dass eine Aussage nicht zugleich vollständig und wahr sein könne. Er veränderte wesentlich die Prozessordnung und erlaubt die Aussageverweigerung auch auf dem Gebiet der Mathematik:

Vollständige Induktion[<small>bearbeiten</small>]

Nach dem Unvollständigkeitssatz ist die vollständige Induktion entweder nicht vollständig oder falsch. Gott vereinbarte mit dem Teufel, irgendein Schlumpfloch müsse es immer geben und sei es noch so klitzeklein.

Gerichtsprozess[<small>bearbeiten</small>]

In Gerichtsprozessen muss gelogen werden, da sie sonst unendlich lange dauern würden. Wenn Beispielsweise der Richter fragt: "Wie alt sind Sie?", dann darf die Angeklagte lügen und statt "Ich bin 25 Jahre 2 Monate 4 Tage 9 Stunden und 58, 59, 60…" sagen: "Ich bin 18." Jede Aussage darf unvollständig sein. Wenn sie vollständig wäre, begänne sie zum Beispiel: "Ich ging gerade auf der Budapester Straße, die Farbe meiner Sandalen war braun, obwohl, sie waren leicht an der Seite abgeschabt, ich trug zwei Socken, von denen einer in Kürze beginnen würde, ein Loch zu bekommen, die Farbe des linken Sockens war braun, aber er hatte einen leicht weißen Schimmer von Staub, denn ich war in eine Windböe geraten, diese hatte sich in einem Wirbel aufgelöst, aber Ziegelsteine vom Dach nicht heruntergewedelt. Die Ziegelsteine waren stabil, wogen 1,34 Kg und waren gelb gefärbt. Der andere Strumpf war etwas heller, denn ich hatte ihn beim Aufstehen in der Dunkelheit verwechselt, ist das strafbar, Herr Richter? Mein Bart war grau, enthielt aber noch einhundertundzweiundzwanzig dunklere Haare. Außerdem habe ich in den Text Tippfehler hineingebracht. Die Straßenbahn klingelte. Es war ein Ton von etwa 800 Hertz. Aber er war nicht an jeder Stelle gleich hoch und er hatte unterschiedliche Lautstärke und die 800 Hertz stimmen nicht richtig, aber das tut mir leid, ich hatte kein Messgerät mit."

Reisen[<small>bearbeiten</small>]

Bei Reisen sagt der Unvollständigkeitssatz aus, dass man nie alles mitnimmt, was man braucht, aber dafür auch nie alles braucht, was man mitnimmt.

Drogen[<small>bearbeiten</small>]

Möchtegern-Ex-Alkis machen aus purer Freude einen Unvollständigkeitssatz, wenn sie über einen vorbestimmten Zeitraum hin ständig unvoll, das heißt nüchtern geblieben sind.

Computertechnik[<small>bearbeiten</small>]

Durch die Übersetzung aus dem Suahelischen über das Russisch-Orthodoxe ins Deutsche sind viele Fehlermeldungen in der Computertechnik unvollständig. Dies liegt hauptsächlich daran, das sich bei der Übersetzung die Textmenge erhöht, das Fenster aber gleich groß bleibt. Somit kommt es immer häufiger zum Unvollständigkeitssatz wie "Ihre Seite kann nicht gedruckt werden. Bitte überprüfen Sie, ob der Drucker eingeschaltet und betriebsbereit ist und ob auch alle Kabel".

weiterführender Hinweis[<small>bearbeiten</small>]

Wer dies alles nicht verstanden hat, dem fehlt eigentlich nichts, außer der Theorie, die ebendies auch noch erklärt, nämlich der Knödelsche Unverständlichkeitssatz.

Siehe auch.png Siehe auch: Johann Wolfgang von Gödel | Gutenbergsche Unschärferelation

Siehe auch.png Hat gar nichts zu tun mit: Voyneechish

Paragraphenreiten2005.jpg Bitte beachten Sie auch den Hinweis zu Rechtsthemen!

wiki:Gödelscher Unvollständigkeitssatz

Abgerufen von „http://testpyramido.uni-guehlen.de/w/index.php?title=Unvollständigkeitssatz&oldid=456329“