SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ

Home Page
About
Submit A Journal
Submit A Conference
Submit Paper/Book
- Submit a Preprint
- Submit a Book
Contact

Felsefe Dünyası
Issue:53
SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ

SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ

Authors : Ahmet ÇEVİK

Pages : 253-270

View : 24 | Download : 9

Publication Date : 2011-07-15

Article Type : Research Paper

Abstract :Bu makalede 19. ve 20. yüzyılda matematiğin felsefesi/temelleri üzerine yapılan çalışmalardan, mantığın ve biçimselleştirmenin getirdiği sonuçlardan, hesaplanabilirlik kuramının tarihinden, ve teorik bilgisayar biliminin oluşumuna neden olan matematik dünyasındaki çalışmalardan bahsedilmiştir. Özetle, Cantor’un sonsuz kümeler kuramı, kendine referans veren paradokslar, Gödel’in eksiklik kuramı, karar verilemezlik ve teorik bilgisayar bilimi literatüründe bilinen durma problemine değinilmiştir. Son olarak kümeler kuramında bir problem olarak bilinen süreklilik hipotezinin biçimsel dillerle olan ilişkisinden ve hesaplanabilirlik kuramında doğabilecek potansiyel bir krizden bahsedilmiştir.
Keywords : Sayılamaz, Sonsuzluk, Karar Verilemezlik, Gödel, Eksiklik Teoremi

ORIGINAL ARTICLE URL

* There may have been changes in the journal, article,conference, book, preprint etc. informations. Therefore, it would be appropriate to follow the information on the official page of the source. The information here is shared for informational purposes. IAD is not responsible for incorrect or missing information.