Számíthatóság: Kiszámítható függvények, logika és a matematika alapjai

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Computability: Computable Functions, Logic, and the Foundations of Mathematics

Könyv tartalma:

Most új kiadásban - a számítható függvények elméletének klasszikus bemutatása a matematika alapjaival összefüggésben. Az I.

rész a matematika alapjainak 20. század eleji válságáról szóló vitákkal és olvasmányokkal motiválja a kiszámíthatóság tanulmányozását, miközben bemutatja az egész szám, a függvény, a bizonyítás és a valós szám alapgondolatait. A II.

rész Turingtól és Posttól származó olvasmányokkal kezdődik, amelyek a rekurzív függvények formális elméletéhez vezetnek. A III.

rész elegendő formális logikát mutat be ahhoz, hogy Godel befejezetlenségi tételeinek teljes kidolgozását adja. A IV.

rész a technikai munka jelentőségét vizsgálja a Church-tézisek és a matematika alapjaival kapcsolatos olvasmányok tárgyalásával. Ez az új kiadás tartalmazza a "Számíthatóság és eldönthetetlenség" című időrendet, valamint a "Matematikáról" című esszét."".