國立虎尾科技大學 |

The autonomy of mathematical knowledge : = Hilbert's program revisited /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	The autonomy of mathematical knowledge :/ Curtis Franks.
其他題名:	Hilbert's program revisited /
作者:	Franks, Curtis,
面頁冊數:	1 online resource (xiii, 213 pages) :digital, PDF file(s). :
附註:	Title from publisher's bibliographic system (viewed on 05 Oct 2015).
標題:	Mathematics - Philosophy. -
電子資源:	https://doi.org/10.1017/CBO9780511642098
ISBN:	9780511642098 (ebook)

The autonomy of mathematical knowledge : = Hilbert's program revisited /
Franks, Curtis,

The autonomy of mathematical knowledge :Hilbert's program revisited /Curtis Franks. - 1 online resource (xiii, 213 pages) :digital, PDF file(s).

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

A new science -- David Hilbert's naturalism -- Arithmetization -- Intensionality -- Intrepreting Gö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.

ISBN: 9780511642098 (ebook)Subjects--Personal Names:

768895
Hilbert, David,
1862-1943.Subjects--Topical Terms:

575254
Mathematics
--Philosophy.

LC Class. No.: QA8.4 / .F73 2009

Dewey Class. No.: 510.1

The autonomy of mathematical knowledge : = Hilbert's program revisited /
LDR:02079nam a22003018i 4500 001 1127501
003 UkCbUP
005 20151005020622.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 240926s2009||||enk o ||1 0|eng|d
020 $a 9780511642098 (ebook)
020 $z 9780521514378 (hardback)
020 $z 9780521183895 (paperback)
035 $a CR9780511642098
040 $a UkCbUP $b eng $e rda $c UkCbUP
050 4 $a QA8.4 $b .F73 2009
082 0 4 $a 510.1 $2 22
100 1 $a Franks, Curtis, $e author. $3 1446933
245 1 4 $a The autonomy of mathematical knowledge : $b Hilbert's program revisited / $c Curtis Franks.
264 1 $a Cambridge : $b Cambridge University Press, $c 2009.
300 $a 1 online resource (xiii, 213 pages) : $b digital, PDF file(s).
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Title from publisher's bibliographic system (viewed on 05 Oct 2015).
505 0 $a A new science -- David Hilbert's naturalism -- Arithmetization -- Intensionality -- Intrepreting Gödel's secind incompleteness theorem for Q -- Autonomy in context.
520 $a 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.
600 1 0 $a Hilbert, David, $d 1862-1943. $3 768895
650 0 $a Mathematics $x Philosophy. $3 575254
776 0 8 $i Print version: $z 9780521514378
856 4 0 $u https://doi.org/10.1017/CBO9780511642098