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

0 avg rating
( 0 ratings by Goodreads )
 
9783938793091: Church's Thesis After 70 Years: 1 (Ontos Mathematical Logic)
View all copies of this ISBN edition:
 
 

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

"synopsis" may belong to another edition of this title.

Buy Used
551 p. Like new. Neutwertig. Sprache... Learn more about this copy

Shipping: £ 6.77
From Germany to U.S.A.

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3110324946 ISBN 13:  9783110324945
Publisher: De Gruyter, 2014
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

Olszewski, Adam, Jan Wolenski and Robert Janusz (eds.):
Published by Frankfurt etc. : Ontos-Verlag, (2006)
ISBN 10: 3938793090 ISBN 13: 9783938793091
Used Quantity Available: 1
Seller:
Antiquariat Gleim
(Berlin, Germany)

Book Description Frankfurt etc. : Ontos-Verlag, 2006. Hardcover/Pappeinband. 551 p. Like new. Neutwertig. Sprache: Englisch Gewicht in Gramm: 910. Seller Inventory # 75589

More information about this seller | Contact this seller

Buy Used
£ 56.48
Convert currency

Add to Basket

Shipping: £ 6.77
From Germany to U.S.A.
Destination, rates & speeds

2.

Olszewski, Adam (Hrsg.):
Published by Frankfurt/Main: Ontos. (2006)
ISBN 10: 3938793090 ISBN 13: 9783938793091
Used Hardcover Quantity Available: 2
Seller:
Bücher Eule
(Bern, Switzerland)

Book Description Frankfurt/Main: Ontos., 2006. 8°. 551 S., Pappband (sehr gut erhalten) (=Ontos mathematical logic ; Vol. 1) Sprache: englisch. Seller Inventory # 26135BB

More information about this seller | Contact this seller

Buy Used
£ 50.27
Convert currency

Add to Basket

Shipping: £ 18.85
From Switzerland to U.S.A.
Destination, rates & speeds

3.

Editor-Adam Olszewski; Editor-Jan Wolenski; Editor-Robert Janusz
Published by Ontos Verlag (2007)
ISBN 10: 3938793090 ISBN 13: 9783938793091
Used Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)

Book Description Ontos Verlag, 2007. Hardcover. Condition: Used: Good. Seller Inventory # SONG3938793090

More information about this seller | Contact this seller

Buy Used
£ 118.62
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds