Read Church's Thesis After 70 Years (Ontos Mathematical Logic)

Church's Thesis After 70 Years (Ontos Mathematical Logic)

Unknown Author

4.9/5 (19165 ratings)

Description:Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of an effectively computable function defined in natural numbers with the notion of a recursive function. Despite the many efforts of prominent scientists, Church's Thesis has never been disproven. There exists a vast literature concerning the thesis. The aim of this book is to provide a one volume summary of the state of research on Church's Thesis. These include the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics, CT and physics, the epistemic status of CT, CT and philosophy of mind, provability of CT and CT and functional programming."Adam Olszewski," is assistant professor of the philosophy of mathematics and mathematical logic at the Department of Philosophy of Pontifical Academy of Theology, Cracow (Poland). "Jan Wolenski" is professor of philosophy, Institute of Philosphy, Jagiellonian University, Cracow (Poland). He is one of the most distinguished logicians in Poland. "Robert Janusz" is assistant professor in the Department of Philosophy of Ignatius College, Cracow (Poland).We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Church's Thesis After 70 Years (Ontos Mathematical Logic). To get started finding Church's Thesis After 70 Years (Ontos Mathematical Logic), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 3938793090

Description: Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of an effectively computable function defined in natural numbers with the notion of a recursive function. Despite the many efforts of prominent scientists, Church's Thesis has never been disproven. There exists a vast literature concerning the thesis. The aim of this book is to provide a one volume summary of the state of research on Church's Thesis. These include the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics, CT and physics, the epistemic status of CT, CT and philosophy of mind, provability of CT and CT and functional programming."Adam Olszewski," is assistant professor of the philosophy of mathematics and mathematical logic at the Department of Philosophy of Pontifical Academy of Theology, Cracow (Poland). "Jan Wolenski" is professor of philosophy, Institute of Philosphy, Jagiellonian University, Cracow (Poland). He is one of the most distinguished logicians in Poland. "Robert Janusz" is assistant professor in the Department of Philosophy of Ignatius College, Cracow (Poland).We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Church's Thesis After 70 Years (Ontos Mathematical Logic). To get started finding Church's Thesis After 70 Years (Ontos Mathematical Logic), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Church's Thesis After 70 Years (Ontos Mathematical Logic)

Church's Thesis After 70 Years (Ontos Mathematical Logic)

More Books