Deduction, computation, experiment: exploring the effectiveness of proof
Éditeur :
Springer Verlag
ISBN :
9788847007833
Date de publication :
30 juil. 2008
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Italie
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.