|
'''Matematika logiko''' estas disciplino de [[matematiko]], studantapor studi [[Formala sistemo|formalajn sistemojn]] en maniero de konceptoj de [[Matematika pruvo|pruvo]] kaj [[kalkulado]] kiel partoj de la [[fundamentoj de matematiko]].
Kvankam la oni povas opinii, 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 "signa logiko" (en kontraŭo al "filozofia logiko"), kaj "[[metalingvo]] de matematiko", kiu estas nun limigita kiel termino por iuiuj aspektoj de [[pruva teorio]].
<!--
==Historio==
''Matematika logiko'' estis la nomo donita per [[Giuseppe Peano]] al tio, kio estas ankaŭ sciatakonata kiel signa logiko. En _essentials_, ĝi estas ankoraŭ la logiko de [[Aristotelo]], sed de la punkto de vidovidpunkto de skribmanieraskribmaniero ĝi estas skribita kiel branĉo de [[abstrakta algebro]].
ProvasProvoj al (trakti, kuraci) la (operacioj, operacias)operaciojn de formala logiko en signa aŭ algebra vojomaniero estis faritafaritaj per iuiuj de la pliplej filozofiafilozofiaj (matematikistoj, matematikistas), kiel [[Gottfried Wilhelm Leibniz]] kaj _Lambert_; sed iliailiaj laborasverkoj restitarestis malgrandamalpli sciatakonataj kaj izolitaizolitaj. Ĝi estisEstis [[George Boole]] kaj tiamsekve Aŭgusto _De_ _Morgan_, meze de la dek-naŭa jarcento, kiu (surscenigis,prezentis enscenigita,sisteman prezentita) sistema matematikamatematikan (kompreneble ne-kvantecakvantecan) vojomanieron depor estimantaestimai logikologikon. La tradicia, _Aristotelian_ (ismo, doktrino) de Aristotelo pri logiko estis reformita kaj (plenumita, plenumis)kompletita; kaj el ĝi ellaborita (sufiĉa,ellaboriĝis adekvata) ilo por esplorantaesplori la [[FundamentojFundamentojn de matematiko|fundamentafundamentajn (konceptoj, konceptas)konceptojn de matematiko]]. Ĝi devus esti iluzia al diri (tiu, ke) la fundamenta (polemikoj, diskutoj, diskutas) (tiu, ke) estis vivanta en la (periodo, punkto) 1900–1925 havi ĉiuj estas kvitiĝita; sed [[filozofio de matematiko]] estis grande klarigita per la "nova" logiko.
Dum la tradicia evoluo de logiko (vidi [[listo de temoj en logiko]]) meti peza emfazo sur ''(formoj, formas) de (argumentoj, argumentas)'', la sinteno de aktuala matematika logiko povus esti sumita supren kiel ''la kombina studi de enhavo''. Ĉi tiu kovras ambaŭ la ''_syntactic_'' (ekzemple, sendanta linio de [[formala lingvo]] al [[Tradukilo|tradukila]] programo al skribi ĝi kiel vico de maŝino (komandoj, komandas, instrukcio)), kaj la ''semantiko'' (konstruanta specifa (modeloj, modelas) aŭ tutaj aroj de ilin, en [[modela teorio]]).
|
