Oct 13, 2012

The Un-stability Foundation of Mathematics: Litlangs’,Bold’s, Thomson’s and Posy’s Arguments




By Marsigit
Yogyakarta State University

Litlangs, 2004, confronted that Aristotle disagreed with Plato; according to Aristotle, forms were not entities remote from appearance but something which entered into objects of the world. Aristotle claimed that when we can abstract oneness or circularity, it does not mean that these abstractions represent something remote and eternal.


For Aristotle1 , mathematics was simply reasoning about idealizations; and he looked closely at the structure of mathematics, distinguishing logic, principles used to demonstrate theorems, definitions and hypotheses. Plato2 also reflected on infinity, perceiving the difference between a potential infinity e.g. adding one to a number ad infinitum and a complete infinity e.g. number of points into which a line is divisible. Bold, T., 2004, claimed that both the intuitionist and the formalist assured that mathematics are just inventions and do not inform us with anything about the world; both take this approach to explain the absolute certainty of mathematics and reject the use of infinity. Bold3 noted that intuitionists admit this major similarity the formalist and note the difference as a disagreement on where mathematical exactness exist; the intuitionist says in the human intellect and the formalist says on paper. According to Arend Heyting 4, mathematics is a production of the human mind; he claimed that intuitionism claims mathematical propositions inherit their certainty from human knowledge that is based on empirical experience. Bold 5 maintained that since, infinity can not be experienced, the intuitionist refuses to push application of mathematics beyond finite; Heyting declared that faith in transcendental existence, unsupported by concepts, must be rejected as a means of mathematical proof. Similarly, Bold 6 found that Hilbert wrote that for logical inferences to be reliable it must be possible to survey these objects completely in their parts; since there is no such survey for infinity a reliable inference can only be based on a finite system. According to the formalists, the whole of mathematics consists of only arbitrary rules like those of chess.

Further, Bold, T., 2004, indicated that, on the other hand, the logicists came close to proving that mathematics was a branch of logic. According to Bold 7, the logisticians want to define mathematical concepts in terms of logical concepts and deduct mathematical propositions from logical axioms; as the basic elements of logic are sets and their properties, the logicists use sets to define mathematical concepts. Bold elaborated the following:

For example, the meaning of 0 is the class of all null sets, 1 is the class of all sets with 1 members, 2 is the class of all sets with a pair of members and etc. The problem of this definition is that it does not explain the concept of number 2. We need not a definition, but an explanation. “Number 2 is the class of all pairs” presupposes the concept of 2. Such definition is a mere construction of a formal system that is consistent with mathematics. It might be necessary or sufficient for the work on mathematical propositions, but it does not give us any insight into mathematical concepts. The most exciting parts of the logicist account hides in what Russell and Whitehead’s Principia Mathematica has to say about mathematical propositions and what Ramsey and Wittgenstein said about its flaws. However, the present paper is primarily on mathematical concepts only. “What is number?”, “What is infinity?” and “Why is the absolute certainty?” are the questions that are in need of philosophical interpretation. I am not holding a directly opposing position to these theories; at some points I agree with them. However, I will simply attempt to pick up where the above schools are unsatisfactory and offer a better account on the ensuing issues. 8

On the other hand, Posy, C., 1992, found that Hilbert actually put a structure on the intuitive part of mathematics, essentially that of finitary thought and formal systems; with Gödel's work. Thompson, P.,1993, argued that the Gödelian brand of Platonism, in particular, takes its lead from the actual experience of doing mathematics, and Gödel accounts for the obviousness of the elementary set-theoretical axioms by positing a faculty of mathematical intuition, analogous to sense-perception in physics, so that, presumably, the axioms 'force themselves upon us' much as the assumption of 'medium-sized physical objects' forces itself upon us as an explanation of our physical experiences. However, Thompson 9 stated that counterintuitive has acquired an ambiguous role in our language use that is when applied to a strange but true principle; counterintuitive can now mean anything on a continuum from intuitively false to not intuitively true, depending on the strength of the conjecture we would have been predisposed to make against it, had we not seen, and been won over by, the proof; and indeed, to our surprise, we often find out, in times of paradox, how weak and defeatable our ordinary intuitions are.

Thompson 10 claimed that the very idea that our intuitions should be both decisive and failsafe, derives historically from the maelstrom of senses which the term 'intuition' has acquired in a series of primitive epistemic theories in which some of these senses have been inherited from the large role introspection played in the indubitable bedrock of Cartesian-style philosophy, and some simply from the pervasiveness of out-moded theological convictions which seek to make certain modes of justification unassailable. On the other hand, Posy, C., 1992, insisted that Hilbert's formal system fits the theory of recursive functions. Posy 11 insisted that Brouwer was very much opposed to these ideas, especially that of formalizing systems; he even opposed the formalization of logic; Brouwer had a very radical view of mathematics and language's relationship. According to Brouwer 12, in language, we can communicate the output of mathematical construction, thus helping others recreate the mathematical experience; however, the proof itself is a pre-linguistic, purely conscious activity which is much more flexible than language. Brouwer thought formal systems could never be adequate to cover all the flexible options available to the creative mathematician; and thought that formalism was absurd. Posy 14 noted that, in particular, Brouwer 13 thought that it was crazy to think that codified logic could capture the rules for correct mathematical thought. Brouwer 15 showed particular rules of logic are inadequate with the most famous of the law of the excluded middle.

Thompson, P.,1993, noted that Brouwer that the common un-circumspect belief in the applicability of traditional logic to mathematics was caused historically; he next stated that by the fact that, firstly, classical logic was abstracted from the mathematics of subsets of a definite finite set, that, secondly, an a priori existence independent of mathematics was ascribed to this logic, and finally, on the basis of this suppositious apriority, it was unjustifiably applied to the mathematics of infinite sets. Furthermore, Posy, C., 1992, insisted that Brouwer hypothesized about the reason why philosophers and mathematicians included the law of the excluded middle; according to Brouwer, logic was codified when the scientific community was concerned only with finite objects. Brouwer 16 said that, considering only finite objects, the law of the excluded middle holds; however, a mistake was made when mathematics moved into the infinitary in which the rigid rules of logic were maintained without question. Brouwer 17 suggested that no rigid codification should come before the development of mathematics. Posy found that a second major distinction between Brouwer and Hilbert was that they disagreed on the position of logic in which Hilbert thought logic was an autonomous, finished science that could be freely applied to other mathematics, Brouwer argued that logic should only come after the mathematics is developed.

Litlangs, 2004, in his overview, insisted that profound questions of how varied of intellect faces difficulties in explaining mathematics internally i.e. their gaps, contradictions and ambiguities that lie beneath the most certain of procedures, leads to rough conclusion that mathematics may be no more logical than poetry; it is just free creations of the human mind that unaccountably give order to ourselves and the natural world. Litlangs 18 perceived that though mathematics might seem the clearest and most certain kind of knowledge we possess, there are problems just as serious as those in any other branch of philosophy about the nature of mathematics and the meaning of its propositions. Litlangs 19 found that Plato believed in forms or ideas that were eternal, capable of precise definition and independent of perception; among such entities Plato included numbers and the objects of geometry such as lines, points, circles, which were therefore apprehended not with the senses but with reason; he deals with the objects of mathematics with specific instances of ideal forms. According to Plato, as it was noted by Litlangs, since the true propositions of mathematics were true of the unchangeable relations between unchangeable objects, they were inevitably true that is mathematics discovered pre-existing truths "out there" rather than created something from our mental predispositions; and as for the objects perceived by our senses, they are only poor and evanescent copies of the forms.

Meanwhile, Litlangs, 2004, insisted that Leibniz brought together logic and mathematics; however, whereas Aristotle used propositions of the subject i.e. predicate form, Leibniz argued that the subject contains the predicate that is a view that brought in infinity and God. According to Leibniz 20, mathematical propositions are not true because they deal in eternal or idealized entities, but because their denial is logically impossible; they are true not only of this world, or the world of eternal forms, but of all possible worlds. Litlangs 21 insisted that unlike Plato, for whom constructions were adventitious aids, Leibniz saw the importance of notation, a symbolism of calculation, and so began what became very important in the twentieth century that is a method of forming and arranging characters and signs to represent the relationships between mathematical thoughts.

Litlangs, 2004, further stipulated that Immanuel Kant perceived mathematical entities as a-priori synthetic propositions, which of course provide the necessary conditions for objective experience; time and space were matrices, the containers holding the changing material of perception. According to Kant 22, mathematics was the description of space and time; if restricted to thought, mathematical concepts required only self-consistency, but the construction of such concepts involves space having a certain structure, which in Kant's day was described by Euclidean geometry. Litlangs 23 noted that for Kant, the distinction between the abstract "two" and "two pears" is about construction plus empirical matter; in his analysis of infinity, Kant accepted Aristotle's distinction between potential and complete infinity, but did not think the latter was logically impossible. Kant 24 perceived that complete infinity was an idea of reason, internally consistent, though of course never encountered in our world of sense perceptions. Litlangs further insisted that 25 Frege and Russell and their followers developed Leibniz's idea that mathematics was something logically undeniable; Frege used general laws of logic plus definitions, formulating a symbolic notation for the reasoning required. However, through the long chains of reasoning, these symbols became less intuitively obvious, the transition being mediated by definitions. Litlangs 26 noted that Russell saw them as notational conveniences, mere steps in the argument; while Frege saw them as implying something worthy of careful thought, often presenting key mathematical concepts from new angles. Litlangs 27 found that while in Russell's case the definitions had no objective existence, in Frege's case the matter was not so clear that is the definitions were logical objects which claim an existence equal to other mathematical entities. Litlangs 28 concluded that, nonetheless, Russell carried on, resolving and side-stepping many logical paradoxes, to create with Whitehead the monumental system of description and notation of the Principia Mathematica.

Meanwhile, Thompson, P.,1993, exposed the critical movement of Cauchy and Weierstrass to have been a caution or reserve over the mathematical use of the infinite, except as a façon de parler in summing series or taking limits, where it really behaved as a convenient metaphor, or mode of abbreviation, for clumsier expressions only involving finite numbers. Thompson 29 claimed that when Cantor came on the scene, the German mathematician Leopold Kronecker, who had already 'constructively' re-written the theory of algebraic number fields, objected violently to Cantor's belief that, so long as logic was respected, statements about the completed infinite were perfectly significant. According to Thompson 30, Cantor had further urged that we should be fully prepared to use familiar words in altogether new contexts, or with reference to situations not previously envisaged; Kronecker, however, felt that Cantor was blindly cashing finite schemas in infinite domains, both by attributing a cardinal to any aggregate whatsoever, finite or infinite, and worse still, in his subsequent elaboration of transfinite arithmetic. Thompson 31 insisted that although the interim strain on the intuition, at the time, was crucial to Euler's heuristic approach, this particular infinite detour had been analyzed out of his subsequent proofs of the result, which appeared almost 10 years after its discovery.

Thompson, P.,1993, clarified that Gödel's feeling is that our intuition can be suitably extended to a familiarity with very strongly axiomatic domains, such as extensions of ZF, or calculus on smooth space-time manifolds, thereby providing us with backgrounds for either accepting or rejecting hypotheses independently of our pre-theoretic prejudices or preconceptions about them. Thompson 32 indicated that the general reccursiveness, as in the Gödel and Herbrand sense, with regard to their claims to be collectively demarcating the limits of intuitive computability, is a feature of this particular problem that it is susceptible to a diversity of equally restrictive intuitive re-characterizations, whose unexpected confluence gives each of them a strong intuitive recommendation and this confluence turns out to be a surprisingly valuable asset in appraising our rather more recondite extensions of our intuitive concepts. Thompson 33 concluded that Gödel,34 with his basic trust in transcendental logic, likes to think that our logical optics is only slightly out of focus, and hopes that after some minor correction of it, we shall see sharp, and then everyone will agree that we are right; however, he who does not share such a trust will be disturbed by the high degree of arbitrariness in a system like Zermelo's, or even in Hilbert's system. Thompson 35 suggested that Hilbert will not be able to assure us of consistency forever; therefore we must be content if a simple axiomatic system of mathematics has met the test of our mathematical experiences so far.

References:

1Litlangs, 2004, Math Theory, Poetry Magic: editor@poetrymagic.co.uk
2Ibid.
3Bold, T., 2004, Concepts on Mathematical Concepts, http://www.usfca.edu/philosophy/ discourse/8/bold.doc
4Ibid.
5Ibid.
6Ibid.
7Ibid.
8Ibid.
9Ibid.
10Ibid.
11Posy, C., 1992, Philosophy of Mathematics, http://www.cs.washington.edu/ homes/ gjb.doc/philmath.htm
12Ibid.
13Ibid.
14Ibid.
15Ibid.
16Ibid.
17Ibid.
18Litlangs, 2004, Math Theory, Poetry Magic: editor@poetrymagic.co.uk
19Ibid.
20Ibid.
21Ibid.
22Ibid.
23Ibid.
24Ibid.
25Ibid.
26Ibid.
27Ibid.
28Ibid.
29Thompson, P.,1993, The Nature And Role Of Intuition In Mathematical Epistemology, University College, Oxford University, U.K
30Ibid.
31Ibid.
32Ibid.
33Ibid.
34Ibid
35Ibid.

20 comments:

  1. Agnes Teresa Panjaitan
    S2 Pendidikan Matematika A 2018
    18709251013

    Pemahaman saya akan argumen yang dikemukan oleh Litlangs, bolds, dan thomson dan posy diatas memberikan berbagai macam sudut pandang yang menarik tentang matematika. Seperti apa yang coba dikemukan oleh Bold mengenai konsep infinitas bahwa para intuisionis dan para formalis percaya bahwa matematika adalah ciptaan yang tidak menginformasikan apapun tentang dunia, sejalan dengan apa yang dikemukakan oleh bold, heyning bahwa konsep infitinas yang tidak terkonsep dapat ditolak secara matematika. Pemaparan konsep oleh Litbang, dkk yang berisi pro dan kontra atas konsep infinitas dalam matematika menunjukkan bahwa untuk memunculkan aksioma matematika terdapat sejarah panjang sebelumnya.

    ReplyDelete
  2. Anggoro Yugo Pamungkas
    18709251026
    S2 Pend.Matematika B 2018

    Assalamualaikum Warahmatullahi Wabarakatuh.
    Berdasarkan artikel diatas, Thompson, P., 1993, mencatat bahwa pandangan Brouwer yang menunjukkan aturan tertentu bahwa logika tidak memadai untuk mengembangkan metode berpikir dengan menunjuk hukum tengah yang dikecualikan. Hal itu dikarenakan kepercayaannya tentang penerapan logika tradisional ke matematika merupakan fenomena sejarah, ia selanjutnya menyatakan bahwa oleh fakta. Pertama, logika klasik disarikan dari matematika yang merupakan himpunan dari himpunan maka pastilah terbatas. Kedua, eksistensi apriori independen dari matematika dianggap berasal dari logika. Yang terakhir, atas dasar bahwa keyakinan apriori, maka logika tidak dibenarkan diterapkan pada matematika.

    ReplyDelete
  3. Ibrohim Aji Kusuma
    18709251018
    S2 PMA 2018

    Litlangs menyatakan bahwa bahwa Aristoteles tidak setuju dengan Plato; menurut Aristoteles, bentuk yang tidak jauh dari entitas penampilan tetapi sesuatu yang masuk ke obyek dunia. Aristoteles menyatakan bahwa saat kita menemui sesuatu sesuatu yang abstrak , itu tidak berarti bahwa abstraksi ini merupakan sesuatu yang jauh dan abadi. Dengan matematika kita bisa memecahkan konsep yang abstrak tersebut meskipun tidak semua.

    ReplyDelete
  4. Diana Prastiwi
    18709251004
    S2 P. Mat A 2018

    Menurut Litlangs, ia tidak setuju dengan pernyataan Aristotel yang menolak pernyataan Plato bahwa menurut Aristotel bentuk itu entitas tidak terpisah dari penampakannya tetapi sesuatu yang termasuk dalam objek di dunia ini. Aristoteles juga menyatakan bahwa matematka adalah alasan sederhana tentang sebuah proses idealisasi. Sedangkan Bold mengindikasikan bahwa matematika adalah salah satu cabang dari logika. Bisa dilihat dari aksioma sebagai unsur dasar logika.Thompson menyatakan bahwa intuisi kita harus bersifat menentukan karena sifat dasar intuisi itu sendiri. Berbeda dengan thompson bahwa posy menyatakan bahwa matematika bagian penting dari berfikir. dari ahli yag menyatakan ketidakstabilan matematika tersebut adalah bentuk hal yang harus diketahui oleh para pembelajar agar tahu ilmu ketidakstabilan itu sendiri.

    ReplyDelete
  5. Luthfannisa Afif Nabila
    18709251031
    S2 Pendidikan Matematika B 2018
    Assalamu'alaikum Warohmatullohi Wabarokatuh.
    Dari artikel diatas dikatakan bahwasanya Thompson menyimpulkan bahwa Gödel, dengan kepercayaan dasar dalam logika transendental, suka berpikir bahwa optik logis kita hanya sedikit tidak fokus, dan berharap bahwa setelah beberapa koreksi kecil itu, kita akan melihat tajam, dan kemudian semua orang akan setuju bahwa kami benar. Namun, orang yang tidak berbagi kepercayaan seperti itu akan terganggu oleh tingkat kesewenang-wenangan yang tinggi dalam sistem seperti Zermelo, atau bahkan dalam sistem Hilbert. Thompson menyarankan bahwa Hilbert tidak akan dapat meyakinkan kita tentang konsistensi selamanya. Oleh karena itu kita harus puas jika sistem matematika aksiomatik sederhana telah memenuhi ujian pengalaman matematika kita sejauh ini. Dari pernyataan tersebut, saya sependapat dengan Thompson bahwasanya Hilbert tidak akan dapat meyakinkan kita mengenai konsitensi selamanya. Seperti kita ketahui bersama dari elegi-elegi yang sudah kita baca bahwasanya kekonsistenan itu milik kaum Logicist-Formalist. Mereka mengedepankan kekonsitenan struktur matematika diciptakan dan dikembangkan versi mereka. Sehingga sistem matematika yang telah mereka tunjukkan konsitensinya masih separuh dari hal yang ada dan yang mungkin ada dalam matematika atau dengan kata lain baru separuh dunia yaitu dunia yang terbebas dari ruang dan waktu. Padahal sistem matematika akan terbangun utuh apabila telah memahami hakekat dari separuh dunia lainnya yaitu dunia yang terikat oleh ruang dan waktu.
    Wassalamu'alaikum Warohmatullohi Wabarokatuh.

    ReplyDelete
  6. Bayuk Nusantara Kr.J.T
    18701261006

    Pandangan Litlang, Bold, Thomson, and Posy mengenai matematika saling berbenturan satu sama lain. Mereka memiliki pandangan sendiri akan struktur yang terdapat dalam matematika. Itulah matematika yang memiliki sifat yang tidak tunggal dan tidak tertutup

    ReplyDelete
  7. Fany Isti Bigo
    18709251020
    PPs UNY PM A 2018


    Artikel The Un-stability Foundation of Mathematics: Litlangs’,Bold’s, Thomson’s and Posy’s Arguments mengemukakan pandangan-pandangan dan perdebatan para ahli mengenai intuisi matematika, logika matematika, pembuktian aksioma dan teorema-teorema matematika. Dari pandangan berbagai ahli yang disebutkan dalam artikel ini saya tertarik dengan pendapat kant yang mengemukakan bahwa matematika adalah gambaran ruang dan waktu; jika terbatas pada pemikiran, konsep-konsep matematika yang diperlukan hanya diri konsistensi, namun pembangunan konsep tersebut melibatkan ruang yang memiliki struktur tertentu, yang pada hari Kant digambarkan oleh geometri Euclidean. Hal ini berarti pula bahwa Cakupan matematika sebagai suatu mata pelajaran memang sangat luas. Kemampuan matematika bukan hanya sekedar kemampuan berhitung atau menggunakan rumus, akan tetapi mencakup beberapa kompetensi yang menjadikan siswa tersebut mampu memahami tentang konsep dasar dari matematika.

    ReplyDelete
  8. Seftika Anggraini
    18709251016
    S2 PM A 2018

    Matematika merupakan deskripsi ruang dan waktu. Matmematika juga mengandung konsep-konsep tertentu. Konsep-konsep tersebut dibangun beserta ruang dan waktunya. Kebenaran dalam matematika seperti kebenaran dalam kehidupan, yaitu kebenaran yang bergantung dengan ruang dan waktunya.
    Terima kasih

    ReplyDelete
  9. Fabri Hidayatullah
    18709251028
    S2 Pendidikan Matematika B 2018

    Berdasarkan bacaan tersebut, Bold menyatakan bahwa logisisme datang untuk membuktikan bahwa matematika merupakan cabang dari logika. Menurutnya, para pengikut logisme ingin mendefinisikan konsep matematis dalam konsep berdasarkan logika dan menyimpulkan proposisi matematika dari aksioma berdasarkan logika. Elemen dasar dari elemen logika adalahserangkaian sifat-sifatnya. Sementara Thompson menyatakan bahwa intuisi kita merupakan pasti sekaligus salah.

    ReplyDelete
  10. Dini Arrum Putri
    18709251003
    S2 P Math A 2018

    Matematika didasari dengan konsep konsep yang berlandaskan dengan logika. Membutuhkan pembuktian untuk mengungkap kebenarannya sama dengan filasafat karena itu matematika sangat berkaitan dengan filasafat, konsep konsep matematika pun juga dibangun berdasarkan logika, logika yang sesuai dengan ruang dan waktunya.

    ReplyDelete
  11. Amalia Nur Rachman
    18709251042
    S2 Pendidikan Matematika B UNY 2018

    Dari artikel di atas, Thompson menjelaskan bahwa pernyataan Gödel merupakan intuisi yang mencakup domain aksiomatik, seperti ekstensi dari ZF, atau kalkulus pada manifold ruang-waktu. Hal demikian memberikan latar belakang yang baik untuk menerima atau menolak hipotesis secara independen dari prasangka pra-teori Litlangs, Bolds, dan Posy atau prasangka tentang mereka

    ReplyDelete
  12. Assalamu Alaikum Warohmatullahi Wabarokatuh
    Besse Rahmi Alimin
    18709251039
    S2 Pendidikan Matematika 2018

    Terkait topik bahasan mengenai The Un-stability Foundation of Mathematics: Litlangs’,Bold’s, Thomson’s and Posy’s Arguments bahwa matematika hanyalah alasan tentang idealisasi; dan dia mengamati struktur matematika, logika pembeda, prinsip-prinsip yang digunakan untuk menunjukkan teorema, definisi, dan hipotesis. serta pernyataan lainnya mengenai intuitionism mengklaim proposisi matematika mewarisi kepastian mereka dari pengetahuan manusia yang didasarkan pada pengalaman empiris. kesimpulan yang dapat diandalkan hanya dapat didasarkan pada sistem yang terbatas. Menurut para formalis, seluruh matematika hanya terdiri dari aturan acak seperti catur.
    Terima Kasih
    Wassalamu Alaikum Warohmatullahi Wabarokatuh

    ReplyDelete
  13. Assalamu Alaikum Warohmatullahi Wabarokatuh
    Besse Rahmi Alimin
    18709251039
    S2 Pendidikan Matematika 2018
    Selanjutnya dikatakan juga bahwa proposisi matematika tidak benar karena mereka berurusan dengan entitas abadi atau ideal, tetapi karena penolakan mereka secara logis tidak mungkin; mereka tidak hanya benar dari dunia ini, atau dunia dari bentuk kekal, tetapi dari semua dunia yang mungkin. Serta karakterisasi, yang pertemuannya yang tak terduga memberi mereka masing-masing rekomendasi intuitif yang kuat dan pertemuan ini ternyata menjadi aset yang sangat berharga dalam menilai perluasan konsep intuitif kami yang agak lebih direkondisi.
    Terima Kasih
    Wassalamu Alaikum Warohmatullahi Wabarokatuh

    ReplyDelete
  14. Assalamu Alaikum Warohmatullahi Wabarokatuh
    Besse Rahmi Alimin
    18709251039
    S2 Pendidikan Matematika 2018
    Seperti yang dikatakan oleh saudari Nabila bahwa "sistem matematika akan terbangun utuh apabila telah memahami hakekat dari separuh dunia lainnya yaitu dunia yang terikat oleh ruang dan waktu", makasud dari pernyataan tersebut sepertinya mengarah pada aplikasi dan sumber belajar ilmu pengetahuan matematika dikonsepkan ada di mana-mana.
    Terima Kasih
    Wassalamu Alaikum Warohmatullahi Wabarokatuh

    ReplyDelete
  15. Assalamu Alaikum Warohmatullahi Wabarokatuh
    Besse Rahmi Alimin
    18709251039
    S2 Pendidikan Matematika 2018
    Seperti yang dikatakan oleh Dini bahwa "Matematika didasari dengan konsep konsep yang berlandaskan dengan logika. Membutuhkan pembuktian untuk mengungkap kebenarannya sama dengan filasafat karena itu matematika sangat berkaitan dengan filasafat, konsep konsep matematika pun juga dibangun berdasarkan logika, logika yang sesuai dengan ruang dan waktunya". dari pernyataan tersebut sepertinya mengarah pada adanya relasi antara matematika dengan filsafat.

    ReplyDelete
  16. Nur Afni
    18709251027
    S2 Pendidikan Matematika B 2018

    Assalamualaikum warahmatullahi wabarakatuh.
    Thompson menyatakan bahwa gagasan bahwa intuisi kita harus menentukan dan juga gagal, secara historis berasal dari pusaran indera yang diperoleh istilah 'intuisi' dalam serangkaian teori epistemik primitif di mana beberapa indera ini telah diwarisi dari Introspeksi peran besar dimainkan dalam landasan filosofi gaya-Cartesian yang tak dapat ditawar-tawar lagi, dan beberapa hanya dari merebaknya keyakinan-keyakinan teologis yang tidak termodernisasi yang berusaha membuat mode-mode pembenaran tertentu tidak dapat tersedia. terimakasih

    ReplyDelete
  17. Rosi Anista
    18709251040
    S2 Pendidikan Matematika B

    Thompson menyatakan fakta pertama bahwa logika klasik diabstraksikan dari matematika himpunan bagian dari himpunan terbatas tertentu, kedua suatu a priori yang independen dari matematika dianggap berasal dari logika ini, dan pada akhirnya berdasarkan prioritas supositif, namun hal tersebut tidak dapat diterapkan pada matematika dari himpunan yang tak terbatas.

    ReplyDelete
  18. Janu Arlinwibowo
    18701261012
    PEP 2018

    Matematika merupakan suatu ilmu yang muncul dikarenakan adanya berbagai masalah di dunia. Dalam aplikasinya matematika didominasi oleh olah pikir manusia sebagai wujud dari suatu logika atau pikiran logis. Hal tersebut senada dengan pengikut Plato yang menyuarakan bahwa matematika merupakan ilmu logis yang terstruktur. Matematikan merupakan suatu representasi dari keberadaan ruang dan waktu dimana keberadaanya dituntut untuk selalu konsisten.

    ReplyDelete
  19. Jewish Van Septriwanto
    19709251077
    S2 Pendidikan Matematika 2019 kelas D

    Terima kasih prof untuk tulisan ini,Pemahaman saya akan argumen yang dikemukan oleh Litlangs, bolds, dan thomson dan posy diatas memberikan berbagai macam sudut pandang yang menarik tentang matematika. Seperti apa yang coba dikemukan oleh Bold mengenai konsep infinitas bahwa para intuisionis dan para formalis percaya bahwa matematika adalah ciptaan yang tidak menginformasikan apapun tentang dunia, sejalan dengan apa yang dikemukakan oleh bold, heyning bahwa konsep infitinas yang tidak terkonsep dapat ditolak secara matematika. Pemaparan konsep oleh Litbang, dkk yang berisi pro dan kontra atas konsep infinitas dalam matematika menunjukkan bahwa untuk memunculkan aksioma matematika terdapat sejarah panjang sebelumnya.

    ReplyDelete
  20. Hima Naili Hidayah
    19701251004
    PEP A 2019

    Matematika merupakan salah satu ilmu yang selalu bersinggungan dan adadi sekitar kita, baik disadari atau tidak. Jadi diperlukan pembelajaran logis dan terkonek dengan dunia sekitar agar termaknai dan terpahami. Hal ini sesuai dengan aliran Plato yang berpendapat bahwa matematika adalah ilmu yang logis.

    ReplyDelete