Truth through proof: a formalist foundation for mathematics
Auteur :
Weir, Alan
Éditeur :
Oxford University Press
ISBN :
9780199541492
Date de publication :
14 oct. 2010
Dimensions :
24,1 x 16,3 x 2,4 cm
Poids :
606 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Truth Through Proof defends an anti-platonist philosophy of mathematics derived from game formalism. Alan Weir aims to develop a more satisfactory successor to game formalism utilising a widely accepted, broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance.