Vikipedio:Projekto matematiko/Formala sistemo
El Vikipedio
 |
Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al Formala sistemo (eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi. |
En la formala (sciencoj, sciencas) de logiko kaj matematiko, kaj ankaŭ la (aliancanis, kunagantita) (branĉoj, aloj) de komputiko, informa teorio, kaj statistiko, formala sistemo estas formala gramatiko uzita por modelanta (celoj, celas). Formaligo estas la (ago, agi, operacii, akto) de kreanta formala sistemo, en provi al (enkapti, kapto) la esenca (esprimiloj, esprimas) de (reala, reela)-mondo aŭ koncepta sistemo en formala lingvo.
En matematiko, formalaj pruvoj estas la (produkto, produto) de formalaj sistemoj, konsistanta de (aksiomoj, aksiomas) kaj reguloj de konkludo. (Teoremoj, Teoremas) estas tiam agnoskis kiel la ebla 'lastaj linioj' de formalaj pruvoj. La punkto de vido (tiu, ke, kiu) ĉi tiu bildo _encompasses_ matematiko havas estas (nomita, vokis) _formalist_. La (termo, membro, flanko, termino) havas estas uzita _pejoratively_. Aliflanke, Davida Hilberto fundamentis metamatematiko kiel disciplino (dizajnita, desegnita) por diskutantaj formalaj sistemoj; ĝi estas ne alprenita (tiu, ke, kiu) la metalingvo en kiuj pruvoj estas studita estas sin malpli neformala ol la kutima (rutinoj, rutinas) de (matematikistoj, matematikistas) (pensigi, sugesti). Al kontrasto kun la metalingvo, la lingvo priskribis per formala gramatiko estas ofte (nomita, vokis) cellingvo (kio estas, la objekto de diskuto - ĉi tiu distingo (majo, povas) havi estas prezentita per _Carnap_).
Ĝi havas iĝi komuna al paroli de formalismo, pliIstoSen- sinonimoe kun formala sistemo en norma matematiko inventis por aparta celo. Ĉi tiu (majo, povas) ne esti multa pli ol (notacio, skribmaniero), kiel Diraka mamzono-_ket_ (notacio, skribmaniero).
Matematikaj formalaj sistemoj konsisti el jeno:
- A finia aro de (simboloj, simbolas) kiu povas esti uzita por konstruantaj formuloj.
- A gramatiko, kio estas vojo de konstruanta bone-(formis, formularita, knedita) formuloj el la (simboloj, simbolas), tia (tiu, ke, kiu) ĝi estas ebla al trovi decida proceduro por decidanta ĉu formulo estas bonforma formulo (bonforma formulo) ĉu ne.
- A aro de (aksiomoj, aksiomas) aŭ aksiomo _schemata_: ĉiu aksiomo havas al esti bonforma formulo.
- A aro de konkludaj reguloj.
- A aro de (teoremoj, teoremas). Ĉi tiu aro inkluzivas ĉiu (aksiomoj, aksiomas), plus ĉiuj bonforma formulos kiu povas esti derivita de antaŭe-derivita (teoremoj, teoremas) per reguloj de konkludo. Malverŝajne la gramatiko por bonforma formulos, estas ne garantii (tiu, ke, kiu) tie estos esti decida proceduro por decidanta ĉu donita bonforma formulo estas teoremo ĉu ne.
