Logik matematik

Logik Matematik (juga dikenali sebagai logik simbolik) ialah sub-bidang matematik yang berkait rapat dengan sains komputer dan logik falsafah. Bidang ini meliputi kajian matematik tentang logik dan aplikasi logik formal ke dalam bidang matematik yang lain. Tema utama dalam logik matematik merangkumi kajian daya ekspresif sistem formal dan kekuatan deduktif daripada sistem-sistem pembuktian formal.

Logik matematik sering dibahagikan kepada bidang teori set, teori model, teori rekursi, dan teori bukti. Kesemua bidang ini berkongsi keputusan asas logik, terutamanya logik tertib pertama, dan set yang boleh didefinasikan. 

Sejak awal lagi, logik matematik telah menyumbang, dan telah termotivasi oleh, pengkajian dasar-dasar matematik. Proses ini bermula pada akhir abad ke-19 dengan pembangunan rangka aksiom untuk geometri, aritmetik, dan analisis. Pada awal abad ke-20, ia dibentuk oleh atur cara David Hilbert untuk membuktikan konsistensi teori asas. Hasil kajian Kurt Gödel, Gerhard Gentzen, dan lain-lain telah memberikan resolusi separa untuk program ini, dan mengklarifikasi isu yang terlibat dalam membuktikan konsistensi. Kajian dalam teori set menunjukkan bahawa hampir semua matematik biasa dapat diformalkan dalam set, walaupun ada beberapa teorem yang tidak dapat dibuktikan dalam sistem aksiom umum untuk teori set. Kajian kontemporari dalam dasar-dasar matematik sering memberi fokus pada pembentukan bahagian mana dalam matematik yang boleh diformalkan dalam sistem formal tertentu, daripada cuba mencari teori yang dapat mengembangkan matematik.

Pautan luar
 Logic and set theory around the world
 Polyvalued logic
 forall x: an introduction to formal logic, oleh P.D. Magnus, ialah sebuah buku teks percuma.
 A Problem Course in Mathematical Logic, oleh Stefan Bilaniuk, ialah sebuah lagi buku teks percuma.
 Detlovs, Vilnis, and Podnieks, Karlis (University of Latvia) Introduction to Mathematical Logic. Sebuah buku teks hiper.
Stanford Encyclopedia of Philosophy:  Classical Logic – oleh Stewart Shapiro.
Stanford Encyclopedia of Philosophy: First-order Model Theory  – oleh Wilfrid Hodges.
London Philosophy Study Guide menawarkan pelbagai cadangan bacaan yang bergantung kepada pengetahuan pelajar mengenai mata pelajaran tersebut:
Mathematical Logic 
Set Theory & Further Logic 
Philosophy of Mathematics

Rujukan

Logik