Items related to Logic, Meaning and Computation: Essays in Memory of...

Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library) - Softcover

 
9789401038911: Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library)

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.

Other Popular Editions of the Same Title

9781402001413: Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305)

Featured Edition

ISBN 10:  140200141X ISBN 13:  9781402001413
Publisher: Springer, 2002
Hardcover

Search results for Logic, Meaning and Computation: Essays in Memory of...

Stock Image

Published by Springer, 2012
ISBN 10: 9401038910 ISBN 13: 9789401038911
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Apr0412070054129

Contact seller

Buy New

US$ 179.25
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2012
ISBN 10: 9401038910 ISBN 13: 9789401038911
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9789401038911_new

Contact seller

Buy New

US$ 190.59
Convert currency
Shipping: US$ 15.92
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Michael Zelėny
Published by Springer Netherlands Okt 2012, 2012
ISBN 10: 9401038910 ISBN 13: 9789401038911
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy New

US$ 187.54
Convert currency
Shipping: US$ 26.09
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Anderson, C. A.|Zelėny, Michael
Published by Springer Netherlands, 2012
ISBN 10: 9401038910 ISBN 13: 9789401038911
New Softcover

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 5830690

Contact seller

Buy New

US$ 159.11
Convert currency
Shipping: US$ 55.58
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Michael Zelėny
ISBN 10: 9401038910 ISBN 13: 9789401038911
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy New

US$ 194.46
Convert currency
Shipping: US$ 37.64
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Zel?ny Michael Anderson C. Anthony
Published by Springer, 2012
ISBN 10: 9401038910 ISBN 13: 9789401038911
New Softcover
Print on Demand

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. PRINT ON DEMAND pp. xiii + 627. Seller Inventory # 18142323478

Contact seller

Buy New

US$ 261.07
Convert currency
Shipping: US$ 11.29
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Anderson, C. Anthony (Editor) / Zelėny, Michael (Editor)
Published by Springer, 2012
ISBN 10: 9401038910 ISBN 13: 9789401038911
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 2001 edition. 627 pages. 9.45x6.30x1.49 inches. In Stock. Seller Inventory # x-9401038910

Contact seller

Buy New

US$ 276.53
Convert currency
Shipping: US$ 13.29
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket