{"product_id":"logic-meaning-and-computation-essays-in-memory-of-alonzo-church-von-c-anthony-anderson-michael-zeleny-hrsg","title":"Logic, Meaning and Computation","description":"\u003cp\u003eAlonzo 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 .\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9789401038911\"\u003e\u003ch3\u003eEssays in Memory of Alonzo Church\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9789401038911","offer_id":39416444354653,"sku":"9789401038911","price":160.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/58a1b00e-c748-455e-9f4d-6809e47c0055.jpg?v=1782015109","url":"https:\/\/shop.autorenwelt.de\/products\/logic-meaning-and-computation-essays-in-memory-of-alonzo-church-von-c-anthony-anderson-michael-zeleny-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}