Hvala. Na upisanu e-mail adresu dobiti ćete obavijest kada proizvod ponovno postane dostupan.
Greška! Provjerite unesene podatke.
Gödelov dokaz Ernest Nagel
Prezentirane pojedinosti Gödelova dokaza u njegovom epohalnom članku " O formalno neodlučivim stavcima Principia Mathematica i srodnih sustava I" objavljenog u njemačkom znanstvenom časopisu 1931. godine, predstavljaju prekretnicu u povijesti logike i matematike. Cilj je ove rasprave da bit Gödelovih pronalazaka i opći karakter njegova dokaza učini pristupačnim nestručnjaku. Za postizanje razumjevanja čitatelju će koristiti kratki pregled nekih relevantnih postignuća u povijesti matematike i moderne formalne logike. Drugi dio ove knjige donosi prijevod spomenutog Gödelova članka.