Logic, Meaning and Computation

Name: Logic, Meaning and Computation
Brand: Springer
SKU: 9789401038911
Price: 893.22 RON
Availability: InStock

Essays in Memory of Alonzo Church

Autor: C. Anthony Anderson, Michael Zelëny

Limbă:

Legare: Carte broșată

Editura: Springer

Disponibilitate: În depozitul extern în cantități mici

Expediem în 11-15 zile

893.22 lei

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

Informații despre carte

Autor

C. Anthony Anderson, Michael Zelëny

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2012

Pagini

627

EAN

9789401038911

ISBN

9401038910

Enbook ID

05323253

Editura

Springer

Greutate

1037

Dimensiuni

160 x 240 x 36

Descriere completă

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 .

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Logic, Meaning and Computation

Essays in Memory of Alonzo Church

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și