Logic, Meaning and Computation

Name: Logic, Meaning and Computation
Brand: Springer-Verlag New York Inc.
SKU: 9781402001413
Price: 63361 HUF
Availability: InStock

Essays in Memory of Alonzo Church

Szerző: C. Anthony Anderson, Michael Zeleny

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten

Küldés 14-21 napon belül

63 361 Ft

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

Információk a könyvről

Szerző

C. Anthony Anderson, Michael Zeleny

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2002

oldal

627

EAN

9781402001413

ISBN

140200141X

Enbook ID

05255879

Kiadó

Springer-Verlag New York Inc.

Súly

2420

Méretek

155 x 235 x 43

Teljes leírás

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 .

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Logic, Meaning and Computation

Essays in Memory of Alonzo Church

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták