Apa itu intuisionisme?

Intuitionism adalah filosofi matematika yang menyatakan bahwa matematika adalah ciptaan pikiran yang murni formal.Berasal dari awal abad kedua puluh oleh ahli matematika Belanda L.E.J.Brouwer.Intuitionism menyatakan bahwa matematika adalah proses internal dan konten-kosong di mana pernyataan matematika yang konsisten hanya dapat dipahami dan dibuktikan sebagai konstruksi mental.Dalam pengertian ini, intuisionisme bertentangan dengan banyak prinsip inti matematika klasik, yang menyatakan bahwa matematika adalah analisis obyektif dari keberadaan eksternal.

intuisionisme berbeda dari filosofi klasik matematika, seperti formalisme dan platonisme, dalam hal itu tidak mengasumsikan keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaan dari keberadaannya, seperti formalisme dan platonisme, dalam hal itu tidak mengasumsikan keberadaannyarealitas koheren matematis eksternal.Selain itu, tidak mengasumsikan bahwa matematika adalah bahasa simbolis yang harus mengikuti aturan tetap tertentu.Dengan demikian, karena tokoh -tokoh simbolis yang biasa digunakan dalam matematika dianggap mediasi murni, mereka hanya digunakan untuk mengirimkan ide -ide matematika dari pikiran satu matematikawan ke yang lain, dan tidak dengan sendirinya menyarankan bukti matematika lebih lanjut.Satu -satunya dua hal yang diasumsikan oleh intuisionisme adalah kesadaran waktu dan keberadaan pikiran yang menciptakan.

Intuisionisme dan matematika klasik masing -masing mengajukan penjelasan berbeda tentang apa artinya menyebut pernyataan matematika benar.Dalam intuisionisme, kebenaran pernyataan tidak ditentukan secara ketat oleh kesadarannya saja, tetapi lebih oleh kemampuan ahli matematika untuk mengintuisi pernyataan dan membuktikannya dengan penjelasan lebih lanjut dari konstruksi mental yang konsisten secara rasional lainnya.

intuisionisme memiliki implikasi serius yang bertentangan dengan beberapa konsep utama dalam matematika klasik.Mungkin yang paling terkenal dari ini adalah penolakan hukum di tengah yang dikecualikan.Dalam pengertian yang paling mendasar, hukum tengah yang dikecualikan mengatakan bahwa "a" atau "bukan" bisa benar, tetapi keduanya tidak dapat benar pada saat yang sama.Intuisionis berpendapat bahwa dimungkinkan untuk membuktikan "a" dan "bukan" selama konstruksi mental dapat dibangun yang membuktikan masing -masing secara konsisten.Dalam pengertian ini, bukti dalam penalaran intuisionis tidak peduli dengan membuktikan apakah ada "a" atau tidak, tetapi sebaliknya didefinisikan oleh apakah "a" dan "bukan" dapat dibangun secara koheren dan konsisten sebagai pernyataan matematika dalam pikiran.

Meskipun intuisionisme tidak pernah menggantikan matematika klasik, ia masih menerima banyak perhatian saat ini.Studi intuisionisme telah dikaitkan dengan tingkat kemajuan yang luas dalam studi matematika, karena menggantikan konsep tentang kebenaran abstrak dengan konsep tentang pembenaran konstruksi matematika.Itu juga telah diberikan beberapa perlakuan di cabang filosofi lain karena kepeduliannya dengan pikiran yang ideal dan subjek-subjek, yang telah dibandingkan dengan konsepsi fenomenologis Husserl tentang "subjek transendental."