Nov 26, 2012

INTUITIONISM_Documented by Marsigit




INTUITIONISM

An intuitionist may not believe that a mathematical statement has the same meaning that a classical mathematician would. For example, to say A or B, to an intuitionist, is to claim that either A or B can be proved. In particular, the law of excluded middle, A or not A, is disallowed since one cannot assume that it is always possible to either prove the statement A or its negation. 

Intuitionism also rejects the abstraction of actual infinity; i.e., it does not consider as given objects infinite entities such as the set of all natural numbers or an arbitrary sequence of rational numbers. This requires the reconstruction of the most part of set theory and calculus, leading to theories highly different from their classical versions.

Mathematicians that have contributed to intuitionism

Branches of intuitionistic mathematics

29 comments:

  1. Nama : Irna K.S.Blegur
    Nim : 16709251064
    kelas : PM D 2016(PPS)
    Intuisionisme adalah suatu aliran filsafat yang menganggap adanya satu kemampuan tingkat tinggi yang dimiliki manusia, yaitu intuisi. Tokoh aliran ini diantaranya dalah Henri Bergson. Menurut Bergson, intuisi adalah suatu sarana untuk mengetahui secara langsung dan seketika. Analisa, atau pengetahuan yang diperoleh dengan jalan pelukisan, tidak akan dapat menggantikan hasil pengenalan secara langsung dari pengetahuan intuitif. Fungsi intuisi adalah untuk mengenal hakikat pribadi atau ‘aku’ dengan lebih murni dan untuk mengenal hakikat seluruh kenyataan. Intuisi inilah yang dapat memahami kebenaran yang utuh, yang tetap dan menangkap objek secara langsung tanpa melalui pemikiran. Jadi indera dan akal hanya mampu menghasilkan pengetahuan yang tidak utuh, sedangkan intuisi dapat menghasilkan pengetahuan yang utuh dan tetap.

    ReplyDelete
  2. Sumandri
    16709251072
    S2 Pendidikan Matematika D 2016

    Intuisionisme, berasal dari perkataan Inggeris iaitu intuition yang bermaksud manusia memiliki gerak hati atau disebut hati nurani. Sebuah intuisionis mungkin tidak percaya bahwa pernyataan matematika memiliki arti yang sama akan matematika klasik. Misalnya, mengatakan A atau B, dalam Intuisionisme adalah untuk mengklaim bahwa baik A atau B dapat dibuktikan. Intuitionism juga menolak abstraksi tak terhingga yang sebenarnya. Matematikawan yang telah memberikan kontribusi untuk intuitionism adalah L. E. J. Brouwer, Arend Heyting dan Stephen Kleene. Adapun cabang matematika intuisionisme adalah intuisionisme logika, intuisionisme aritmatika, intuisionisme teori himpunan, dan intuisionisme kalkulus.

    ReplyDelete
  3. Saepul Watan
    16709251057
    S2 P.Mat Kelas C 2016

    Bismilahir rahmaanir rahiim..
    Assalamualaikum wr..wb...

    Dalam artikel ini dipaparkan bahwa sebuah intuisionis mungkin tidak percaya bahwa pernyataan Matematika memiliki arti yang sama akan matematika klasik. Hal ini berarti kita tidak bisa berasumsi bahwa selalu mungkin untuk membuktikan sebuah pernyataan atau negasi pernyataan tersebut. Pembuktian dalam Matematika tidak bisa hanya didasarkan pada pemikiran logis saja, melainkan atas kejelasan intuitif. Sebuah pembuktian dikatakan benar jika kita mengerti secara intuitif setiap tahapan pembuktiannya.

    ReplyDelete
  4. Wahyu Lestari
    16709251024
    PPs P.Matematika Kelas D

    Dari artikel di atas, Kant berpendapat bahwa matematika dibangun di atas intuisi murni
    yaitu intuisi ruang dan waktu dimana konsep-konsep matematika dapat dikonstruksi
    secara sintetis. Intuisi murni (Kant, I, 1783) tersebut merupakan landasan dari semua
    penalaran dan keputusan matematika. Jika tidak berlandaskan intuisi murni maka
    penalaran tersebut tidaklah mungkin. Menurut Kant (Kant, I, 1783) matematika
    sebagai ilmu adalah mungkin jika kita mampu menemukan intuisi murni.

    Kant (Wilder,R.L., 1952) menghubungkan aritmetika dengan intuisi waktu sebagi
    bentuk dari “inner intuition” untuk menunjukkan bahwa kesadaran terhadap konsep
    bilangan meliputi aspek pembentuknnya sedemikian sehingga struktur kesadaran
    tersebut dapat ditunjukkan dalam urutan waktu. Jadi intuisi waktu menyebabkan
    konsep bilangan menjadi nyata sesuai dengan pengalaman empirisnya.

    ReplyDelete
  5. Wahyu Lestari
    16709251024
    PPs P.Matematika Kelas D

    Selanjutnya, Kant berpendapat bahwa geometri seharusnya berlandaskan pada intuisi keruangan murni. Jika dari konsep-konsep geometri kita hilangkan konsep-konsep empiris atau penginderaan, maka konsep konsep ruang dan waktu masih akan tersisa; yaitu bahwa konsep-konsep geometri bersifat a priori. Namun Kant menekankan bahwa, seperti halnya pada matematika pada umumnya, konsep-konsep geometri hanya akan bersifat “sintetik a priori” jika konsep-konsep itu hanya menunjuk kepada obyek-obyek yang diinderanya. Jadi di dalam “intuisi empiris” terdapat intuisi ruang dan waktu yang bersifat a priori.

    ReplyDelete
  6. Nurwanti Adi Rahayu
    16709251067
    S2 Pendidikan Matematika Kelas D 2016

    Intuision dapat diatikan sebagai gerak hati,bisikan hati,atau kemampuan memahami sesuatu tanpa harus dipikirkan.
    Sedangkan intuisionisme merupakan aliran atau paham yang mengutamakan intuisi atau gerak hati atau bisikan hati.
    Tokoh aliran intuisionisme adalah Henry Bergson(1859-1941).
    Henry menganggap tidak hanya indra yang terbatas ,akan tetapi akal juga terbatas.
    Objek-objek yang ditangkap adalah objek yang selalu berubah.

    ReplyDelete
  7. Dessy Rasihen
    16709251063
    S2 P.MAT D

    Dalam intuitionism ini dijelaskan bahwa sebuah intuisionis mungkin tidak percaya bahwa pernyataan matematika memiliki arti yang sama akan matematika klasik. Misalnya, mengatakan A atau B, ke intuisionis, adalah untuk mengklaim bahwa baik A atau B dapat dibuktikan dan intuitionism juga menolak abstraksi.

    ReplyDelete
  8. Nurwanti Adi Rahayu
    16709251067
    S2 Pendidikan Matematika Kelas D 2016

    Pengetahuan tentang objek yang selalu berubah tidak pernah tetap.
    Iintelek atau akal manusia terbatas. Akal hanya dapat memahami suatu objek jika akal mengonsentrasikan dirinya pada objek itu.
    Artinya manusia tidak mengetahui keseluruhan,tidak juga dapat memahami sifat-sifat yang tetap pada objek.
    Akal hanya mampu memahami bagian-bagian dari objek. Selanjutnya bagian-bagian tersebut digabungkan oleh akal. Hal ini tidak sama dengan pengetahuan menyeluruh tentang objek.

    ReplyDelete
  9. Yosepha Patricia Wua Laja
    16709251080
    S2 Pendidikan Matematika D 2016

    Berdasarkan sumber https://plato.stanford.edu/entries/intuitionism/Menurut Brouwer, matematika adalah ciptaan pikiran tanpa pamrih. Waktu adalah satu-satunya gagasan apriori. Brouwer membedakan dua tindakan intuisi:

    Tindakan intuisi pertama adalah:
    Sepenuhnya memisahkan matematika dari bahasa matematika dan karenanya dari fenomena bahasa yang digambarkan oleh logika teoritis, mengakui bahwa matematika intuisiistik adalah aktivitas pikiran yang pada dasarnya tidak ada lagi yang berawal dari persepsi perpindahan waktu. Persepsi tentang perpindahan waktu ini dapat digambarkan sebagai perpecahan dari momen kehidupan menjadi dua hal yang berbeda, salah satunya memberi jalan kepada yang lain, namun dipertahankan oleh ingatan. Jika ketiganya terlahir didivestasikan dari semua kualitas, ia lolos ke dalam bentuk kosong substratum umum dari semua dua orang. Dan inilah landasan umum, bentuk kosong ini, yang merupakan dasar intuisi matematika.

    Tindakan intuisi kedua adalah:
    Mengakui dua cara untuk menciptakan entitas matematika baru: pertama dalam bentuk yang kurang lebih bebas menjalankan urutan entitas matematika yang tak terbatas yang sebelumnya diperoleh ...; Kedua dalam bentuk spesies matematis, yaitu sifat yang dapat diandalkan untuk entitas matematika yang sebelumnya diperoleh, memenuhi kondisi bahwa jika mereka memegang entitas matematis tertentu, mereka juga memegang semua entitas matematika yang telah didefinisikan sebagai "sama" dengannya .... (Brouwer 1981, 8)


    ReplyDelete
  10. Supriadi / 16709251048
    Kelas C 2016 Pendidikan matematika – S2

    Menurut intuisionisme, matematika pada dasarnya adalah suatu kegiatan konstruksi. Nomor atau bilangan merupakan konstruksi mental, bilangan real merupakan konstruksi mental, bukti dan teorema merupakan konstruksi mental, yang berarti matematika merupakan konstruksi mental. Matematika konstruksi diproduksi oleh matematikawan ideal, yaitu, disarikan dari kontingen, keterbatasan fisik matematika kehidupan nyata.Tetapi bahkan ahli matematika yang ideal tetap menjadi terbatas sedang. Dia tidak pernah dapat menyelesaikan suatu konstruksi yang tak terbatas, meskipun dia dapat menyelesaikan secara sewenang-wenang hingga besar bagian awal dari itu.(Pengecualian dibuat oleh Brouwer untuk intuisi kita garis nyata.) Intuisionisme ini mensyaratkan bahwa untuk sebagian besar menolak keberadaan aktual (atau selesai) tak terbatas; kebanyakan hanya koleksi potensial tidak terbatas diberikan dalam kegiatan konstruksi. Contoh dasar pembangunan berturut-turut dalam waktu dari alam nomor individu.

    ReplyDelete
  11. Lana Sugiarti
    16709251062
    PPs Pendidikan Matematika D 2016

    Dari penjelasan tersebut, saya dapat mengambil kesimpulan bahwa intusionisme menolak abstraksi dari tak terhingga yaitu tidak menganggap benda benda tak terbatas seperti himpunan semua bilangan natural atau urutan bilangan rasional. Hal – hal yang bersifat abstrak terkadang sulit dibuktikan dan untuk membuktikan suatu pernyataan diperlukan asumsi dan mungkin juga definisi agar membantu dalam membuktikan hal yang ingin diketahui.

    ReplyDelete
  12. Ahmad Wafa Nizami
    16709251065
    S2 Pendidikan Matematika D

    Yang paling populer dari tiga di antara matematikawan adalah yang pertama disebut Brouwer Fixed Point Theorem. Ini adalah konsekuensi wajar sederhana untuk yang kedua, tentang persamaan derajat topologi, dan yang satu ini paling populer di kalangan pakar topologi aljabar. Yang ketiga mungkin yang paling sulit.
    Brouwer juga membuktikan teorema aproksimasi sederhana di dasar aljabar topologi, yang membenarkan pengurangan terhadap istilah kombinatorial, setelah pembagian kompleks simplisitas yang cukup, dari perlakuan pemetaan kontinu secara umum. Pada tahun 1912, pada usia 31, dia terpilih sebagai anggota Akademi Kesenian dan Ilmu Pengetahuan Kerajaan Belanda. [6]Brouwer pada dasarnya menemukan filosofi matematika intuisi sebagai lawan dari formalisme David Hilbert yang sekarang berlaku dan kolaboratornya Paul Bernays, Wilhelm Ackermann, John von Neumann dan lain-lain (lihat Kleene (1952), hal 46-59). Sebagai berbagai matematika konstruktif, intuisi pada dasarnya adalah filsafat dasar matematika. [7] Terkadang dan agak sederhana ditandai dengan mengatakan bahwa para penganutnya menolak untuk menggunakan hukum yang dianggap tidak masuk akal dalam matematika.Brouwer adalah anggota kelompok Signifikan. Ini merupakan bagian dari sejarah semiotika awal - studi tentang simbol - di sekitar Victoria, Lady Welby pada khususnya. Arti sebenarnya dari intuisiismenya mungkin tidak dapat sepenuhnya dilepaskan dari lingkungan intelektual kelompok itu. ( sumber: https://en.wikipedia.org/wiki/L._E._J._Brouwer)

    ReplyDelete
  13. Ahmad Wafa Nizami
    16709251065
    S2 Pendidikan Matematika D

    Saya akan sedikit membahasa tentanag Logika intuisi, yang kadang-kadang lebih umum disebut logika konstruktif, mengacu pada sistem logika simbolis yang berbeda dari sistem yang digunakan untuk logika klasik dengan lebih dekat mencerminkan konsep bukti konstruktif. Secara khusus, sistem logika intuisi tidak memasukkan hukum eliminasi negasi dan negasi yang dikecualikan, yang merupakan aturan inferensi mendasar dalam logika klasik.
    Logika intuisi yang diformalkan awalnya dikembangkan oleh Arend Heyting untuk memberikan dasar formal untuk program intuisi Brouwer. Dari perspektif proof-theoretic, kalkulus Heyting adalah pembatasan logika klasik di mana hukum penghapusan eliminasi tengah dan ganda diabaikan. Penghapusan negasi eliminasi tengah dan ganda masih dapat dibuktikan untuk beberapa proposisi berdasarkan kasus per kasus, namun tidak berlaku secara universal seperti halnya logika klasik.

    ReplyDelete
  14. Cendekia Ad Dien
    16709251044
    PPs Pendidikan Matematika Kelas C 2016

    Pelopor dalam aliran intuisionisme adalah Luitzen Egbettus jan Brouwer (1881-1966). Aliran ini sejalan dengan filsafat umum dari Immanuel Kant (1724-1804). Intuisionis mengklaim bahwa matematika berasal dan berkembang dan berkembang di dalam pikiran manusia. Keberatan terhadap aliran ini adalah bahwa pandangan kaum intuisionis tidak memberikan gambaran tentang bagaimana matematika bekerja dalam pikiran (A. H. Fathani, 2012). Adapun cabang dari intuisionistik matematika ini diantaranya intusionistik logika, intuisionistik arimetika, intuisionistik teori jenis, intuisionistik teori himpunan, intuisionistik kalkulus.

    ReplyDelete
  15. Resvita Febrima
    16709251076
    P-Mat D 2016
    Intuisionisme adalah aliran filsafat dalam tradisi Kant bahwa semua pengetahuan manusia diawali oleh intuisi, menghasilkan konsep-konsep, dan diakhiri dengan ide-ide. Setidaknya untuk semua tujuan praktis, segala sesuatu, termasuk matematika, hanya ada dalam pikiran. Aliran Intuisionisme mulai dikembangkan sekitar 1908 oleh matematikawan Belanda L.J.W. Brouwer (1882-1966), meskipun beberapa ide awal intuisionisme diketahui telah ada, seperti yang
    dirumuskan Kronecker (1890-an) dan Poincare antara 1902-1906. L.E.J. Brouwer menyatakan bahwa matematika adalah kreasi pikiran manusia. Bilangan ibarat karakter dalam cerita dongeng, hanyalah entitas mental, yang tidak akan pernah ada, kecuali dalam pikiran manusia yang memikirkannya. Jadi, intuisionisme menolak keberadaan obyek-obyek dalam matematika.

    ReplyDelete
  16. Anwar Rifa’i
    PMAT C 2016 PPS
    16709251061

    Arrend Heyting menemukan bukti dalam pandangan Brouwer tentang kelaziman alat mental serta pemacu bahasa dan logika. Dalam bukunya berjudul Intuitionism tahun 1956, Heyting mengungkankan bahwa pendapat Bouwer yaitu bahasa adalah media tidak sempurna untuk membincangkan matematika. Sistem utamanya adalah dirinya sendiri sebagai peraturan pemacu matematika, tetapi tidak diyakini sistem utama pemacu matematika menggambarkan secara kuat penguasaan pemikiran matematika. Heyting menegaskan logika bergantung pada matematika bukan yang lain

    ReplyDelete
  17. Ardeniyansah
    16709251053
    S2 Pend. Matematika Kelas C_2016

    Assalamualaikum wr. . wb.
    Intuisionisme adalah suatu aliran filsafat yang menganggap adanya satu kemampuan tingkat tinggi yang dimiliki manusia, yaitu intuisi, intuisi adalah suatu sarana untuk mengetahui secara langsung dan seketika. Intusionis mengklaim bahwa matematika berasal dan berkembang di dalam pikiran manusia ketepatan dalil matematika tidak terletak pada simbol di atas kertas, tetapi terletak dalam akal pikiran manusia. Hukum-hukum matematika tidak ditemukan melalui pengamatan terhadap alam tetapi matematika ditemukan dalam pikiran manusia.

    ReplyDelete
  18. Annisa Hasanah
    16709251051
    PPs Pendidikan Matematika C 2016

    Filsuf Plato dan Aristoteles menganggap bahwa intuisi merupakan proses berpikir yang serupa dengan proses berpikir Tuhan. Intuisi dicirikan sebagai hasil berpikir yang: (1) tidak temporal (a-temporal) yaitu memiliki keputusan yang sulit berubah, (2) memandang keseluruhan objek dari pada bagian-bagian objek (grasps all at once), (3) tidak bersifat proposisional (non-propositional), (4) tidak bersifat representasional (non – representational), dan (5) karena ia dipandang serupa dengan proses berpikir Tuhan (God’s thought) maka intuisi dianggap tidak pernah salah (infallible).

    ReplyDelete
  19. Syaifulloh Bakhri
    16709251049
    S2 Pendidikan Matematika C 2016

    Assalamu’alaikum wr.wb.
    Intuisi penting dalam belajar matematika. Kita mengawali intuisi ketika materi pertama kali kita terima. Dengan intuisi kita akan dapat belajar lebih mudah pada tahap selanjutnya. Oleh karena itu, unsur intuisi sangat membantu kita dalam memahami matematika.

    ReplyDelete
  20. Sehar Trihatun
    16709251043
    S2 Pend. Mat Kelas C – 2016

    Dalam aliran atau pandangan intuisionisme, para intuisionis berpandangan bahwa segala sesuatu nya itu dapat dibuktikan kecual dua hal yang memiliki nilai yang berlawanan atau salah satunya merupakan negasi atau ingkaran yang lainnya hanya dibuktikan sekali saja terhadap salah satunya tidak harus kedua-duanya, hal ini dikarenakan pernyataan yang saling berlawanan tersebut sudah tentu terangkum dalam salah satu pernyataannya saja. Misalnya, seorang intusionis ketika berkata mengenai A dan B, mereka dapat menyatakan bahwa baik A dan B juga dapat dibuktikan. Tetapi berbeda halnya dengan A dengan inggkarannya atau negasinya yaitu bukan A.

    ReplyDelete
  21. Heni Lilia Dewi
    16709251054
    PPs Pendidikan Matematika Kelas C 2016

    Pada dasarnya, matematika dan konsepnya lahir karena intuisi. Intuisi menuntun manusia untuk berpikir, terutama berpikir kritis dan kreatif. Saya menyoroti salah satu filsuf paham intuisi yaitu Brouwer. Menurut Brouwer, dasar dari Intuisionisme adalah pikiran.[Namun, pemikiran-pemikiran yang dicetuskannya banyak dipengaruhi oleh pandangan Immanuel Kant.Matematika didefinisaikan oleh Brouwer sebagai aktivitas berfikir secara bebas, namun matematika adalah suatu aktivitas yang ditemukan dari intusi pada saat tertentu.Pandangan intuisionisme adalah tidak ada realisme terhadap objek dan tidak ada bahasa yang menghubungi sehingga boleh dikatakan tiak ada penentu kebenaran matematika di luar aktivitas berpikir.Proposisi hanya berlaku ketika subjek dapat dibuktikan kebenarannya. Kesimpulannya, Brouwer mengungkapkan bahwa tiada kebenaran tanpa dilakukan pembuktian.

    ReplyDelete
  22. Windi Agustiar Basuki
    16709251055
    S2 Pend. Mat Kelas C – 2016

    Intuisi sebagai dasar matematika , menurut Immanuel Kant pemahaman maupun konstruksi matematika diperoleh dengan cara terlebih dulu menemukan intuisi murni pada akal atau pikiran kita. Seperti halnya pada tahap pemikiran intuitif, anak-anak mulai menggunakan penalaran primitif dan ingin tahu jawaban atas semua bentuk pertanyaan. Biasanya anak tampak begitu yakin tentang pengetahuan dan pemahaman mereka, tetapi belum begitu sadar bagaimana mereka tahu apa yang mereka ketahui itu.

    ReplyDelete
  23. Luki Slamet Purwoko
    14301241008
    S1 Pendidikan Matematika I 2014

    Berdasarkan philosophybasics.com, intuitionism adalah pendekatan dalam logika dan filsafat matematika yang menganggap matematika sebagai aktivitas mental konstruktif manusia. Dengan demikian, logika dan matematika tidak terdiri dari aktivitas analitik dimana sifat eksistensi dalam terungkap dan diterapkan, namun penerapannya adalah metode yang konsisten secara internal untuk mewujudkan konstruksi mental yang lebih kompleks.

    ReplyDelete
  24. Muh Ferry Irwansyah
    15709251062
    Pendidikan Matematika PPS UNY
    Kelas D
    Cabang intuitionistic matematika yaitu logika intuitionistic, aritmatika intuitionistic, teori tipe intuitionistic, menetapkan teori intuitionistic dan kalkulus intuitionistic. Pada Logika intuitionistic, logika konstruktif merupakan sistem logika simbolik yang berbeda dari logika klasik yang mengganti konsep kebenaran tradisional dengan konsep provability konstruktif. Teori tipe intuitionistic yang juga dikenal sebagai teori tipe konstruktif, atau teori tipe Martin-LOF adalah jenis teori dan landasan alternatif matematika berdasarkan prinsip-prinsip konstruktivisme matematika. Jenis teori intuitionistic diperkenalkan oleh Per Martin-LOF, seorang matematikawan Swedia dan filsuf, pada tahun 1972.

    ReplyDelete
  25. Ratih Eka Safitri
    16709251059
    PPs Pendidikan Matematika C 2016

    Intuitionism juga menolak abstraksi dari infinity yang sebenarnya. Menurut Arend Heyting, matematika adalah produksi dari pikiran manusia; ia mengklaim intuitionism yang mengklaim proposisi matematika mewarisi kepastian mereka dari pengetahuan manusia yang didasarkan pada pengalaman empiris. Bold menyatakan bahwa sejak, infinity tidak bisa dipakai, intuisionis menolak untuk mendorong penerapan matematika di luar infinisitas; Heyting menyatakan adanya keyakinan terhadap transendental, yang tidak didukung oleh konsep, dan harus ditolak sebagai alat bukti matematika. Demikian pula, Bold menemukan bahwa Hilbert menulis bahwa untuk kesimpulan logis yang dapat diandalkan itu harus memungkinkan untuk untuk dilakukannya survei terhadap kebenaran obyek dan bagian-bagiannya, karena tidaklah ada survei untuk infinity yang dapat disimpulkan dengan hanya mengandalkan pada sistem yang terbatas.

    ReplyDelete
  26. Lihar Raudina Izzati
    16709251046
    P. Mat C 2016 PPs UNY

    Intuisionisme adalah paham yang berlandaskan pikiran, berasal dan berkembang di dalam pikiran manusia sehingga tidak ada penentu kebenaran diluar aktivitas berpikir. Intuisionisme menunjukkan kecenderungan untuk mengutamakan intuisi dalam pengetahuan manusia. Umumnya para pembela pandangan ini melebih-lebihkan nilai pengetahuan intuitif. Disini yang dimaksud intuisi bukan intuisi dalam arti biasa, melainkan tindakan-tindakan pengetahuan yang lebih tinggi yang mendekati kesiapan dan kepenuhan intuisi rohani. Pendekatan semacam ini kurang lebih terjadi dalam individu-individu yang mendapat karunia yang tinggi. Namun demikian, sebagian besar intuisi ini mengandaikan keakraban dengan obyek dalam waktu lama dan melalui pertimbangan.

    ReplyDelete
  27. Kunny Kunhertanti
    16709251060
    PPs Pendidikan Matematika kelas C 2016

    Seorang intuisi mungkin tidak percaya bahwa sebuah pernyataan matematis memiliki arti yang sama dengan matematika klasik. Misalnya, untuk mengatakan A atau B, kepada intuisi, adalah mengklaim bahwa salah satu dari A atau B dapat dibuktikan. Secara khusus, hukum yang dikecualikan tengah, A atau bukan A, dilarang karena orang tidak dapat berasumsi bahwa selalu mungkin untuk membuktikan pernyataan A atau negasinya.

    ReplyDelete
  28. Ahmad Bahauddin
    16709251058
    PPs P.Mat C 2016

    Assalamualaikum warohmatullahi wabarokatuh.
    Intuitionism (atau Neo-Intuitionism) adalah pendekatan dalam Logika dan Filsafat Matematika yang menganggap matematika sebagai aktivitas mental konstruktif manusia (berlawanan dengan pandangan Realisme Matematika bahwa kebenaran matematis bersifat objektif, dan bahwa entitas matematika ada secara independen dari manusia pikiran). Dengan demikian, logika dan matematika tidak terdiri dari aktivitas analitik dimana sifat eksistensi dalam terungkap dan diterapkan, namun penerapannya adalah metode yang konsisten secara internal untuk mewujudkan konstruksi mental yang lebih kompleks.

    ReplyDelete
  29. Wahyu Berti Rahmantiwi
    PPs Pendidikan Matematika Kelas C 2016
    16709251045

    Intuisi atau pengalaman seseorang. Intuisi menolak abstraksi dari tak terhingga dengan kata lain intuisi tidak menganggap benda benda tak terbatas seperti himpunan semua bilangan natural atau urutan bilangan rasional. Matematika intuisi dibedakan menjadi Logika intuitionistik, Aritmatika intuitionistik. Teori tipe intuitionistik, Teori set intuisiistik dan Kalkulus intuitif. Yang kesemuanya akan membentuk pengalaman matematika setiap individu. Intuisi tidak hanya dibutuhkan dalam matematika, tetapi juga dibutuhkan dalam pembelajaran matematika, karena dengan intuisi siswa akan lebih mudah dalam menyelesaikan masalah yang diberikan guru.

    ReplyDelete