Home / Historia / Matematyka

Twierdzenia Gödla o niezupełności

★ ★ ★ ★ ★ -/5 (0 opinii)
✅ Fakt historyczny
Poleć na:
16 online
8 451 509 firm
671 225 produktów
8 666 934 numerów
7 opinii i ocen

Twierdzenia Gödla o niezupełności

W 1931 roku Kurt Gödel udowodnił dwa twierdzenia, które wstrząsnęły fundamentami matematyki: w każdym dostatecznie bogatym systemie formalnym istnieją zdania prawdziwe, których nie da się udowodnić w ramach tego systemu.

  • Zniszczyło marzenie Hilberta o „kompletnej i niesprzecznej matematyce"
  • Drugie twierdzenie: system nie może udowodnić własnej niesprzeczności
  • Inspirowało Turinga (problem stopu) i filozofię umysłu

Gödel jest uważany za jednego z największych logików w historii — obok Arystotelesa i Fregego. Jego twierdzenia pokazują, że prawda jest większa niż dowód.

Opinie na temat produktu:

 
dodaj opinię

Nie dodano jeszcze opinii do produktu

Dodaj swoją opinię

Historia życia na Ziemi

1637 Wielkie twierdzenie Fermata ›
Pierre de Fermat zapisał twierdzenie, które udowodniono dopiero w 1995.
1654 Teoria prawdopodobieństwa ›
Pascal i Fermat wymienili korespondencję o prawdopodobieństwie.
1687 Rachunek różniczkowy ›
Newton i Leibniz niezależnie opracowali rachunek różniczkowy.
1829 Geometria nieeuklidesowa ›
Łobaczewski i Bolyai opisali geometrię nieeuklidesową.
1874 Teoria zbiorów Cantora ›
Georg Cantor stworzył teorię zbiorów i liczb pozaskończonych.
★ Ta strona (1931)
Twierdzenia Gödla o niezupełności
1936 Maszyna Turinga ›
Alan Turing zaproponował teoretyczny model komputera.
1941 Złamanie Enigmy ›
Alan Turing pomógł złamać szyfr Enigmy w Bletchley Park.
1995 Dowód Wielkiego Twierdzenia Fermata ›
Andrew Wiles udowodnił twierdzenie Fermata po 358 latach.
2003 Hipoteza Poincarégo udowodniona ›
Grigorij Perelman udowodnił hipotezę Poincarégo.
Dziś
Współczesność
Moja oś czasu

Zaloguj się, aby tworzyć swoją oś czasu

Zaloguj się

👍 Oceń ten wpis

Czy ten wpis był interesujący?

Ostatnie głosy

Ładowanie...
Twierdzenia Gödla o niezupełności
Czy ten wpis jest interesujący?

Informacje

Data 1931
Miejsce Kopenhaga, Dania
Dziedzina Fizyka atomowa
Odkrywca Niels Bohr
Typ Fakt historyczny
Oceny 0 opinii