Kdo to byl Kurt Gödel?
Výraz:
Kurt Gödel
Význam:
Kurt Gödel (1906 - 1978) byl rakouský matematik a logik. Je považován za jednoho z nejvýznamnějších logiků všech dob.
V roce 1931, ve svých 25 letech, publikoval tzv. věty o neúplnosti. Tyto teorémy mají nesmírný význam v matematice, logice a teorii množin.
Kurt Gödel vymyslel také techniku zvanou Gödelovo číslování, tedy funkci, která přiřazuje každému symbolu a každé formuli určitého formálního jazyka unikátní přirozené číslo (tzv. Gödelovo číslo).
V roce 1931, ve svých 25 letech, publikoval tzv. věty o neúplnosti. Tyto teorémy mají nesmírný význam v matematice, logice a teorii množin.
Kurt Gödel vymyslel také techniku zvanou Gödelovo číslování, tedy funkci, která přiřazuje každému symbolu a každé formuli určitého formálního jazyka unikátní přirozené číslo (tzv. Gödelovo číslo).
Mohlo by vás také zajímat: Alan Turing