SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ
Bu makalede 19. ve 20. yüzyılda matematiğin felsefesi/temelleri üzerineyapılan çalışmalardan, mantığın ve biçimselleştirmenin getirdiği sonuçlardan,hesaplanabilirlik kuramının tarihinden, ve teorik bilgisayar bilimininoluşumuna neden olan matematik dünyasındaki çalışmalardan bahsedilmiştir.Özetle, C...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Türk Felsefe Derneği
2011-07-01
|
| Series: | Felsefe Dünyası |
| Subjects: | |
| Online Access: | https://dergipark.org.tr/tr/download/article-file/1463951 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Bu makalede 19. ve 20. yüzyılda matematiğin felsefesi/temelleri üzerineyapılan çalışmalardan, mantığın ve biçimselleştirmenin getirdiği sonuçlardan,hesaplanabilirlik kuramının tarihinden, ve teorik bilgisayar bilimininoluş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ündebilinen durma problemine değinilmiştir. Son olarak kümeler kuramındabir problem olarak bilinen süreklilik hipotezinin biçimsel dillerle olanilişkisinden ve hesaplanabilirlik kuramında doğabilecek potansiyel bir krizdenbahsedilmiştir. |
|---|---|
| ISSN: | 1301-0875 |