Metamatematika atau metalogika merupakan cabang dari logika yang berkaitan dengan kombinasi dan aplikasi simbol matematika. Metalogika juga berkaitan dalam penelusuran penalaran (pembuktian) teorema-teorema yang ada pada matematika.
Metalogika ini sendiri terdiri dari beberapa prinsip dasar yang pada umumnya berkaitan dengan bukti-bukti daari ketetapan dalam merumuskan suatu teorema.
Metalogika berkembang pada sekitar tahun 1800-an seiring dengan banyaknya usaha yang dilakukan matematikawan dalam merumuskan suatu teorema. Teorema itu sendiri diperoleh sebagai akibat dari aksioma yang tidak memerlukan pembuktian tersendiri.
Karena memiliki tingkat kesulitan yang tinggi, dalam merumuskan suatu teorema diperlukan usaha yang lama dan teliti sedemikian sehingga matematika pada saat itu dipandang sebagai suatu buku cerita atau novel. Sampai pada akhirnya,
Whitehead dan
Russel menerbitkan buku berjudul "
Principa Mathematica" sekitar tahun 1925. Sebagai contoh, ratusan halaman diperlukan untuk memperoleh suatu pernyataan sederhana seperti 1 + 1 = 2.
Sumber : Johanes, dkk. 2006.
Kompetensi Matematika. Jakarta: Yudhistira.
|
