Publisher:
Les Editions de Ecole Polytechnique; Paris, FR
Published:
2010
Alibris ID:
17371948548
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Size: 0x0x0; [LOGIC]. Dowek, Gilles. "Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite." Les Editions de Ecole Polytechnique; Paris, FR, 2010. French language. Softcover. 194 pages. Text clean. Fine condition. ISBN: 9782730215695. "Alternately a branch of philosophy, mathematics and computer science, logic studies the methods that make it possible to establish that a statement is true, such as reasoning and calculation. This book is an introduction to the fundamental concepts of contemporary logic-those of proof, computable function, model and set. It presents a series of both negative and positive results-Church's undecidability theorem, Godel's incompleteness theorem, the semi-decidability theorem of provability, which have profoundly changed our conception of reasoning, of calculation and, ultimately, of truth itself."