.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Deduction, Computation, Experiment
. Ed(S): Lupacchini, Rossella; Corsi, Giovanna
€ 127.73
FREE Delivery in Ireland
Description for Deduction, Computation, Experiment
Paperback. Focusing on relevant conceptual and logical issues underlying the catholic quest for proving, this volume seeks to cast light on what the effectiveness of proof rests on. Editor(s): Lupacchini, Rossella; Corsi, Giovanna. Num Pages: 280 pages, biography. BIC Classification: HP; PBC; PDA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 413.
This volume is located in a cross-disciplinary ?eld bringing together mat- matics, logic, natural science and philosophy. Re?ection on the e?ectiveness of proof brings out a number of questions that have always been latent in the informal understanding of the subject. What makes a symbolic constr- tion signi?cant? What makes an assumption reasonable? What makes a proof reliable? G¨ odel, Church and Turing, in di?erent ways, achieve a deep und- standing of the notion of e?ective calculability involved in the nature of proof. Turing’s work in particular provides a “precise and unquestionably adequate” de?nition of the general notion of a ... Read more
This volume is located in a cross-disciplinary ?eld bringing together mat- matics, logic, natural science and philosophy. Re?ection on the e?ectiveness of proof brings out a number of questions that have always been latent in the informal understanding of the subject. What makes a symbolic constr- tion signi?cant? What makes an assumption reasonable? What makes a proof reliable? G¨ odel, Church and Turing, in di?erent ways, achieve a deep und- standing of the notion of e?ective calculability involved in the nature of proof. Turing’s work in particular provides a “precise and unquestionably adequate” de?nition of the general notion of a ... Read more
Product Details
Format
Paperback
Publication date
2008
Publisher
Springer Verlag Italy
Number of pages
280
Condition
New
Number of Pages
280
Place of Publication
Milan, Italy
ISBN
9788847007833
SKU
V9788847007833
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Deduction, Computation, Experiment