Geri Dön

Hilbert's Finitism and its limits

Hilbert'in Finitizm kavramı ve sınırları

  1. Tez No: 271125
  2. Yazar: EMEK ÖN
  3. Danışmanlar: DOÇ. DR. BERNA KILINÇ
  4. Tez Türü: Yüksek Lisans
  5. Konular: Felsefe, Philosophy
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2010
  8. Dil: İngilizce
  9. Üniversite: Boğaziçi Üniversitesi
  10. Enstitü: Sosyal Bilimler Enstitüsü
  11. Ana Bilim Dalı: Felsefe Bölümü
  12. Bilim Dalı: Felsefe Ana Bilim Dalı
  13. Sayfa Sayısı: 94

Ö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

  1. Stark's conjectures and hilbert's twelfth problem

    Stark'ın sanıları ve Hilbert'ın onikinci problemi

    PINAR KILIÇER

    Yüksek Lisans

    İngilizce

    İngilizce

    2011

    MatematikKoç Üniversitesi

    Matematik Ana Bilim Dalı

    YRD. DOÇ. DR. KAZIM BÜYÜKBODUK

  2. Model theoretic approach to Nullstellensatz

    Nullstellensatz teoremine model teoretik bakış

    DERYA ÇIRAY

    Yüksek Lisans

    İngilizce

    İngilizce

    2011

    Matematikİstanbul Bilgi Üniversitesi

    Matematik Ana Bilim Dalı

    PROF. DR. OLEG BELEGRADEK

  3. Kant'ın yargı anlayışı itibarıyla Gödel tamamlanamazlık teoremlerinin bir yorumu ve bu yorumun analitik önermelerin zemini bakımından sonuçları

    An interpretation of Godel's incompleteness theorem based on Kant's understanding of judgement and implications regarding basis of analytical proposition

    GÖKHAN ŞENER

    Yüksek Lisans

    Türkçe

    Türkçe

    2019

    Felsefeİstanbul 29 Mayıs Üniversitesi

    Felsefe Ana Bilim Dalı

    PROF. DR. AHMET AYHAN ÇİTİL

  4. Geometri aksiyomlarının statüsüne ilişkin Frege–Hilbert ihtilafının eleştirel bir değerlendirmesi

    A critical evaluation of the Frege-Hilbert controversy on the status of geometry axiomes

    ŞEYMA NUR TAN

    Yüksek Lisans

    Türkçe

    Türkçe

    2020

    Felsefeİstanbul 29 Mayıs Üniversitesi

    Felsefe Ana Bilim Dalı

    PROF. DR. AHMET AYHAN ÇİTİL

  5. Russell Paradoksu temelinde 20. yüzyıl mantıksal paradoksları

    The twentieth century logical paradoxes on the basis of Russell's Paradox

    CANAN DURMAZ

    Yüksek Lisans

    Türkçe

    Türkçe

    2014

    FelsefeEskişehir Osmangazi Üniversitesi

    Felsefe ve Din Bilimleri Ana Bilim Dalı

    YRD. DOÇ. ALİ ÇETİN