Logika matematika adalah cabang dari logika matematika dan logika matematika berisi ilmu logika matematika dan penerapan ilmu ini di bidang lain di luar matematika. Logika matematika berkaitan erat dengan ilmu komputer dan logika filosofis.
Tema utama dalam logika matematika, termasuk kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem verifikasi formal. Logika matematika sering dibagi ke dalam cabang teori set, teori Model, teori rekursi, teori bukti dan matematika konstruktif. Bidang ini memiliki hasil logika dasar yang sama.
Matematika Sebagai Ilmu Pengetahuan
Carl Friedrich Gauss, menganggap dirinya sebagai “pangeran matematika”, dan mengatakan matematika sebagai “Ratu Ilmu”. Yang berarti bahwa spesialisasi yang sempit dalam ilmu alam adalah periode terakhir. Ketika salah satu ilmu pandangan terbatas pada dunia fisik, maka matematika, atau murni setidaknya matematika, bukanlah ilmu.
