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)
Hardcover
ISBN 10: 140200141X ISBN 13: 9781402001413
Publisher: Springer, 2002

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.

Publisher
Springer
Publication date
2002
Language
English
ISBN 10 
140200141X
ISBN 13 
9781402001413
Binding
Hardcover
Number of pages
640
Editor
Anderson C. Anthony, Zelėny Michael

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