Items related to Logic, Meaning and Computation: Essays in Memory of...
Logic, Meaning and Computation: Essays in Memory of Alonzo Church: 305 (Synthese Library, 305) - Softcover
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.
- PublisherSpringer
- Publication date2012
- ISBN 10 9401038910
- ISBN 13 9789401038911
- BindingPaperback
- Number of pages640
- EditorAnderson C. Anthony, Zelėny Michael
Buy New
Learn more about this copy
£ 140.53
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library) (Volume 305) [Paperback ]
Print on Demand
Seller:
Rating
Book Description Soft Cover. Condition: new. This item is printed on demand. Seller Inventory # 9789401038911
Buy New
£ 140.53
Convert currency
Stock Image
Logic; Meaning and Computation
Published by
Springer
(2012)
ISBN 10: 9401038910
ISBN 13: 9789401038911
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9789401038911_lsuk
Buy New
£ 139.32
Convert currency
Stock Image
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305)
Published by
Springer
(2012)
ISBN 10: 9401038910
ISBN 13: 9789401038911
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Apr0412070054129
Buy New
£ 148.05
Convert currency
Seller Image
Logic, Meaning and Computation
Published by
Springer Netherlands Okt 2012
(2012)
ISBN 10: 9401038910
ISBN 13: 9789401038911
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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 . 660 pp. Englisch. Seller Inventory # 9789401038911
Buy New
£ 141.62
Convert currency
Seller Image
Logic, Meaning and Computation
Published by
Springer Netherlands
(2012)
ISBN 10: 9401038910
ISBN 13: 9789401038911
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # 5830690
Buy New
£ 120.15
Convert currency
Seller Image
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Published by
Springer Netherlands
(2012)
ISBN 10: 9401038910
ISBN 13: 9789401038911
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 # 9789401038911
Buy New
£ 145.44
Convert currency
Stock Image
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library)
Seller:
Rating
Book Description Paperback. Condition: Brand New. 2001 edition. 627 pages. 9.45x6.30x1.49 inches. In Stock. Seller Inventory # x-9401038910
Buy New
£ 179.09
Convert currency