0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R5,000 - R10,000 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Church's Thesis After 70 Years (Hardcover): Adam Olszewski, Jan Wolenski, Robert Janusz Church's Thesis After 70 Years (Hardcover)
Adam Olszewski, Jan Wolenski, Robert Janusz
R6,002 Discovery Miles 60 020 Ships in 12 - 17 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Gym Towel & Bag
R78 Discovery Miles 780
Pineware Steam, Spray, Dry Iron (1400W)
R247 Discovery Miles 2 470
Professor Snape Wizard Wand - In…
 (8)
R801 Discovery Miles 8 010
Butterfly A4 80gsm Paper Pad - Designer…
R78 Discovery Miles 780
Hoover H84-7WD-ZA Wet & Dry Hand Vacuum…
 (1)
R799 R725 Discovery Miles 7 250
JBL Flip 6 Bluetooth Portable Speaker…
R2,899 R2,609 Discovery Miles 26 090
Croxley Create Jumbo Wax Crayons - 14mm…
R31 R24 Discovery Miles 240
Golf Groove Sharpener (Black)
R249 Discovery Miles 2 490
Joseph Joseph Index Mini (Graphite)
R642 Discovery Miles 6 420
Hampstead
Diane Keaton, Brendan Gleeson, … DVD R63 Discovery Miles 630

 

Partners