Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
Logic, Meaning and Computation
Essays in Memory of Alonzo Church
Engels
373 b
Tot 30 dagen retourrecht
Klanten kochten ook
/
Gebonden (paperback)
35.73
€
/
Gebonden (paperback)
15.48
€
/
Gebonden (paperback)
24.29
€
/
Gebonden (paperback)
25.30
€
/
Gebonden (paperback)
16.49
€
/
Gebonden (paperback)
38.36
€
/
Gebonden (paperback)
25.91
€
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 .
Informatie over het boek
Engels
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Gebonden (paperback)
22.16
€
/
Gebonden (paperback)
63.87
€
/
Gebonden (harde band)
127.65
€
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?