App installieren
How to install the app on iOS
Follow along with the video below to see how to install our site as a web app on your home screen.
Anmerkung: This feature may not be available in some browsers.
Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden.
Du solltest ein Upgrade durchführen oder ein alternativer Browser verwenden.
Du solltest ein Upgrade durchführen oder ein alternativer Browser verwenden.
Gödelscher Unvollständigkeitssatz
- Ersteller Sir Ulli
- Erstellt am
Sir Ulli
Grand Admiral Special
- Mitglied seit
- 06.02.2002
- Beiträge
- 14.440
- Renomée
- 202
- Standort
- Bad Oeynhausen
- Aktuelle Projekte
- Seti, Spinhenge
- Lieblingsprojekt
- Seti, Spinhenge, ich war vor Ort
- Meine Systeme
- Athlon64 X2 4.400, Imhell Quad 6.600
- Mein Laptop
- HP 530
- Prozessor
- Imhell Quad 6.600 at 3.240 8 x 405
- Mainboard
- Aus P5K Rev 2.1
- Kühlung
- Thermalright SI-128 SE Papst 120 at 1.200
- Speicher
- 2 x A-DATA 4 GB DDR2-800 Kit 4,4,4,12
- Grafikprozessor
- Asus 8.500 GT SILENT/HTP/256M
- Display
- Samsung SyncMaster 2232BW 22 Zoll TFT
- HDD
- Western Digital WD10EACS 1 TB
- Optisches Laufwerk
- Samsung SH-S203P Sata
- Soundkarte
- onboard
- Gehäuse
- CS601 mit 2extra Päpsten at 9 Volt
- Netzteil
- Fortron 350 Watt
- Betriebssystem
- Windows7 Home Premium
- Webbrowser
- Mozilla Firefox
kam gerade auf Arte
http://www.arte-tv.com/de/woche/244,broadcastingNum=538286,day=1,week=28,year=2006.html
Kurt Gödel: Ein Logiker zwischen Genie und Wahnsinn
und at Wikipedia
http://de.wikipedia.org/wiki/Kurt_Gödel
Der gödelsche Vollständigkeitssatz (nach Kurt Gödel) ist der Hauptsatz der mathematischen Logik. Er zeigt für ein formales System der Prädikatenlogik erster Stufe die Korrektheit und Vollständigkeit: Jeder Satz, der semantisch aus einer Formelmenge folgt, lässt sich mit den Schlussregeln des Systems aus der Formelmenge herleiten, und umgekehrt. Für die Logik erster Stufe sind also syntaktische und semantische Folgerung gleichbedeutend.
Unglaublich
mfg
Sir Ulli
http://www.arte-tv.com/de/woche/244,broadcastingNum=538286,day=1,week=28,year=2006.html
Kurt Gödel: Ein Logiker zwischen Genie und Wahnsinn
und at Wikipedia
http://de.wikipedia.org/wiki/Kurt_Gödel
Der gödelsche Vollständigkeitssatz (nach Kurt Gödel) ist der Hauptsatz der mathematischen Logik. Er zeigt für ein formales System der Prädikatenlogik erster Stufe die Korrektheit und Vollständigkeit: Jeder Satz, der semantisch aus einer Formelmenge folgt, lässt sich mit den Schlussregeln des Systems aus der Formelmenge herleiten, und umgekehrt. Für die Logik erster Stufe sind also syntaktische und semantische Folgerung gleichbedeutend.
Unglaublich
mfg
Sir Ulli
Der gödelsche Vollständigkeitssatz (nach Kurt Gödel) ist der Hauptsatz der mathematischen Logik. Er zeigt für ein formales System der Prädikatenlogik erster Stufe die Korrektheit und Vollständigkeit: Jeder Satz, der semantisch aus einer Formelmenge folgt, lässt sich mit den Schlussregeln des Systems aus der Formelmenge herleiten, und umgekehrt. Für die Logik erster Stufe sind also syntaktische und semantische Folgerung gleichbedeutend.
"[...] bewies Gödel den Unvollständigkeitssatz. Dieser besagt, dass eine beliebige Klasse von Formeln k nicht logisch vollständig innerhalb des von k gebildeten Formelsystems bewiesen werden kann, weil sonst k nicht widerspruchsfrei wäre. Das bedeutet mit anderen Worten, dass es formal unentscheidbare Sätze innerhalb des Systems k gibt." (Wikipedia, "Kurt Gödel")
# Hab ja selber kaum Ahnung davon, aber ist nicht letzteres die Kernaussage des Unvollständigkeitssatzes?
Wie dem auch sei, auch Gödels Biographie ist echt interessant! (wie auch auf der arte-Seite betont wird)
Auch lustig, das Gödel lauter Zeug rausgefunden hat, was anderen Wissenschaftlern (Hilbert, Einstein) überhaupt nicht in den Kram gepasst hat
Zuletzt bearbeitet:
SirThor
Grand Admiral Special
- Mitglied seit
- 11.11.2001
- Beiträge
- 3.058
- Renomée
- 20
- Standort
- Sachsen
- Mein Laptop
- Acer Extensa 5220
- Prozessor
- i7-4790k
- Mainboard
- ASUS Z97 Deluxe
- Kühlung
- Brocken Rev.2
- Speicher
- 32 GB DDR3 (4x8GB Corsair Vengeance)
- Grafikprozessor
- MSI GeForce GTX 980Ti Gaming
- Display
- iiyama proLite XB2779QS-1 (WQHD 2560 x 1440)
- SSD
- Samsung 840 EVO 1TB, Cruical MX200 1TB
- HDD
- SATA: Seagate Barracuda 3GB ST3000DM001
- Optisches Laufwerk
- SATA: Optiarc DVD RW AD-7203S, LG HL-DT-ST BDDVDRW CH10LS20
- Soundkarte
- SB Z
- Gehäuse
- Corsair C70
- Netzteil
- Corsair AX760
- Betriebssystem
- Windows7 64bit Professional
- Webbrowser
- Firefox Version irgendwas gegen unendlich
- Verschiedenes
- mechanische Tastatur: Corsair Vengeance K60 ...nie wieder Gumminoppen :-)
Ulli, rate mal, von wem bzw. was die Gödelisierung einer Turingmaschine ist und wer sich mit solchen Dingen rumbalgen darf!
Redphil
Grand Admiral Special
- Mitglied seit
- 13.02.2004
- Beiträge
- 6.415
- Renomée
- 152
- Standort
- L, FG
- Mein Laptop
- Dell Vostro 1510 mit Celeron-M 540
- Prozessor
- Intel Pentium G6950
- Mainboard
- Intel DP55KG
- Kühlung
- Scythe Yasya
- Speicher
- 4 GB Crucial Tracer DDR3
- Grafikprozessor
- Sapphire Radeon HD 5830
- Display
- EIZO S1901
- HDD
- WD800HLFS; WD6400AAKS
- Optisches Laufwerk
- Samsung SH-S203N
- Gehäuse
- Lian-Li PC-P60
- Netzteil
- PC Power&Cooling Silencer Quad Crossfire
- Betriebssystem
- Win7
- Webbrowser
- Firefox
Der gödelsche Vollständigkeitssatz (nach Kurt Gödel) ist der Hauptsatz der mathematischen Logik. Er zeigt für ein formales System der Prädikatenlogik erster Stufe die Korrektheit und Vollständigkeit: Jeder Satz, der semantisch aus einer Formelmenge folgt, lässt sich mit den Schlussregeln des Systems aus der Formelmenge herleiten, und umgekehrt. Für die Logik erster Stufe sind also syntaktische und semantische Folgerung gleichbedeutend.
Nach dem Versuch das zu verstehen sehe ich so aus: .
Ähnliche Themen
- Antworten
- 18
- Aufrufe
- 1K
T