Järelsõna
autor
Tammet, Tanel
vastutusandmed
Ernest Nagel, James R. Newman ; inglise keelest tõlkinud Märt Väljataga ; [toimetanud Tiina Hallik ; kujundanud Merle Moorlat]
allikas
Gödeli tõestus : koos Kurt Gödeli loenguga matemaatika alustest ja Tanel Tammeti järelsõnaga
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
EKSA
ilmumisaasta
2020
leheküljed
lk. 125−135
leitav
https://www.ester.ee/record=b5346988*est
märksõna
matemaatiline loogika
teoreemid
tõestused
teadusfilosoofia
järelsõnad
tema kohta
Nagel, Ernest, 1901-1985
Newman, James R., 1907-1966
märkused
Originaali pealk.: Mõned põhiteoreemid matemaatika aluste kohta ja nende implikatsioonid = Some basic theorems on the foundations of mathematics and their implications
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
eesti