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!
|
| _version_ | 1832571016170176512 |
|---|---|
| author | Ahmet Çevik |
| author_facet | Ahmet Çevik |
| author_sort | Ahmet Çevik |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-30ef04e18e6b42f2906f0a59ff3893db |
| institution | Kabale University |
| issn | 1301-0875 |
| language | English |
| publishDate | 2011-07-01 |
| publisher | Türk Felsefe Derneği |
| record_format | Article |
| series | Felsefe Dünyası |
| spelling | doaj-art-30ef04e18e6b42f2906f0a59ff3893db2025-02-02T13:22:45ZengTürk Felsefe DerneğiFelsefe Dünyası1301-08752011-07-01532532702040SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİAhmet Çevik0UNİVERSİTY OF LEEDS, DEPARTMENT OF PURE MATHEMATİCSBu 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.https://dergipark.org.tr/tr/download/article-file/1463951sayılamazsonsuzlukkarar verilemezlikgödeleksiklik teoremi.uncountableinfinityundecidabilitygödelincompleteness theorem. |
| spellingShingle | Ahmet Çevik SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ Felsefe Dünyası sayılamaz sonsuzluk karar verilemezlik gödel eksiklik teoremi. uncountable infinity undecidability gödel incompleteness theorem. |
| title | SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ |
| title_full | SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ |
| title_fullStr | SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ |
| title_full_unstemmed | SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ |
| title_short | SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ |
| title_sort | sayilamaz sonsuzluk karar verilemezlik ve godel in eksiklik teoremi |
| topic | sayılamaz sonsuzluk karar verilemezlik gödel eksiklik teoremi. uncountable infinity undecidability gödel incompleteness theorem. |
| url | https://dergipark.org.tr/tr/download/article-file/1463951 |
| work_keys_str_mv | AT ahmetcevik sayilamazsonsuzlukkararverilemezlikvegodelineksiklikteoremi |