. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9781402001413 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 42,96 €, größter Preis: 347,38 €, Mittelwert: 214,13 €
Logic, Meaning and Computation : Essays in Memory of Alonzo Church - C. Anthony Anderson
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
C. Anthony Anderson:
Logic, Meaning and Computation : Essays in Memory of Alonzo Church - neues Buch

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

Neues Buch ZVAB.com
AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library) - C. Anthony Anderson
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
C. Anthony Anderson:
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library) - gebrauchtes Buch

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

gebrauchtes bzw. antiquarisches Buch ZVAB.com
Rheinberg-Buch, Bergisch Gladbach, Germany [53870650] [Rating: 5 (von 5)]
Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library) - C. Anthony Anderson, Michael Zelëny
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
C. Anthony Anderson, Michael Zelëny:
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library) - gebunden oder broschiert

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

Neues Buch Amazon.de (Intern...
averdo24
, Neuware Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library) - C. Anthony Anderson, Michael Zelëny
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
C. Anthony Anderson, Michael Zelëny:
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library) - gebunden oder broschiert

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

gebrauchtes bzw. antiquarisches Buch Amazon.de (Intern...
Rheinberg-Buch
Gebraucht Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logic, Meaning and Computation: Essays in Memory of Alonzo Church - C. Anthony Anderson
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
C. Anthony Anderson:
Logic, Meaning and Computation: Essays in Memory of Alonzo Church - gebunden oder broschiert

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

Neues Buch Barnesandnoble.com
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Logic, Meaning and Computation: Essays in Memory of Alonzo Church
Autor:

C.Anthony Andersen

Titel:

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

ISBN-Nummer:

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.

Detailangaben zum Buch - Logic, Meaning and Computation: Essays in Memory of Alonzo Church


EAN (ISBN-13): 9781402001413
ISBN (ISBN-10): 140200141X
Gebundene Ausgabe
Erscheinungsjahr: 2002
Herausgeber: SPRINGER VERLAG GMBH
642 Seiten
Gewicht: 1,093 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 23.04.2007 22:20:09
Buch zuletzt gefunden am 19.07.2017 12:58:33
ISBN/EAN: 9781402001413

ISBN - alternative Schreibweisen:
1-4020-0141-X, 978-1-4020-0141-3


< zum Archiv...
Benachbarte Bücher