Teori Pembuktian: Sebuah Kajian Pembuktian dengan Logika, Filsafat, Semantik dan Aljabar

BENDA apa itu Teori Pembuktian?  Teori Pembuktian mungkin sangat asing di Indonesia dikarenakan topik yang satu ini lebih booming di negara seberang dibanding negara sendiri. Apalagi di Indonesia ilmu logika matematika lebih diteliti dalam segi penerapannya dibanding perluasan teorinya, juga sangat jarang matematikawan Indonesia yang berkecimpung di cabang Landasan Matematika, padahal di negeri seberang ilmu seperti Teori Pembuktian...

Read More

Bukti Formal V.S. Bukti Informal

Pernahkah anda (khususnya mahasiswa matematika atau mereka yang pernah ikut olimpiade matematika) disuruh membuktikan suatu teorema matematika? PASTINYA! Kalo gak pernah saya ragu kalau anda adalah mahasiswa matematika :D Ya, melakukan pembuktian adalah suatu hal yang rutin dilakukan oleh para mahasiswa matematika pada umumnya, karena (menurut saya) hal itu akan melatih pola berfikir sebagai calon matematikawan. Bukan matematikawan sejati...

Read More

Mengenai Argumen: Suatu Pendahuluan Logika Simbolik

sumber: blogs.ubc.ca Misalkan saya memiliki sebuah pernyataan seperti berikut: Saya percaya bahwa...         ... Soekarno adalah salah satu presiden Indonesia.         ... Hukum fisika mengenai kelembaman ditemukan oleh Newton.         ... Dunia sedang mengalami gejala pemanasan global. Saya rasa hampir semua orang setuju dengan pernyataan saya. Jelas bahwa Soekarno adalah...

Read More