Church's Thesis After 70 Years /

Church's Thesis After 70 Years / / ed. by Adam Olszewski, Jan Wolenski, Robert Janusz.

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

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1
MitwirkendeR:
Abramson, Darren,
Arkoudas, Konstantine,
Blass, Andreas,
Bridges, Douglas S.,
Bringsjord, Selmer,
Cleland, Carol E.,
Copeland, B. Jack,
Fitz, Hartmut,
Folina, Janet,
Gurevich, Yuri,
Hodges, Andrew,
Horsten, Leon,
Krajewski, Stanisław,
McCarty, Charles,
Mendelson, Elliott,
Murawski, Roman,
Mycka, Jerzy,
Odifreddi, Piergiorgio,
Olszewski, Adam,
Shagrir, Oron,
Shapiro, Stewart,
Sieg, Wilfried,
Svozil, Karl,
Turner, David,
Wolenski, Jan,
HerausgeberIn:
Janusz, Robert,
Olszewski, Adam,
Wolenski, Jan,
Place / Publishing House:Berlin ;, Boston : : De Gruyter, , [2013]
©2006
Year of Publication:2013
Language:English
Series:Ontos Mathematical Logic , 1
Online Access:
Physical Description:1 online resource (551 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items