Seventeen provers of the world, the
Auteur :
Wiedijk, Freek
ISBN :
9783540307044
Date de publication :
3 févr. 2006
Dimensions :
23,4 x 15,6 x 0,9 cm
Poids :
264 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Presents formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems. This volume includes 17 systems for the formalization of mathematics. It showcases systems by presentation of the formalized proof and a description in the form of answers to a standard questionnaire.