HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ
Bu yazıda, Hilbert’in biçimselleştirme programına kadar giden matematikfelsefesindeki önemli krizlerden bahsedilmiştir. Hilbert’in programınıngerçekleşemeyeceğini gösteren Gödel’in eksiklik teoremi gibi programınsonuçları ve nedenleri tartışılmıştır. Daha sonra matematikteki eksikliğinneden varolduğ...
Saved in:
Main Author: | Ahmet Çevik |
---|---|
Format: | Article |
Language: | English |
Published: |
Türk Felsefe Derneği
2014-12-01
|
Series: | Felsefe Dünyası |
Subjects: | |
Online Access: | https://dergipark.org.tr/tr/download/article-file/1495781 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ
by: Ahmet Çevik
Published: (2011-07-01) -
MATEMATİKSEL (?) MANTIK
by: İskender Taşdelen
Published: (2009-07-01) -
ÖZ ÖBEĞİN TÜMLEYENİ KÜME MİDİR, ÖZ ÖBEK MİDİR?
by: Ahmet İnam
Published: (2006-07-01) -
MANTIĞIN ZAMAN TÜNELİ
by: Rasim Karakadılar
Published: (2011-12-01) -
Yapay Zekâ: Salt Sentaks Üzerine Kurulu Bir Dilin İmkânı
by: Yahya İncetahtacı
Published: (2024-07-01)