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: | |
|---|---|
| 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!
|
| _version_ | 1832571105615806464 |
|---|---|
| author | Ahmet Çevik |
| author_facet | Ahmet Çevik |
| author_sort | Ahmet Çevik |
| collection | DOAJ |
| description | 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ğu anlatılmaya çalışılmıştır. Son olarak, Hilbert’inprogramından çıkan sonuç irdelenmiştir. |
| format | Article |
| id | doaj-art-6bd1e86a666243929afd22f11ac19cca |
| institution | Kabale University |
| issn | 1301-0875 |
| language | English |
| publishDate | 2014-12-01 |
| publisher | Türk Felsefe Derneği |
| record_format | Article |
| series | Felsefe Dünyası |
| spelling | doaj-art-6bd1e86a666243929afd22f11ac19cca2025-02-02T13:21:53ZengTürk Felsefe DerneğiFelsefe Dünyası1301-08752014-12-01602652802040HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİAhmet Çevik0UNIVERSITY OF LEEDS, DEPARTMENT OF PURE MATHEMATİCSBu 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ğu anlatılmaya çalışılmıştır. Son olarak, Hilbert’inprogramından çıkan sonuç irdelenmiştir.https://dergipark.org.tr/tr/download/article-file/1495781matematik felsefesimatematiksel mantıkgödel’in eksiklik teoremihilbert’in programıbiçimselleştirmehesaplanabilirlikrastgelelik.philosophy of mathematicsmathematical logicgödel’s incompleteness theoremhilbert’s programformalizationcomputabilityrandomness. |
| spellingShingle | Ahmet Çevik HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ Felsefe Dünyası matematik felsefesi matematiksel mantık gödel’in eksiklik teoremi hilbert’in programı biçimselleştirme hesaplanabilirlik rastgelelik. philosophy of mathematics mathematical logic gödel’s incompleteness theorem hilbert’s program formalization computability randomness. |
| title | HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ |
| title_full | HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ |
| title_fullStr | HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ |
| title_full_unstemmed | HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ |
| title_short | HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ |
| title_sort | hilbert in bicimsellestirme programinin felsefesi |
| topic | matematik felsefesi matematiksel mantık gödel’in eksiklik teoremi hilbert’in programı biçimselleştirme hesaplanabilirlik rastgelelik. philosophy of mathematics mathematical logic gödel’s incompleteness theorem hilbert’s program formalization computability randomness. |
| url | https://dergipark.org.tr/tr/download/article-file/1495781 |
| work_keys_str_mv | AT ahmetcevik hilbertinbicimsellestirmeprogramininfelsefesi |