Church's Thesis after 70 years /

Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, C...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Church, Alonzo, 1903-1995, Olszewski, Adam, Woleński, Jan, Janusz, Robert
Format: Electronic eBook
Language:Inglés
Published: Frankfurt ; New Brunswick, NJ : Ontos, ©2006.
Series:Ontos mathematical logic ; v. 1.
Subjects:
Church, Alonzo, > 1903-1995.
Church, Alonzo, > 1903-1995
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Stelling van Church.
Online Access:Texto completo

Internet

Texto completo

Error inesperado del formato de respuesta.
Holdings details from

Similar Items