Besplatna dostava (Hrvatska) za narudžbe iznad:
53,00 €
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.