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) - Hardcover

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

Synopsis

This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields.

"synopsis" may belong to another edition of this title.

Product Description

Logic, Meaning and Computation Contains papers by well-known scholars, most of whom have been directly influenced by Alonzo Church's own work. This work emphasises on foundational issues in logic, mathematics, computation, and philosophy. It is of interest to logicians, computer scientists, philosophers, and linguists.

Synopsis

This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields.

"About this title" may belong to another edition of this title.

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

FREE shipping within United Kingdom

Destination, rates & speeds

Buy New

View this item

FREE shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  9401038910 ISBN 13:  9789401038911
Publisher: Springer, 2012
Softcover

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

Stock Image

Church, Alonzo (EDT); Zeleny, Michael (EDT); Anderson, C. Anthony (EDT)
Published by Springer, 2002
ISBN 10: 140200141X ISBN 13: 9781402001413
New Hardcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

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

Condition: New. Seller Inventory # 5124806-n

Contact seller

Buy New

£ 139.21
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2002
ISBN 10: 140200141X ISBN 13: 9781402001413
New Hardcover

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 # ria9781402001413_new

Contact seller

Buy New

£ 139.22
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Church, Alonzo (EDT); Zeleny, Michael (EDT); Anderson, C. Anthony (EDT)
Published by Springer, 2002
ISBN 10: 140200141X ISBN 13: 9781402001413
Used Hardcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

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

Condition: As New. Unread book in perfect condition. Seller Inventory # 5124806

Contact seller

Buy Used

£ 152.10
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Church, Alonzo (EDT); Zeleny, Michael (EDT); Anderson, C. Anthony (EDT)
Published by Springer, 2002
ISBN 10: 140200141X ISBN 13: 9781402001413
New Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

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

Condition: New. Seller Inventory # 5124806-n

Contact seller

Buy New

£ 138.70
Convert currency
Shipping: £ 14.89
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Church, Alonzo (EDT); Zeleny, Michael (EDT); Anderson, C. Anthony (EDT)
Published by Springer, 2002
ISBN 10: 140200141X ISBN 13: 9781402001413
Used Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

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

Condition: As New. Unread book in perfect condition. Seller Inventory # 5124806

Contact seller

Buy Used

£ 158.43
Convert currency
Shipping: £ 14.89
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Anderson, C. A.|Zelėny, Michael
Published by Springer Netherlands, 2002
ISBN 10: 140200141X ISBN 13: 9781402001413
New Hardcover

Seller: moluna, Greven, Germany

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

Gebunden. Condition: New. Seller Inventory # 64772162

Contact seller

Buy New

£ 159.59
Convert currency
Shipping: £ 21.71
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2002
ISBN 10: 140200141X ISBN 13: 9781402001413
New Hardcover

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 # ABLIING23Mar2411530140795

Contact seller

Buy New

£ 137.67
Convert currency
Shipping: £ 55.85
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Anderson, C. Anthony [Editor]; Zelėny, Michael [Editor];
Published by Springer, 2002
ISBN 10: 140200141X ISBN 13: 9781402001413
New Hardcover

Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.

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

hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-140200141x

Contact seller

Buy New

£ 176.16
Convert currency
Shipping: £ 32.77
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

C Anthony Anderson
Published by Springer Jan 2002, 2002
ISBN 10: 140200141X ISBN 13: 9781402001413
New Hardcover

Seller: AHA-BUCH GmbH, Einbeck, Germany

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

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

Contact seller

Buy New

£ 198.64
Convert currency
Shipping: £ 12.15
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket