Hilbert's Finitism and its limits
Hilbert'in Finitizm kavramı ve sınırları
- Tez No: 271125
- Danışmanlar: DOÇ. DR. BERNA KILINÇ
- Tez Türü: Yüksek Lisans
- Konular: Felsefe, Philosophy
- Anahtar Kelimeler: Felsefe, Hilbert, David, Matematik, Sonsuz elemanlar, Philosophy, Hilbert, David, Mathematics, Infinite elements
- Yıl: 2010
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Sosyal Bilimler Enstitüsü
- Ana Bilim Dalı: Felsefe Bölümü
- Bilim Dalı: Felsefe Ana Bilim Dalı
- Sayfa Sayısı: Belirtilmemiş.
Özet
Matematikte sonsuz kavramının ve konstrüktif olmayan yöntemlerin kullanımının doğrulanması gerekmektedir. Bu nedenle bu yöntemlerin tutarsızlıklara yol açmadığını ispatlamalıyız. Bu amaçla matematiksel düşünceyi aksiyom sistemleri içinde formalize eder ve bu sistemlerin tutarlı olduğunu ispatlarız. Ancak tutarlılık ispatında, yalnızca güvenilir yöntemleri kullanmalıyız. David Hilbert bu güvenilir temeli finitist bakış açısı olarak adlandırdı. Aşağıdaki tezde öncelikle konstrüktif olmayan yöntemlerin kullanımının doğrulanması sorunu etrafındaki tartışmaları gözden geçirdim. Daha sonra finitist düşüncenin özelliklerini inceledim. Rekürsif düşünce yönteminin en basit biçimi olan primitif rekürsif aritmetiğin finitist ilkelere dayanan ilk güçlü sistem olduğunu gördüm ve bunun temel özelliklerini gözden geçirdim. Ancak finitist düşüncenin primitif rekürsif aritmetikten daha geniş olup olmadığı doğal bir soru olarak karşımıza çıkar. Daha karmaşık rekürsiyon biçimleri de primitif rekürsiyon gibi efektif olabilir. Literatürdeki bazı argümanları takip ederek bunların finitist olarak görülemeyeceği yargısına vardım.
Özet (Çeviri)
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 someseem 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.
Benzer Tezler
- Stark's conjectures and hilbert's twelfth problem
Stark'ın sanıları ve Hilbert'ın onikinci problemi
PINAR KILIÇER
Yüksek Lisans
İngilizce
2011
MatematikKoç ÜniversitesiMatematik Ana Bilim Dalı
YRD. DOÇ. DR. KAZIM BÜYÜKBODUK
- Hilbert uzayında özeşlenik operatörlerin konveksve operatör konveks fonksiyonlar için Jensen tipli eşitsizlikler
Jensen's type inequalities for convex and operator convex functions of selfadjoint operatorsin Hilbert spaces
TURGAY EKİCİ
Yüksek Lisans
Türkçe
2016
MatematikOrdu ÜniversitesiMatematik Ana Bilim Dalı
YRD. DOÇ. DR. ERDAL ÜNLÜYOL
- Hilbert değerli fonksiyon uzaylarında parametreye bağlı eliptik denklemler için genel sınır değer problemlerinin maksimal regülerlik özellikleri
Maximal regularity properties of bvp?s for general parameter, dependent elliptic equations in Hilbert valued spaces
ASUMAN ÖZER
Yüksek Lisans
Türkçe
2011
Bilim ve Teknolojiİstanbul Teknik ÜniversitesiMatematik Ana Bilim Dalı
DOÇ. DR. KAMİL ORUÇOĞLU
PROF. DR. VELİ ŞAHMUROV
- Determination of a control parameter for the schrödinger's equation
Schrödınger denklemleri için kontrol parametresinin belirlenmesi
MESUT ÜRÜN
Yüksek Lisans
İngilizce
2013
MatematikFatih ÜniversitesiMatematik Ana Bilim Dalı
PROF. DR. ALLABEREN ASHYRALYEV
- Hemen-hemen Hilbert-Smith matrislerinin karakterizasyonu
The Characterization of the almost Hilbert-Smith matrices
ERCAN ALTINIŞIK