Kiel registrite je 21:25, 20 mar. 2006 redakti Maksim-bot (diskuto \| kontribuoj) 201 405 redaktoj Neniu resumo de redakto		Kiel registrite je 09:52, 6 apr. 2006 redakti malfari Maksim (diskuto \| kontribuoj) Patrolantoj 34 175 redaktoj Neniu resumo de redakto Iru al sekvanta ŝanĝo →
Linio 1: '''Matematika logiko''' estas disciplino ende [[matematiko]], ~~studantaj~~studanta [[Formala sistemo\|~~formalaj~~formalajn ~~sistemoj~~sistemojn]] en ~~rilato~~maniero alde ~~la vojaj ili kodi intuicia (~~konceptoj~~, konceptas)~~ de [[Matematika pruvo\|pruvo]] kaj [[kalkulado]] kiel ~~parto~~partoj de la [[fundamentoj de matematiko]].▼ ~~{{polurinda movu\|Matematika logiko}}~~ ▲'''Matematika logiko''' estas disciplino en [[matematiko]], studantaj [[Formala sistemo\|formalaj sistemoj]] en rilato al la vojaj ili kodi intuicia (konceptoj, konceptas) de [[Matematika pruvo\|pruvo]] kaj [[kalkulado]] kiel parto de la [[fundamentoj de matematiko]]. Kvankam la _layperson_ (majo, povas) (opinii, pensi) (tiu, ke) matematika logiko estas la ''logiko de matematiko'', la vero estas iom (tiu, ke) ĝi pli proksime similas la ''matematiko de logiko''. Ĝi ampleksas tiuj (partoj, partas) de [[logiko]] (tiu, ke) povas esti modelita matematike. Pli fruaj nomoj estis signa logiko (kiel kontraŭ filozofia logiko), kaj _metamathematics_, kiu estas nun limigis kiel (termo, membro, flanko, termino) al iu (aspektoj, aspektas) de [[pruva teorio]].▼ ▲Kvankam la ~~_layperson_ (majo,~~oni povas) (opinii~~, pensi) (tiu,~~ ke) matematika logiko estas la ''logiko de matematiko'', lavere ~~vero~~ĝi estas iom ~~(tiu, ke) ĝi~~ pli proksime ~~similas la~~al ''matematiko de logiko''. Ĝi ~~ampleksas~~enhavas ~~tiuj~~tiujn ~~(partoj, partas)~~partojn de [[logiko]] ~~(tiu, ke)~~kiuj povas esti ~~modelita~~modelitaj matematike. Pli fruaj nomoj de la afero estis "signa logiko" (~~kiel~~en ~~kontraŭ~~kontraŭo al "filozofia logiko"), kaj ~~_metamathematics_~~"[[metalingvo]] de matematiko", kiu estas nun ~~limigis~~limigita kiel ~~(termo, membro, flanko,~~ termino) alpor iu (aspektoj~~, aspektas)~~ de [[pruva teorio]]. <!-- ==Historio== Linio 13 ⟶ 12: Iu mejloŝtono (eldonoj, eldonas) estita la ''_Begriffsschrift_'' per [[Gottlob FREGE]], Studoj en Logiko per Karlo _Peirce_, ''[[Principoj Mathematica]]'' per [[Bertrand RUSSELL]] kaj Alfreda Nordo _Whitehead_, kaj Sur Formale Nedecidebla (Propozicioj, Propozicias) de Principoj Mathematica kaj Rilatantaj Sistemoj per [[Kurt GÖDEL]]. --> ==Temoj en matematika logiko== La ~~ĉefa~~ĉefaj ~~(areoj, areas)~~terenoj de matematika logiko ~~inkluzivi~~inkluzivas [[modela teorio\|modelan teorion]], [[pruva teorio\|pruvan teorion]] kaj [[rekursia teorio\|rekursian teorion]] (kiu nun ofte estas nomita kiel "komputebleca teorio"). Ankaŭ [[aksioma aroteorio]] estas iam konsiderita kiel parto de matematika logiko. ~~kaj [[rekursia teorio]] (ofte nun referis al kiel komputebleca teorio). [[Aksioma aroteorio]] estas iam (konsiderita, konsideris) ankaŭ.~~ ~~Estas multaj parte kovras kun [[komputiko]], ekde multaj fruaj pioniroj en komputiko, kiel [[Alan TURING]], estis (matematikistoj, matematikistas) kaj (logikistoj, logikistas).~~ Estas multaj kunigoj kun [[komputiko]]. ~~La studi de [[programlingvo]] [[Semantiko\|(semantiko, semantikoj, semantikas)]]~~ ~~derivas de [[modela teorio]], kiel faras~~ ~~programa kontrolo, en aparta [[modelo kontrolanta]].~~ Studoj de [[programlingvo\|programlingva]] [[semantiko]] derivas de [[modela teorio]]. ~~La Kareo-_Howard_ izomorfio inter pruvoj kaj programoj~~ ~~(rilatas, rakontas) al [[pruva teorio]]; [[instituteca logiko]] kaj [[lineara logiko]] estas grava ĉi tie.~~ Kalkuloj kiel la [[λ kalkulo]] kaj _combinatory_ logiko estas nuntempe studita ĉefe kiel _idealized_ programlingvoj.▼ ▲Kalkuloj kiel la [[λ kalkulo]] kaj ~~_combinatory_~~[[kombina logiko]] estas ~~nuntempe studita~~studataj ĉefe kiel ~~_idealized_~~idealigitaj programlingvoj. Komputiko ankaŭ (kotizas, kontribuas) al logiko per (rivelanta, ellaboranta) teknikoj por la aŭtomata kontrolanta aŭ (ebena, para) trovanta de pruvoj, kiel [[aŭtomatita teoremo pruvanta]] kaj logika programado.▼ ▲Komputiko ankaŭ ~~(kotizas,~~ kontribuas) al logiko per ~~(rivelanta, ellaboranta)~~ellaboritaj teknikoj por la aŭtomata ~~kontrolanta~~kontrolado aŭ ~~(ebena, para) trovanta~~trovado de pruvoj, kiel [[~~aŭtomatita~~aŭtomata ~~teoremo~~pruvado ~~pruvanta~~de teoremoj]] kaj [[logika programado]]. <!-- ==Iuj fundamentaj rezultoj== Linio 237 ⟶ 232: * [http://home.swipnet.se/~w-33552/logic/home/index.htm _Polyvalued_ logiko] * [http://www.ltn.lv/~podnieks/mlog/ml.htm Enkonduko al Matematika Logiko,_Hyper_-lernolibro por studentoj, _Vilnis_ _Detlovs_ kaj _Karlis_ _Podnieks_,Universitato de Latvio] --> == ~~Vidi~~Vidu ankaŭ jenon:== [[Logiko]] [[Modela teorio]] Linio 244 ⟶ 240: [[Predikata logiko]] [[Instituteca logiko]] <!--Teorio de (institucioj, institucias) _Infinitary_ logiko _Provability_ logiko--> [[Komputebleca logiko]] <!--(Baremo, Tabelo, Tablo) de matematika (simboloj, simbolas)--> [[Fundamenta statuso de aritmetiko]] {{komentitaj partoj}} [[Kategorio:Matematika logiko]]

Matematika logiko: Malsamoj inter versioj