{"product_id":"logic-meaning-and-computation-essays-in-memory-of-alonzo-church-9781402001413","title":"Logic, Meaning and Computation: Essays in Memory of Alonzo Church","description":"Alonzo Church was undeniably one ofthe intellectual giants of theTwenti- eth Century . These articles are dedicated to his memory and illustrate the tremendous importance his ideas have had in logic, mathematics, comput er science and philosophy . Discussions of some of thesevarious contributions have appeared in The Bulletin of Symbolic Logic, and th e interested reader is invited to seek details there . Here we justtry to give somegener al sense of the scope, depth, and value of his work. Church is perhaps best known for the theorem, appropriately called \" C h u r c h's Theorem \", that there is no decision procedure forthelogical valid- ity of formulas first-order of logic . A d ecision proce dure forthat part of logic would have come near to fulfilling Leibniz's dream of a calculus that could be mechanically used tosettle logical disputes . It was not to . be It could not be . What Church proved precisely is that there is no lambda-definable function that can i n every case providethe right answer, ' y e s ' or ' n o', tothe question of whether or not any arbitrarily given formula is valid .\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e C. Anthony Anderson\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 01\/31\/2002\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 627\u003cbr\u003e\u003cb\u003eBinding Type:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 2.41lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 1.38d\u003cbr\u003e\u003cb\u003eISBN:\u003c\/b\u003e 9781402001413\u003cp\u003e\u003ci\u003eThis title is not returnable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":45239623778419,"sku":"9781402001413","price":288.66,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0555\/9255\/0515\/files\/img_8485ea79-e187-47c6-9b23-8fd5b110e9d8.jpg?v=1784115285","url":"https:\/\/bookstorenmore.com\/products\/logic-meaning-and-computation-essays-in-memory-of-alonzo-church-9781402001413","provider":"Bookstore N More","version":"1.0","type":"link"}