##### Detailseite wird geladen...

2002, ISBN: 140200141X

ID: 16788591535

[EAN: 9781402001413], Neubuch, [SC: 0.0], [PU: Springer-Verlag Gmbh Jan 2002], LOGIK; PHILOSOPHIE / SPRACHE; SPRACHPHILOSOPHIE; PHILOSOPHY LOGIC, Mathematics|Logic, Philosophy|Logic, Computers & the Internet|Computer Science, 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 . 627 pp. Englisch

ZVAB.com
AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK Shipping costs:Versandkostenfrei (EUR 0.00) Details... |

2002, ISBN: 140200141X

ID: 21987305078

[EAN: 9781402001413], [SC: 0.0], [PU: Springer], LOGIK; PHILOSOPHIE / SPRACHE; SPRACHPHILOSOPHIE; PHILOSOPHY LOGIC, Mathematics|Logic, Philosophy|Logic, Computers & the Internet|Computer Science, Gebraucht - Sehr gut Leichte Lagerspuren - 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 . 627 pp. Englisch

ZVAB.com
Rheinberg-Buch, Bergisch Gladbach, Germany [53870650] [Rating: 5 (von 5)]
Shipping costs:Versandkostenfrei (EUR 0.00) Details... |

ISBN: 140200141X

[SR: 439129], Gebundene Ausgabe, [EAN: 9781402001413], Springer, Springer, Book, [PU: Springer], Springer, 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., 69046011, Logik & Sprache, 69029011, Philosophie, 69028011, Sachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

Amazon.de (Intern...
averdo24
, Neuware Shipping costs:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00) Details... |

ISBN: 140200141X

[SR: 439129], Gebundene Ausgabe, [EAN: 9781402001413], Springer, Springer, Book, [PU: Springer], Springer, 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., 69046011, Logik & Sprache, 69029011, Philosophie, 69028011, Sachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

Amazon.de (Intern...
Rheinberg-Buch
Gebraucht Shipping costs:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00) Details... |

ISBN: 9781402001413

ID: 9781402001413

Logic, Meaning and Computation: Essays in Memory of Alonzo Church Logic-Meaning-and-Computation~~C-Anthony-Anderson Philosophy>Philosophy>Philosophy Hardcover, Springer Netherlands

Barnesandnoble.com
new Shipping costs:zzgl. Versandkosten, plus shipping costs
Details... |

Author: | |

Title: | ## Logic, Meaning and Computation: Essays in Memory of Alonzo Church |

ISBN: |

** Details of the book - Logic, Meaning and Computation: Essays in Memory of Alonzo Church**

EAN (ISBN-13): 9781402001413

ISBN (ISBN-10): 140200141X

Hardcover

Publishing year: 2002

Publisher: SPRINGER VERLAG GMBH

642 Pages

Weight: 1,093 kg

Language: eng/Englisch

Book in our database since 23.04.2007 22:20:09

Book found last time on 19.07.2017 12:58:33

ISBN/EAN: 9781402001413

ISBN - alternate spelling:

1-4020-0141-X, 978-1-4020-0141-3

< to archive...

##### Related books

- "The World Geopolitics of Drugs, 1998/1999", from "Labrousse, Alain" (1402001401)
- "Statistical Methods for Quality of Life Studies", from "Editor-Mounir Mesbah; Editor-Bernard F. Cole; Editor-Mei-Ling Ting Lee" (1402001428)
- "Handbook of Philosophical Logic: Volume 4", from "Dov M. Gabbay, F. Guenthner" (1402001398)
- "Passionate Deliberation: Emotion, Temperance, and the Care Ethic in Clinical Moral Deliberation", from "Carr, Mark F." (1402001436)
- "Mine Water, Hydrology, Pollution, Remediation", from "Younger, Paul L.; Banwart, Steven A.; Hedin, Robert S." (140200138X)
- "Acoustic Characterization of Contrast Agents for Medical Ultrasound Imaging", from "Hoff, Lars" (1402001444)