Articles liés à Logic, Meaning and Computation: Essays in Memory of...
Synopsis
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 .
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 165,28
EUR 4,60 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Résultats de recherche pour Logic, Meaning and Computation: Essays in Memory of...
Image d'archives
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781402001413_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5124806-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5124806-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic, Meaning and Computation
Edité par
Springer Netherlands, 2002
ISBN 10 : 140200141X
ISBN 13 : 9781402001413
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. N° de réf. du vendeur 64772162
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Edité par
Springer, 2002
ISBN 10 : 140200141X
ISBN 13 : 9781402001413
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5124806
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Edité par
Springer, 2002
ISBN 10 : 140200141X
ISBN 13 : 9781402001413
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5124806
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2411530140795
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Edité par
Springer Jan 2002, 2002
ISBN 10 : 140200141X
ISBN 13 : 9781402001413
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : 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 . N° de réf. du vendeur 9781402001413
Quantité disponible : 2 disponible(s)
Image d'archives
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305)
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-140200141x
Quantité disponible : 1 disponible(s)