|
Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Logic, Meaning and Computation - Essays in Memory of Alonzo Church (Paperback, Softcover reprint of the original 1st ed. 2001)
Loot Price: R4,463
Discovery Miles 44 630
|
|
|
Logic, Meaning and Computation - Essays in Memory of Alonzo Church (Paperback, Softcover reprint of the original 1st ed. 2001)
Series: Synthese Library, 305
Expected to ship within 10 - 15 working days
|
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 .
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
(1)
