Mohlo by sa vám tiež páčiť

Viac informácií o knihe Logic, Meaning and Computation

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 406 bodov

Anotácia knihy

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 .

Parametre knihy

Zaradenie knihy Knihy po anglicky Humanities Philosophy Philosophy: logic

• Celý názov: Logic, Meaning and Computation
• Podnázov: Essays in Memory of Alonzo Church
• Autor: C. Anthony Anderson, Michael Zeleny
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 627
• EAN: 9781402001413
• ISBN: 140200141X
• ID: 05255879
• Nakladateľ: Springer-Verlag New York Inc.
• Hmotnosť: 2420 g
• Rozmery: 235 × 155 × 43 mm
• Dátum vydania: 31. January 2002

Obľúbené z iného súdka

---

---

---