 |
|
|
Item Details
| Title:
|
CHURCH'S THESIS AFTER 70 YEARS
|
| By: |
Adam Olszewski (Editor), Jan Wolenski (Editor), Robert Janusz (Editor) |
| Format: |
Hardback |
| List price:
|
£162.50 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3110324946 |
| ISBN 13: |
9783110324945 |
| Publisher: |
DE GRUYTER |
| Pub. date: |
15 June, 2006 |
| Series: |
Ontos Mathematical Logic 1 |
| Pages: |
551 |
| Description: |
Provides summary of the state of research on Church's Thesis. This book includes 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. |
| Synopsis: |
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, Church's Thesis has never been falsified. There exists a vast literature concerning the thesis. The aim of the book is to provide 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. |
| US Grade: |
College Graduate Student |
| Publication: |
Germany |
| Imprint: |
De Gruyter |
| Returns: |
Non-returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|