國立虎尾科技大學 |

Facets of infinity : = A theory of finitistic truth.

紀錄類型:	書目-語言資料,手稿 : Monograph/item
正題名/作者:	Facets of infinity :/
其他題名:	A theory of finitistic truth.
作者:	Damnjanovic, Zlatan.
面頁冊數:	1 online resource (341 pages)
附註:	Source: Dissertations Abstracts International, Volume: 54-06, Section: A.
Contained By:	Dissertations Abstracts International54-06A.
標題:	Philosophy. -
電子資源:	click for full text (PQDT)
ISBN:	9781392439265

Facets of infinity : = A theory of finitistic truth.
Damnjanovic, Zlatan.

Facets of infinity :A theory of finitistic truth. - 1 online resource (341 pages)

Source: Dissertations Abstracts International, Volume: 54-06, Section: A.

Thesis (Ph.D.)--Princeton University, 1992.

Includes bibliographical references

The thesis critically examines the question of the philosophical coherence of finitism, the view which seeks to interpret mathematics without postulating an actual infinity of mathematical objects. It is argued that a widely accepted characterization of finitism, most recently expounded by Tait, is inadequate, and a new characterization based on the notion of elementary abstraction is proposed. It is further argued that the notion of elementary abstraction better explains the bearing of Godel's incompleteness theorems on the issue of the coherence of finitism. By abstraction is meant a procedure by which one recognizes or establishes that some infinite process exhibits a distinctive uniformity. If the procedure does not require one to conceive of the integers in any other way than as the result of simple iterations, we call such abstraction elementary. Some six different formal models exploring a variety of different ways in which this notion can be made precise are proposed as possible formal characterizations of finitistic truth. It is proved that all these different models are equivalent with respect to finitistically meaningful sentences. This is taken as strong evidence that the notion of elementary abstraction is determinate enough to provide a basis for a coherent philosophical formulation of finitism.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2024

Mode of access: World Wide Web

ISBN: 9781392439265Subjects--Topical Terms:

559771
Philosophy.
Index Terms--Genre/Form:

554714
Electronic books.

Facets of infinity : = A theory of finitistic truth.
LDR:02544ntm a22003377 4500 001 1144355
005 20240531083834.5
006 m o d
007 cr mn ---uuuuu
008 250605s1992 xx obm 000 0 eng d
020 $a 9781392439265
035 $a (MiAaPQ)AAI9230220
035 $a AAI9230220
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a Damnjanovic, Zlatan. $3 1469350
245 1 0 $a Facets of infinity : $b A theory of finitistic truth.
264 0 $c 1992
300 $a 1 online resource (341 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertations Abstracts International, Volume: 54-06, Section: A.
500 $a Publisher info.: Dissertation/Thesis.
500 $a Advisor: Benacerraf, Paul.
502 $a Thesis (Ph.D.)--Princeton University, 1992.
504 $a Includes bibliographical references
520 $a The thesis critically examines the question of the philosophical coherence of finitism, the view which seeks to interpret mathematics without postulating an actual infinity of mathematical objects. It is argued that a widely accepted characterization of finitism, most recently expounded by Tait, is inadequate, and a new characterization based on the notion of elementary abstraction is proposed. It is further argued that the notion of elementary abstraction better explains the bearing of Godel's incompleteness theorems on the issue of the coherence of finitism. By abstraction is meant a procedure by which one recognizes or establishes that some infinite process exhibits a distinctive uniformity. If the procedure does not require one to conceive of the integers in any other way than as the result of simple iterations, we call such abstraction elementary. Some six different formal models exploring a variety of different ways in which this notion can be made precise are proposed as possible formal characterizations of finitistic truth. It is proved that all these different models are equivalent with respect to finitistically meaningful sentences. This is taken as strong evidence that the notion of elementary abstraction is determinate enough to provide a basis for a coherent philosophical formulation of finitism.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2024
538 $a Mode of access: World Wide Web
650 4 $a Philosophy. $3 559771
650 4 $a Mathematics. $3 527692
655 7 $a Electronic books. $2 local $3 554714
690 $a 0422
690 $a 0405
710 2 $a ProQuest Information and Learning Co. $3 1178819
710 2 $a Princeton University. $2 fast $3 1008168
773 0 $t Dissertations Abstracts International $g 54-06A.
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=9230220 $z click for full text (PQDT)