Visit our Christmas Gift Finder
Click & Collect from 2 Hours*
Last Christmas delivery dates
Free UK Standard Delivery On all orders £20 and over Order in time for Christmas 19th December 2nd Class | 20th December 1st Class Free Click & Collect to UK shops From 2 hours of your order*
Logic, Meaning and Computation: Essays in Memory of Alonzo Church - Synthese Library 305 (Hardback)
  • Logic, Meaning and Computation: Essays in Memory of Alonzo Church - Synthese Library 305 (Hardback)
zoom

Logic, Meaning and Computation: Essays in Memory of Alonzo Church - Synthese Library 305 (Hardback)

(editor), (editor)
£179.99
Hardback 627 Pages / Published: 31/01/2002
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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 .

Publisher: Springer-Verlag New York Inc.
ISBN: 9781402001413
Number of pages: 627
Weight: 2420 g
Dimensions: 235 x 155 x 34 mm
Edition: 2001 ed.

You may also be interested in...

Meditations
Added to basket
£10.00   £8.99
Hardback
Big Ideas for Curious Minds
Added to basket
Kaizen
Added to basket
£9.99
Hardback
The Art of Logic
Added to basket
£9.99
Paperback
12 Rules for Life
Added to basket
£9.99   £7.99
Paperback
Enlightenment Now
Added to basket
£12.99   £10.99
Paperback
Happy
Added to basket
£8.99
Paperback
Outgrowing God
Added to basket
£14.99   £11.99
Hardback
Utopia for Realists
Added to basket
£8.99   £6.99
Paperback
Rebel Ideas
Added to basket
£20.00   £16.99
Hardback
The Order of Time
Added to basket
£8.99   £6.99
Paperback
How the World Thinks
Added to basket
£9.99   £7.99
Paperback
The School of Life
Added to basket
£16.99   £12.99
Hardback
Ikigai
Added to basket
£12.99
Hardback
A Little History of Philosophy
Added to basket

Please sign in to write a review

Your review has been submitted successfully.