{"id":1615,"date":"2012-11-22T09:48:29","date_gmt":"2012-11-22T01:48:29","guid":{"rendered":"http:\/\/www.asasi.my\/?p=1615"},"modified":"2012-11-22T09:49:27","modified_gmt":"2012-11-22T01:49:27","slug":"matematik-formal-sepintas-lalu","status":"publish","type":"post","link":"https:\/\/www.asasi.org.my\/?p=1615","title":{"rendered":"Matematik Formal Sepintas Lalu"},"content":{"rendered":"<p style=\"text-align: center;\"><strong>Matematik Formal Sepintas Lalu<\/strong><br \/>\nMuhammad Ikhwan Azlan<br \/>\nikhwane02a@yahoo.co.uk<\/p>\n<p><strong>1 Pengenalan<\/strong><br \/>\nApakah yang dimaksudkan dengan matematik formal? Secara ringkas, matematik formal ialah pengungkapan pernyataan matematik dengan menggunakan ungkapan yang terdapat dalam teori set dan didasari oleh logik boole. Walaupun secara amalinya, matematik yang ada sekarang ini pun tidaklah semuanya diungkapkan secara formal, tetapi ini adalah atas kepercayaan bahawa pemformalan ini boleh dilakukan sekiranya perlu (misalnya jika berlaku perselisihan atas pembuktian satu teorem yang subtle dan rumit). Malah, pemformalan selalunya dianggap tidak perlu memandangkan selalunya ayat biasa berupaya memberi intuisi yang lebih jelas berbanding\u00a0ayat yang terlalu formal. Walaupun begitu, \\jelas&#8221; di sini selalunya bermaksud \\jelas sesama matematikawan&#8221; sedangkan mungkin tidaklah begitu jelas bagi mereka yang tidak biasa dengan cara matematikawan menjelaskan sesuatu perkara. Akhirnya matematik formal inilah yang dianggap sebagai matematik dalam bentuknya yang paling murni, seperti yang dianuti oleh fahaman logikisme dan formalisme.<\/p>\n<p><strong>2 Logik dan Kebenaran<\/strong><\/p>\n<p>Dalam pembentangan lepas yang bertajuk \\Matematik dan Pencarian Kebenaran&#8221;, saudara Tau_k telah berterus-terang menyatakan bahawa beliau dengan sengaja tidak menyentuh dengan mendalam makna \\ kebenaran&#8221; itu sendiri. Namun, akhirnya kita sendiri mendapati bahawa perbincangan yang bermakna tidak dapat dilanjutkan sekiranya kita tidak sekurang-kurangnya\u00a0menjelaskan sifat kebenaran yang dibicarakan itu. <a href=\"http:\/\/www.asasi.org.my\/wp-content\/uploads\/2012\/11\/Ikhwan-Matematik_Formal_Sepintas_Lalu.pdf\">&lt;seterusnya&gt;<\/a><\/p>\n\n<!-- NgfbSharing::get_buttons content filter skipped: buttons_on_index not enabled -->\n","protected":false},"excerpt":{"rendered":"<p>Matematik Formal Sepintas Lalu Muhammad Ikhwan Azlan ikhwane02a@yahoo.co.uk 1 Pengenalan Apakah yang dimaksudkan dengan matematik formal? Secara ringkas, matematik formal ialah pengungkapan pernyataan matematik dengan menggunakan ungkapan yang terdapat dalam teori set dan didasari oleh logik boole. Walaupun secara amalinya, matematik yang ada sekarang ini pun tidaklah semuanya diungkapkan secara formal, tetapi ini adalah atas &#8230;<\/p>\n <a class=\"moretag\" href=\"https:\/\/www.asasi.org.my\/?p=1615\">[Baca teks penuh...]<\/a>","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[9],"tags":[],"class_list":["post-1615","post","type-post","status-publish","format-standard","hentry","category-c02-makalah"],"_links":{"self":[{"href":"https:\/\/www.asasi.org.my\/index.php?rest_route=\/wp\/v2\/posts\/1615","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.asasi.org.my\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.asasi.org.my\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.asasi.org.my\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.asasi.org.my\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1615"}],"version-history":[{"count":4,"href":"https:\/\/www.asasi.org.my\/index.php?rest_route=\/wp\/v2\/posts\/1615\/revisions"}],"predecessor-version":[{"id":1620,"href":"https:\/\/www.asasi.org.my\/index.php?rest_route=\/wp\/v2\/posts\/1615\/revisions\/1620"}],"wp:attachment":[{"href":"https:\/\/www.asasi.org.my\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1615"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.asasi.org.my\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1615"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.asasi.org.my\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1615"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}