Subscribe to DeepL Pro to translate larger documents.

Visit www.DeepL.com/pro for more information.

Saya pikir mungkin menarik untuk mengetahui realisme dan non realisme dalam matematika.
Apakah ada yang ingin membahasnya? Jelaskan apa itu?
Baiklah, saya senang berbicara tentang Platonisme versus formalisme yang dia sebutkan dan
seterusnya. Dan apakah yang dimaksud dengan Plato itu?
Anda tahu, Alfred N Whitehead pernah menulis bahwa semua filsafat Barat adalah
serangkaian catatan kaki untuk Plato. Dan dia adalah orang yang sangat cerdas. Tapi, Anda
tahu, mungkin apa yang dia pikirkan paling baik dijelaskan dengan alegori Gua. Anda
mengatakan bahwa kita manusia, Anda tahu, seperti tahanan di dalam gua. Seseorang
melemparkan bayangan ke dinding Gua. Para tahanan dipaksa untuk melihat bayangan
tersebut, dan itulah yang mereka pikirkan sebagai realitas.
Jadi Plato pada dasarnya mengatakan bahwa matematika ada di suatu dunia di luar sana. Ini
adalah dunia Platonis dengan bentuk-bentuk matematika. Jadi, ketika saya menggambar sebuah
lingkaran di selembar kertas, itu bukanlah lingkaran yang sebenarnya. Lingkaran yang
sebenarnya ada di dunia matematika. Ini hanyalah sebuah perkiraan yang keren untuk lingkaran
ini. Sebagian besar ahli matematika yang bekerja adalah penganut Platonisme. Yakni, mereka
berpikir bahwa matematika memiliki eksistensi di luar sana dan kita hanya menemukan
kebenarannya.
Mengenai matematika, aliran yang Rebecca jelaskan sebelumnya tentang formalis, dia benar-
benar menggunakan analogi catur yang pada dasarnya mengatakan tidak, tidak, itu semua
hanya, Anda tahu, saya menuliskan beberapa aturan dan atau serangkaian aksioma dan saya
dapat memperoleh semua matematika dari situ. Ini seperti saya memberi Anda aturan catur.
Kita bermain catur, saya mengubah aturannya, kita memainkan permainan yang berbeda.
Pada dasarnya idenya adalah saya menuliskan satu set aksioma, saya mendapatkan beberapa
bentuk matematika, saya mengubah aksioma, saya mendapatkan matematika yang lain. Dan
contoh terbaik dari hal ini adalah geometri Euclidean yang kita semua pelajari di sekolah. Itu
didasarkan pada satu set 10 aksioma, salah satunya mengatakan bahwa jika Anda memiliki
garis dan titik di luar garis, Anda dapat melewati satu garis paralel ke garis yang dianggap
benar dari Tuhan sampai.
Pada awal abad ke-19, ketika tiga matematikawan secara independen menunjukkan bahwa
sebenarnya Anda dapat membuang aksioma itu sama sekali dan Anda dapat mengembangkan
matematika baru, matematika yang dapat digambarkan di permukaan, melengkung seperti
pelana, di permukaan seperti bola, dan Lalu apa? Di mana aksioma ini tidak berlaku sama
sekali. Dan itu adalah deskripsi yang sama bagusnya tentang ruang, Anda tahu, dan
semuanya. Jadi pada dasarnya secara formal mengatakan.
Tuliskan aksioma-aksioma tersebut. Berikan apa yang ada. Apa yang dilakukan Godel adalah
dia menarik karpet di bawah seluruh premis ini. Pada dasarnya dia menunjukkan bahwa tidak
ada sistem formal, tidak ada sistem aksioma yang akan Anda tulis yang dapat menangkap
semua kebenaran matematika. Ini adalah cara sederhana untuk mengatakannya. Anda tahu,
dalam fisika, saya adalah seorang fisikawan. Kita di sini mungkin pernah mendengar istilah teori
segala sesuatu.
Kami berusaha keras untuk mendapatkan teori segala sesuatu dalam fisika. Teorema Goddard
menunjukkan bahwa tidak ada teorema untuk semua hal dalam matematika. Yakni, Anda tidak
dapat, Anda tahu, menuliskan beberapa set aksioma dan dari situ menurunkan semua
matematika. Jadi, ini adalah ketegangan di antara kelompok-kelompok tertentu. Selain itu, ada
kelompok ketiga, yaitu kelompok logis, yang
adalah.
Orang-orang seperti Bertrand Russell, Gottlob Frege dan yang lainnya mengatakan tidak, tidak,
tidak, tidak, itu semua sebenarnya berasal dari logika. Saya dapat menuliskan beberapa
aksioma logika. Sebagai contoh, saya katakan kepada Anda bahwa Kepala Pelayan
membunuh jutawan atau putrinya yang membunuhnya, lalu saya katakan bahwa putrinya tidak
membunuhnya. Maka Anda harus menyimpulkan bahwa Butler yang melakukannya. Dan
kesimpulan ini tidak bergantung pada berapa usia si Pelayan, berapa panjang hidung putrinya
atau hal semacam itu. Jadi.
Ada beberapa aksioma logika dan Gottlob Frege mengatakan bahwa ia dapat membuktikan
semua aritmatika. Dan yang saya maksudkan adalah bahkan 1 + 1 = 2 dari beberapa aksioma
logika. Dan itu terlihat sangat bagus. Maksud saya, hampir semua orang merasa senang
karena Anda tahu bahwa sebelumnya ia mengatakan
Oke, ini semua adalah permainan, tapi mungkin ada ibu dari semua permainan, yaitu.
Leighton, katanya. Oh, jika itu semua berasal dari beberapa aksioma logika, pasti itu ada di suatu
tempat di dunia matematika, Anda tahu, dan seterusnya. Jadi semua ini terlihat sangat bagus,
kecuali ketika Frege siap untuk mengirim buku tebal ini ke percetakan, Bertrand Russell
mengiriminya sebuah paradoks, yang sedikit mirip dengan apa yang kadang-kadang disebut
paradoks Tukang Cukur. Anda tahu, ada seorang tukang cukur yang memiliki tanda saya
mencukur.
Semua dan hanya para pria di desa yang tidak mencukur sendiri. Dan ini semua terdengar
sangat logis, karena orang-orang, para pria yang mencukur dirinya sendiri, tidak membutuhkan jasa
Tukang Cukur, dan Tukang Cukur mencukur semua orang sampai Anda berhenti dan bertanya
Oke, tapi siapa yang mencukur Tukang Cukur? Dan jika Tukang Cukur mencukur dirinya sendiri,
dia adalah salah satu dari orang-orang yang mencukur dirinya sendiri dan oleh karena itu dia
tidak mencukur dirinya sendiri. Jika tukang cukur tidak mencukur dirinya sendiri, maka dia
adalah salah satu dari orang-orang yang tidak mencukur dirinya sendiri dan karenanya dia harus
mencukur dirinya sendiri.
Jadi, paradoks yang dikirimkan Russell kepada Frege bukanlah paradoks ini, tetapi memiliki
rasa yang mirip dengan paradoks tersebut. Dan pada dasarnya hal ini menunjukkan bahwa
sistem logika kita bisa saja keliru. Jadi ada perasaan bahwa seluruh fondasi matematika
menjadi agak goyah. Dan ini adalah.
Apa? Untuk apa? Saya sebagai seorang fisikawan membuat teka-teki ini menjadi lebih besar
lagi dalam arti bahwa ketika fondasi-fondasi ini masih goyah, matematika menjadi alat yang
sangat kuat dalam menjelaskan alam semesta di sekitar kita. Bagaimana Anda bisa
menjelaskan seluruh alam semesta dengan sesuatu yang memiliki alat yang goyah seperti itu?