3 vzťahy: David Hilbert, Metamatematika, 1920.
David Hilbert
David Hilbert (* 23. január 1862, Welau pri Königsbergu (dnes Znamensk pri Kaliningrade) – † 14. február 1943, Göttingen) bol nemecký matematik.
Nový!!: Hilbertov program a David Hilbert · Pozrieť viac »
Metamatematika
Metamatematika je metateória matematiky; študuje vlastnosti formálnych systémov a kalkulov, ako bezrozpornosť, úplnosť a i. Termín metamatematika zaviedol David Hilbert v súvislosti so svojou koncepciou základov matematiky.
Nový!!: Hilbertov program a Metamatematika · Pozrieť viac »
1920
Žiadny popis.
Nový!!: Hilbertov program a 1920 · Pozrieť viac »