SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ
Authors : Ahmet Çevik
Pages : 253-270
View : 5 | Download : 3
Publication Date : 2011-07-15
Article Type : Research
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.