Контакт
Как се пазарува?
Доставка
Наръчник за пазаруване
Logic, Meaning and Computation
Essays in Memory of Alonzo Church
Английски език
444 b
До 30 дни за връщане на стоки
Клиентите са закупили също
/
С меки корици
20.32
€
39.73 лв
/
С меки корици
9.38
€
18.34 лв
/
С меки корици
38.20
€
74.71 лв
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 .
Информация за книгата
Английски език
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателяМоже би ще Ви заинтересува
/
С меки корици
12.90
€
25.24 лв
/
С меки корици
28.61
€
55.96 лв
/
С меки корици
7.10
€
13.88 лв
/
С меки корици
28.51
€
55.75 лв
/
С меки корици
52.61
€
102.90 лв
/
С твърди корици
181.95
€
355.86 лв
