Basit öğe kaydını göster

dc.contributor Graduate Program in Philosophy.
dc.contributor.advisor Kılınç, Berna.
dc.contributor.author Ön, Emek.
dc.date.accessioned 2023-03-16T11:55:19Z
dc.date.available 2023-03-16T11:55:19Z
dc.date.issued 2010.
dc.identifier.other PHIL 2010 O74
dc.identifier.uri http://digitalarchive.boun.edu.tr/handle/123456789/16216
dc.description.abstract The use of the concept of infinite and of nonconstructive methods in mathematics needs justification. For this reason, we need to prove that these methods do not lead to inconsistencies. In order to achieve that, we formalize mathematical reasoning in axiomatic systems and prove that these systems are consistent. But in the proof of consistency, we should use only the safe methods. David Hilbert introduced the finitist standpoint to characterize this safe ground. In this thesis, I surveyed the problem of justification of non-constructive methods. Then I examined the features of finitist reasoning. I saw that the recursive mode of thought culminating in primitive recursive arithmetic is the first powerful system based on finitist principles and I surveyed its fundamental properties. Whether the finitist reasoning comprises more than primitive recursive arithmetic arises as a natural question. There are more complex forms of recursion and some seem to look as effective as primitive recursion. Following some arguments in the literature, I reached the conclusion that it is not possible to treat them as finitist.
dc.format.extent 30cm.
dc.publisher Thesis (M.A.)-Bogazici University. Institute for Graduate Studies in the Social Sciences, 2010.
dc.subject.lcsh Mathematics -- Philosophy.
dc.title Hilbert's finitism and its limits
dc.format.pages vii, 87 leaves;


Bu öğenin dosyaları

Bu öğe aşağıdaki koleksiyon(lar)da görünmektedir.

Basit öğe kaydını göster

Dijital Arşivde Ara


Göz at

Hesabım