Description du livre Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - 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 . 660 pp. Englisch. N� de r�f. du vendeur 9789401038911

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 160,49

Autre devise

Ajouter au panier

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Image fournie par le vendeur

Logic, Meaning and Computation

Anderson, C. A.|Zel�ny, Michael

Edit� par Springer Netherlands (2012)

ISBN 10 : 9401038910 ISBN 13 : 9789401038911

Neuf Couverture souple Quantit� disponible : > 20

Vendeur :

moluna
(Greven, Allemagne)

Evaluation vendeur

Evaluation du vendeur :

Description du livre Etat : New. N� de r�f. du vendeur 5830690

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 136,16

Autre devise

Ajouter au panier

Frais de port : EUR 48,99

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Image fournie par le vendeur

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

Michael Zel�ny

Edit� par Springer Netherlands (2012)

ISBN 10 : 9401038910 ISBN 13 : 9789401038911

Neuf Taschenbuch Quantit� disponible : 1

Vendeur :

AHA-BUCH GmbH
(Einbeck, Allemagne)

Evaluation vendeur

Evaluation du vendeur :

Description du livre Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 9789401038911

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 164,82

Autre devise

Ajouter au panier

Frais de port : EUR 32,99

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Image d'archives