Logic, Meaning and Computation - Essays in Memory of Alonzo Church (Hardcover, 2001 ed.)

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

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	Synthese Library, 305
Release date:	2002
First published:	2001
Editors:	C.Anthony Anderson • Michael Zeleny
Dimensions:	235 x 155 x 34mm (L x W x T)
Format:	Hardcover
Pages:	627
Edition:	2001 ed.
ISBN-13:	978-1-4020-0141-3
Categories:	Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Philosophy > Topics in philosophy > Logic Promotions
LSN:	1-4020-0141-X
Barcode:	9781402001413

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!