Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Church, Alonzo, 1903-1995, Olszewski, Adam, Woleński, Jan, Janusz, Robert
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Frankfurt ; New Brunswick, NJ : Ontos, ©2006.
Colección:Ontos mathematical logic ; v. 1.
Temas:
Acceso en línea:Texto completo