Gödelov dokaz

Kurt Gödel: O formalno neodlučivim stavcima Principia mathematica i srodnih sustava I

80,00 kn

Kategorija

ISBN

9789539647788

Nakladnik

Godina izdanja

2001

Broj stranica

117

Dimenzije

135mm x 204mm

Uvez

meki

Opis

U jednom njemačkom znanstvenom časopisu pojavio se 1931. razmjerno kratak članak odbojna naslova "Über formal
unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" (O formalno neodlučivim stavcima Principia
Mathematicai srodnih sustava I). Njegov je autor bio Kurt Gödel, tada mladi dvadesetpetogodišnji matematičar na
Sveučilištu u Beču, a od 1938. stalni član Instituta za napredni studij u Princetonu. Taj članak predstavlja
prekretnicu u povijesti logike i matematike. Kada je Sveučilište Harvard dodijelilo 1952. Gödelu počasni doktorat,u javnoj se pohvali taj rad opisuje kao jedan od najznačajnijih koraka u logici u moderno doba.