Logic, Meaning and Computation : Essays in Memory of Alonzo Church. Cet article n’est pas disponible.
Langue : anglais
Edité par Springer Jan 2002, 2002
- Livre relié
- Neuf

Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Vendeur avec une évaluation de 5 étoiles
Vendeur AbeBooks depuis 14 août 2006
Indisponible
Livre relié
Etat: Neuf
EUR 247,94
Item description from seller
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 .
N° de réf. du vendeur 9781402001413
- Titre
- Logic, Meaning and Computation : Essays in Memory of Alonzo Church
- Auteur
- C Anthony Anderson
- Éditeur
- Springer Jan 2002
- Année de publication
- 2002
- État de l'article
- Neu
- Reliure
- Buch
- Langue
- anglais
- ISBN à 10 chiffres
- 140200141X
- ISBN à 13 chiffres
- 9781402001413
- Poids de l'article
- 1 136 grammes
- Dimensions
- 241x162x43 mm
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 » peut appartenir à une autre édition de cet ouvrage.
Résultats de recherche pour Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Il reste 3 exemplaires de ce livre.Afficher tous les résultats