Roger Penrose'da Matematiksel Platonculuk

Matematiksel nesneler fiziksel nesnelerden bağımsız birervarlık mıdır? Matematik nesneler olarak tanımladığımızsimetri gruplarının, Laplace operatörleri ya da yarı simetrikhiperbolik fonksiyonların varlık ı nedir ya da nasıl tanımlanabilir? Varlık şartı matematik nesneler için bu dünyanındışında mıdır yoksa bu dünya içinde tanımlanabilir mi? Budünyanın ötesi ya da idealar dünyası var olabilir mi? Tümbu sorular açısından baktığımızda, matematik nesneleringerçekliği sorunu düşünce tarihini boyunca birçok tartışmanın konusu olmuştur. Platon bu soruya idealar dünyası ilebir cevap vermeye çalışmıştır. Bu yaklaşım matematik tarihiiçindeki birçok öngörü ile uyuşmaktadır. Matematik felsefesinin temel tartışmalarından biri olan matematik nesnelerin varlığı sorunu Frege, Hilbert, Brouwer, Russell, Turingve Gödelin dâhil olduğu tartışma ve açıklama süreçlerinden geçerek, son dönemin öne çıkan teorik fizikçilerindenRoger Penroseun görüşleri bağlamında incelenmektedir.Yaşayan önemli fizikçilerden olan Roger Penrose matematiği Platonun idealar dünyasına benzer bir öte varlık alanıile ilişkilendirmekte, bu tartışma ve açıklanmalar dolayısıylaPenrose tarafından savunulan yaklaşım matematiksel Platonculuk olarak adlandırılmaktadır. Matematiksel Platonculuk, matematiksel nesnelerin zamandan, mekândan veonu düşünen insan zihninden bağımsız olarak var olduğunu iddia eden felsefi görüştür. Bu bakımdan matematikselnesneler, örneğin kümeler, sayılar ve matematiksel operatörler vb. kendinde nesneler olarak vardır. Matematik, evrenin altında yatan insanın yalın algısından uzak bir varlıkdüzleminden pay almaktadır ve insan zihni bu payın çözücüsüdür. Penrose için matematiksel nesne ler üzerine sözsöylemek, temel olarak fiziksel nesne ler hakkında yargıdabulunmakla eşdeğerdir.

Mathematical Platonism in Roger Penrose

Are mathematical objects independent beings from physical objects? How can we define the existence of the symmetry groups, Laplace operators or semi-symmetrical hyperbolic functions called mathematical objects ? Does thecondition of existence for mathematical objects lie outsidethe world, or could it be defined within this world? Is it possible to go beyond this world, to that of ideas? Seen from theperspective of these questions, the problem of the realityof mathematical objects has been a topic of many debatesthroughout the history of thought. Plato responded to thisproblem with the concept of the world of ideas. His approach is also in line with many predictions made duringthe history of mathematics. One of the fundamental debateswithin the philosophy of mathematics, the question of theexistence of mathematical objects has been discussed fromdifferent perspectives, including those of Frege, Hilbert,Brouwer, Russell, Turing, Gödel, and finally that of RogerPenrose, who is one of the prominent theoretical physicistsof recent history. A significant figure within the current literature, Penrose establishes a connection between mathematics and the field of an other being, which has led tothe fact that his approach has been called mathematicalPlatonism. This is a philosophical view that argues thatmathematical objects exist independently of time, spaceand the human mind that thinks of them. For this reason,according to this view, mathematical objects such as sets,numbers and mathematical operators etc., exist as objectsin-themselves. For mathematics takes part in an existentialdomain that is located away from the sheer perception ofthe human being underlying the universe. Therefore, forPenrose talking about mathematical objects is essentiallyequivalent to a judgement on physical objects.

___

  • Arslan, Ahmet, İlkçağ Felsefe Tarihi -Sofistlerden Platon’a-, c. 2, 3 bs., İstanbul: Bilgi Üniversitesi Yayınları, 2010.
  • Balaguer, Mark, “Mathematical Platonism”, Proof and Other Dilemmas: Mathematics and Philosophy içinde, ed. B. Gold and R. A. Simons, Mathematical Association of America Publications: 2008, s. 179-204.
  • Balaguer, Mark, Platonism and anti-Platonism in Mathematics, Oxford: Oxford University Press, 1998.
  • Benacerraf, Paul, “Matematiksel Hakikat”, Matematik Felsefesi içinde, ed. Bekir S. Gür, Ankara: Kadim Yayıncılık, 2004, s. 239-264.
  • Chu-Carroll, Mark C., Good Math: A Geek’s Guide to the Beauty of Numbers, Logic, and Computation, Dallas Teksas: The Pragmatic Bookshelf, 2013.
  • Clark, Michael, Paradokslar Kitabı, çev. Ahmet Fethi, 2. bs., İstanbul: Hil Yayıncılık, 2011.
  • Copleston, Frederick, Felsefe Tarihi - Platon, çev. Aziz Yardımlı, 4. bs., İstanbul: İdea Yayınevi, 1998.
  • Cottingham, John, Akılcılık, çev. Bülent Gözkan, İstanbul: Doruk Yayınları, 1995.
  • Demos, Raphael, “Formlar ve Şeyler”, İdealar Kuramı: Platon’un Felsefesi Üzerine Araştırmalar, içinde, der. Ahmet Cevizci, Ankara: Gündoğan Yayınları, 1989, s. 109-126.
  • Everdell, William R., İlk Modernler, çev. Hülya Kocaoluk, İstanbul: Yapı Kredi Yayınları, 2007.
  • Frege, Gottlob, Aritmetiğin Temelleri: Sayı Kavramı Üzerine Mantıksal-Matematiksel Bir İnceleme, çev. H. Bülent Gözkân, İstanbul: Yapı Kredi Yayınları, 2008.
  • Gödel, Kurt, “Cantor’un Süreklilik Problemi Nedir?”, Matematik Felsefesi içinde, haz. Bekir S. Gür, Ankara: Kadim Yayıncılık, 2004, s. 217-238.
  • Gödel, Kurt, Principia Mathematica ve İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine – I, çev. Özge Ekin, İstanbul: Boğaziçi Üniversitesi Yayınevi, 2010.
  • Gribbin, John, Schrödinger’in Kedisinin Peşinde, çev. Nedim Çatlı, İstanbul: Metis Yayınları, 2006.
  • Heimsoeth, Heinz, Immanuel Kant’ın Felsefesi, çev. Takiyettin Mengüşoğlu, Ankara: Doğu-Batı Yayınları, 2007.
  • Hofstadter, Douglas R., Gödel, Escher, Bach: Bir Ebedi Gökçe Belik - Lewis Carroll’un İzinde Zihinlere ve Makinelere Dair Metaforik Bir Füg, çev. Ergün Akça ve Hamide Koyukan, İstanbul: Kabalcı Yayınevi, 2001.
  • Karadağ, Nilüfer, “Süreklilik Hipotezi”, Bilim Teknik Dergisi 446, (2005): 70-71.
  • Karakaş, Halil İbrahim, Matematiğin Temelleri, 2. bs., Ankara: ODTÜ Yayıncılık, 2011.
  • King, Jerry P., Matematik Sanatı, çev. Nermin Arık, Ankara: TÜBİTAK Popüler Bilim Kitaplığı, 1999.
  • Linnebo, Øystein, “Platonism in the Philosophy of Mathematics”, The Stanford Encyclopedia of Philosophy (Fall 2011 Edition), Edward N. Zalta (ed.), http://plato.stanford.edu/archives/fall2011/ entries/platonism-mathematics/.
  • Maddy, Penelope, Realism in Mathematics, Oxford: Oxford University Press, 1990. Muller, Ian, “Mathematical Method and Philosophical Truth”, The Companion to Plato içinde, haz. Richard Kraut, Cambridge: Cambridge University Press, 2005, s. 170-199.
  • Nagel, Ernest, James R. Newman, Gödel Kanıtlaması, çev. Bülent Gözkân, 2. bs., İstanbul: Boğaziçi Üniversitesi Yayınevi, 2008.
  • Penrose, Roger, Kralın Yeni Usu: Bilgisayar ve Zeka, c. I, çev. Tekin Dereli, Ankara: TÜBİTAK Popüler Bilim Kitapları, 1999.
  • Penrose, Roger, Kralın Yeni Usu: Us Nerede, c. III, çev. Tekin Dereli, Ankara: TÜBİTAK Popüler Bilim Kitapları, 1999.
  • Roger Penrose, Road to Reality, London: Random House Com- pany, 2004.
  • Platon, Devlet (Politeia), çev. Sabahattin Eyüboğlu, M. Ali Cimcoz, 25. bs., İstanbul: İş Bankası Kültür Yayınları, 2013.
  • Platon, Diyaloglar 1, çev. Adnan Cemgil, 4. bs., İstanbul: Remzi Kitabevi, 1996.
  • Platon, Symposion, çev. Eyüp Çoraklı, İstanbul: Kabalcı Yayınları, 2007.
  • Platon, Timaios, çev. Erol Güney, Lütfi Ay, 3. bs., İstanbul: MEB Yayınları, 1997.
  • Poincaré, Henri, Bilim ve Hipotez, çev. Fethi Yüzel, 2. bs., Ankara: MEB Yayınları, 1964.
  • Quine, W.V.O., From a Logical Point of View, 2nd ed., New York: Harper and Row, 1961.
  • Russell, Bertrand, Felsefe Sorunları, çev. Vehbi Hacıkadiroğlu, 2. bs., İstanbul: Kabalcı Yayınları, 2000.
  • Yıldırım, Cemal, Matematiksel Düşünme, İstanbul: Remzi Kitapevi, 1996.