Foundations without foundationalism: a case for second-order logic
Auteur :
Shapiro, Stewart
Éditeur :
Oxford University Press
ISBN :
9780198250296
Date de publication :
23 mars 2000
Dimensions :
23,5 x 15,6 x 1,8 cm
Poids :
441 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Stewart Shapiro presents a distinctive original view of the foundations of mathematics, arguing that second-order logic has a central role to play in laying these foundations. He gives an accessible account of second-order and higher-order logic, paying special attention to philosophical and historical issues.