The autonomy of mathematical knowledge : Hilbert's program revisited /
Franks, Curtis.
The autonomy of mathematical knowledge : Hilbert's program revisited / Curtis Franks. - Cambridge, UK ; New York : Cambridge University Press, ©2009. - 1 online resource (xiii, 213 pages)
Includes bibliographical references (pages 200-208) and index.
A new science -- David Hilbert's naturalism -- Arithmetization -- Intensionality -- Intrepreting Gödel's secind incompleteness theorem for Q -- Autonomy in context.
Most scholars think of David Hilbert's program as the most demanding and ideologically motivated attempt to provide a foundation for mathematics, and because they see technical obstacles in the way of realizing the program's goals, they regard it as a failure. Against this view, Curtis Franks argues that Hilbert's deepest and most central insight was that mathematical techniques and practices do not need grounding in any philosophical principles. He weaves together an original historical account, philosophical analysis, and his own development of the meta-mathematics of weak systems of arithmetic to show that the true philosophical significance of Hilbert's program is that it makes the autonomy of mathematics evident. The result is a vision of the early history of modern logic that highlights the rich interaction between its conceptual problems and technical development.
English.
9780511639050 (ebook ; ebrary) 0511639058 (ebook ; ebrary) 9780511641497 (electronic bk.) 0511641494 (electronic bk.) 9780511636608 (electronic bk.) 0511636601 (electronic bk.) 9780521183895 0521183898 9780511642098 0511642091 1107190142 9781107190146 1282386417 9781282386419 0511640811 9780511640810 9786612386411 661238641X 0511637985 9780511637988 0511640137 9780511640131
9786612386411
238641 MIL FBB0E613-3C6E-4BA5-B88F-633B54D0E708 OverDrive, Inc. http://www.overdrive.com
GBA984222 bnb
015356989 Uk
Hilbert, David, 1862-1943.
Hilbert, David, 1862-1943
Mathematics--Philosophy.
Mathématiques--Philosophie.
MATHEMATICS--History & Philosophy.
Mathematics--Philosophy.
Hilbertsches Programm
Gödelscher Unvollständigkeitssatz
Wissenschaftsphilosophie
Mathematik
Electronic books.
QA8.4 / .F73 2009
510.1
The autonomy of mathematical knowledge : Hilbert's program revisited / Curtis Franks. - Cambridge, UK ; New York : Cambridge University Press, ©2009. - 1 online resource (xiii, 213 pages)
Includes bibliographical references (pages 200-208) and index.
A new science -- David Hilbert's naturalism -- Arithmetization -- Intensionality -- Intrepreting Gödel's secind incompleteness theorem for Q -- Autonomy in context.
Most scholars think of David Hilbert's program as the most demanding and ideologically motivated attempt to provide a foundation for mathematics, and because they see technical obstacles in the way of realizing the program's goals, they regard it as a failure. Against this view, Curtis Franks argues that Hilbert's deepest and most central insight was that mathematical techniques and practices do not need grounding in any philosophical principles. He weaves together an original historical account, philosophical analysis, and his own development of the meta-mathematics of weak systems of arithmetic to show that the true philosophical significance of Hilbert's program is that it makes the autonomy of mathematics evident. The result is a vision of the early history of modern logic that highlights the rich interaction between its conceptual problems and technical development.
English.
9780511639050 (ebook ; ebrary) 0511639058 (ebook ; ebrary) 9780511641497 (electronic bk.) 0511641494 (electronic bk.) 9780511636608 (electronic bk.) 0511636601 (electronic bk.) 9780521183895 0521183898 9780511642098 0511642091 1107190142 9781107190146 1282386417 9781282386419 0511640811 9780511640810 9786612386411 661238641X 0511637985 9780511637988 0511640137 9780511640131
9786612386411
238641 MIL FBB0E613-3C6E-4BA5-B88F-633B54D0E708 OverDrive, Inc. http://www.overdrive.com
GBA984222 bnb
015356989 Uk
Hilbert, David, 1862-1943.
Hilbert, David, 1862-1943
Mathematics--Philosophy.
Mathématiques--Philosophie.
MATHEMATICS--History & Philosophy.
Mathematics--Philosophy.
Hilbertsches Programm
Gödelscher Unvollständigkeitssatz
Wissenschaftsphilosophie
Mathematik
Electronic books.
QA8.4 / .F73 2009
510.1