Matematika logiko: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
LoMo600 (diskuto | kontribuoj) e disciplino > fako, branĉo, Pro la sama Kialo je 2019-10-03 |
Lingve redaktis la unuan alineon. Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo Altnivela poŝaparata redaktado |
||
Linio 1:
{{Scienco}}
'''Matematika logiko''' estas fako de [[matematiko]],
Kvankam oni supozu, 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]].
Linio 14:
Iuj bazaj verkoj estis la ''_Konceptnotacio'' (''_Begriffsschrift_'') de [[Gottlob Frege]], '''Studoj en Logiko''' de Charles _Peirce_, ''[[Principia Mathematica]]'' de [[Bertrand Russell]] kaj Alfred North Whitehead, kaj ''Pri Formale Nedecideblaj Propozicioj de Principia Mathematica kaj Rilataj Sistemoj'' de [[Kurt Gödel]].
-->
== Temoj en matematika logiko ==
|