Practical foundations of mathematics
Auteur :
Taylor, Paul
Éditeur :
Cambridge University Press
ISBN :
9780521631075
Date de publication :
13 mai 1999
Dimensions :
23,6 x 15,7 x 3,5 cm
Poids :
880 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what it means to prove correctness of programmes). It deliberately transcends disciplinary boundaries and challenges many established attitudes to the foundations of mathematics.