000			01462nam a2200205Ia 4500
003			PH-LCIC
005			20250828152017.0
008			240527s2018 xx 000 0 und d
020			_a9781316638835
040			_cLCIC LIBRARY
082			_aREF.511.3 B19
100			_aJohn T. Baldwin _eAuthor
245		0	_aModel theory and the philosophy of mathematical practice : _bformalization without foundationalism /
260			_aCambridge, United Kingdom : _bCambridge University Press, _c2018.
300			_a 1 online resource (xi, 352 pages) : illustrations
520			_aMajor shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics
650			_a Logic, Symbolic and mathematical
650			_aModel theory
942			_2ddc _cREF
999			_c759 _d759