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,245 Discovery Miles 62 450 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...
Dunlop Pro Padel Balls (Green)(Pack of…
R199 R165 Discovery Miles 1 650
Microsoft Xbox Series X Console (1TB…
R14,999 Discovery Miles 149 990
Hoe Ek Dit Onthou
Francois Van Coke, Annie Klopper Paperback R300 R219 Discovery Miles 2 190
Summit Mini Plastic Soccer Goal Posts
R658 Discovery Miles 6 580
Mixtape Hand Held Car Vacuum Cleaner
R320 R198 Discovery Miles 1 980
Robert - A Queer And Crooked Memoir For…
Robert Hamblin Paperback  (1)
R335 R288 Discovery Miles 2 880
Ravensburger Marvel Jigsaw Puzzles…
R299 R250 Discovery Miles 2 500
Mountain Backgammon - The Classic Game…
Lily Dyu R575 R460 Discovery Miles 4 600
JBL T110 In-Ear Headphones (Black)
 (13)
R229 R201 Discovery Miles 2 010
Vital BabyŽ HYGIENE™ Super Soft Hand…
R45 Discovery Miles 450

 

Partners