Matematika logiko

Parto de serio pri
Scienco
Formalaj sciencoj Logiko Matematiko Matematika logiko Matematika statistiko Teoria komputila scienco
Fizikaj sciencoj Fiziko Klasika fiziko Moderna fiziko Aplikata fiziko Eksperimenta fiziko Teoria fiziko Komputada fiziko Termodinamiko Meĥaniko Solida meĥaniko Klasika meĥaniko Kontinuaĵa meĥaniko Reologio Meĥaniko de fluidaĵo Plasmo Atoma fiziko Fiziko de kondensita materio Kvantuma meĥaniko Nuklea fiziko Partikla fiziko Speciala relativeco Kvantuma kampa teorio Ĝenerala relativeco Kordoteorio Ĥemio Redoksa reakcio Alkemio Analiza kemio Astrokemio Biokemio Kristalografio Media kemio Manĝaĵokemio Geokemio Verda kemio Neorganika kemio Materiala inĝenierarto Molekula fiziko Nuklea kemio Organika kemio Fotokemio Fizika kemio Radiokemio Solidstata kemio Stereokemio Supermolekula kemio Surfacoscienco Teoria kemio Astronomio Astrofiziko Kosmologio Galaksiastronomio Planeda geologio Planedoscienco Stela astronomio Tersciencoj Meteorologio Klimatologio Ekologio Media scienco Geodezio Geologio Geomorfologio Geofiziko Glaciologio Hidrologio Limnologio Oceanografio Paleoklimatologio Paleoekologio Polenoscienco Pedologio Edafologio Fizika geografio Spaca scienco
Vivosciencoj Biologio Anatomio Astrobiologio Bioĥemio Biogeografio Biologia inĝenierarto Biofiziko Konduta neŭroscienco Biotekniko Botaniko Ĉelbiologio Konservobiologio Kriobiologio Disvolviĝ-biologio Ekologio Etnobiologio Etologio Evolubiologio) Genetiko (Enkonduko al genetiko) Gerontologio Imunologio Limnologio Marbiologio Mikrobiologio Molekula biologio Neŭroscienco Paleontologio Parazitologio Fiziologio Radiobiologio Edafo Sociobiologio Sistematiko Toksologio Zoologio
Sociaj sciencoj Antropologio Arkeologio Kriminologio Demografio Ekonomiko Edukado Internaciaj rilatoj Juro Lingvistiko Politika scienco Psikologio Sociologio Soci-ekonomia geografio
Aplikataj sciencoj Inĝenierarto Aerospaca scienco Agrikultura Biomedicina Kemia inĝenierarto Civila inĝenierarto Komputila scienco Komputika inĝenierarto Elektra inĝenierarto Fajroprotekto Genteĥniko Industria inĝenierarto Meĥanika inĝenierarto Milita inĝenierarto Mineja inĝenierarto Nuklea inĝenierarto Operacia esploro Programada inĝenierarto Robotiko TTT-inĝenierarto Sanscienco Biologia inĝenierarto Dentokuracado Epidemiologio Sankuracado Medicino Flegado Farmacio Socia laboro Veterinara medicino
Interfakeco Aplikata fiziko Artefarita intelekto Bioetiko Biokomputiko Biomedika inĝenierarto Biostatistiko Kognoscienco Kompleksaj sistemoj Komputada lingvoscienco Kulturaj sciencoj Kibernetiko Mediscienco Media socia scienco Mediaj studoj Etnaj studoj Evolua psikologio Forstado Sano Bibliotekscienco Matematika kaj teoria biologio Matematika fiziko Militistiko Retscienco Neurona inĝenierarto Neŭroscienco Sciencaj studoj Scienco, teĥnologio kaj socio Scienca modelado Semiotiko Sociobiologio Statistiko Sistemscienco Transdisciplino Urba planado TTT-sciencoj
Filozofio kaj historio de scienco Civitanoscienco Marĝenscienco Historio de scienco Filozofio de scienco Protoscienco Pseŭdoscienco Scienca libereco Scienca politiko Scienca metodo Teĥnoscienco
Ĝeneralaĵoj Kategorio
v • d • r

Matematika logiko estas fako de matematiko, kiu studas formalajn sistemojn el la vidpunkto bazita sur la konceptoj de pruvo kaj kalkulado kaj parenca kun la temaro pri fundamentoj de matematiko.

Kvankam la nomo sugestas, ke matematika logiko estas la logiko de matematiko, vere ĝi estas iom pli proksime al matematiko de logiko. Ĝi enhavas tiujn partojn de logiko, kiuj povas esti modelitaj matematike. Pli fruaj nomoj de la afero estis "simbola logiko" (en kontrasto al "filozofia logiko"), kaj "metalingvo de matematiko", kiu estas nun limigita kiel termino por iuj aspektoj de pruva teorio.