Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic, Meaning and Computation

Name: Logic, Meaning and Computation
Brand: Springer-Verlag New York Inc.
SKU: 05255879
Price: 63705 HUF
Availability: InStock
Author: C. Anthony Anderson
ISBN: 9781402001413

Essays in Memory of Alonzo Church

C. Anthony Anderson

Michael Zeleny

Language

English

Book Hardback

Libristo code: 05255879

Publishers Springer-Verlag New York Inc., January 2002

Alonzo Church was undeniably one ofthe intellectual giants of theTwenti eth Century . These articles... Full description

Libristo code: 05255879

437 b

63 705 Ft

Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

Jedině ty Karla Sorensen

Paperback

4 773 Ft

Love Redesigned - Felújított szerelem Lauren Asher

Hardback

6 079 Ft

Ventafocs (contes De Faula) Sunico Rodriguez

Paperback

5 007 Ft

Catalogo Das Phanerogamicas Da Madeira E Do Porto Santo (1894) Carlos Azvedo Menezes

Paperback

7 723 Ft

EL TIGRE EN LA CASA CARL VAN VECHTEN

Hardback

8 758 Ft

Che cosa significa orientarsi nel pensiero Immanuel Kant

Paperback

4 612 Ft

Historia filozofii politycznej Julian W. Korab-Karpowicz

Hardback

4 450 Ft

Servicewüste??? Natürlich alles frei erfunden!!! Nick Living

Paperback

3 838 Ft

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 .