Контакт
Как се пазарува?
Доставка
Наръчник за пазаруване
Logic, Meaning and Computation
Essays in Memory of Alonzo Church
Английски език
430 b
До 30 дни за връщане на стоки
Клиентите са закупили също
/
С меки корици
20.27
€
39.64 лв
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 Книгата ще пристигне на адреса на получателяМоже би ще Ви заинтересува
/
С меки корици
13.60
€
26.59 лв
/
С меки корици
7.08
€
13.85 лв
/
С твърди корици
103.02
€
201.50 лв
/
С твърди корици
96.97
€
189.66 лв
/
С твърди корици
171.61
€
335.63 лв
Здравейте! Аз съм Libroamiko, вашият книжен съветник.
Как мога да ви помогна?