Items related to Logic, Meaning and Computation: Essays in Memory of...
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305) - Hardcover
Synopsis
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 .
"synopsis" may belong to another edition of this title.
Search results for Logic, Meaning and Computation: Essays in Memory of...
Seller Image
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5124806-n
Quantity: Over 20 available
Stock Image
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9781402001413
Quantity: 2 available
Stock Image
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar2411530140795
Quantity: Over 20 available
Seller Image
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5124806
Quantity: Over 20 available
Stock Image
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781402001413_new
Quantity: Over 20 available
Stock Image
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5124806-n
Quantity: Over 20 available
Seller Image
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5124806
Quantity: Over 20 available
Stock Image
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305)
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-140200141x
Quantity: 1 available
Seller Image
Logic, Meaning and Computation
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Seller Inventory # 64772162
Quantity: Over 20 available
Seller Image
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware - 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 . Seller Inventory # 9781402001413
Quantity: 2 available