Azərbaycan
Deutschland
Lietuva
Malta
ශ්රී ලංකාව
Türkmenistan
Türkiyə
Украина
Metateorija teorija nagrinėjanti metodus skirtus kitų teorijų aprašymui bei analizei Tarus kad yra tam tikra teorija vis
Metateorija
Metateorija – teorija, nagrinėjanti metodus, skirtus kitų teorijų aprašymui bei analizei.
Tarus, kad yra tam tikra teorija, visada galima iškelti klausimą dėl teorijos neprieštaringumo – ar egzistuoja duotosios teorijos rėmuose aprašomas uždavinys, kuris būtų neišsprendžiamas šios pačios teorijos priemonėmis. Gana lengvai galima parodyti, kad uždavinio formulavimo teisingumas bei teorijos neprieštaringumas negali būti nustatytas pačios teorijos ribose, todėl tenka naudoti išorines analizės priemones, apibrėžiančias nagrinėjamos teorijos aksiomatiką, terminus bei taisykles. Tokiems apibrėžimams dažniausiai naudojamos metakalbos.
Su teorijų neprieštaringumu susijusios problemos buvo pastebėtos dar senovės graikų (pvz., neįrodoma Euklidinės geometrijos teorema dėl to, kad dvi tiesės susikerta tik viename taške), vėliau buvo atrasta ir nemažai semantinių problemų, išsprendžiamų tik metateoriniais ir metakalbiniais metodais (pvz., ar reiškinio neigimas gali būti aktualizuotas, jei pats jo pateikimas neša prielaidą apie neigiamo reiškinio egzistavimą?). Kaip atskira matematikos sritis, metateorija ėmė vystytis XIX a. pabaigoje – XX a. pradžioje, po to, kai aksiomatikos įtaka buvo pademonstruota, kuriant neeuklidines geometrijas bei ėmė kilti klausimai dėl visos Matematikos neprieštaringumo. Pirmasis metateorijos koncepciją 20 amžiaus 4 dešimtmetyje sukūrė Davidas Hilbertas tirdamas matematikos pagrindus.
Šaltiniai
- metateorija(parengė Romanas Plečkaitis). Visuotinė lietuvių enciklopedija (tikrinta 2024-02-02).
Autorius: www.NiNa.Az
Išleidimo data:
vikipedija, wiki, lietuvos, knyga, knygos, biblioteka, straipsnis, skaityti, atsisiųsti, nemokamai atsisiųsti, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, pictu, mobilusis, porn, telefonas, android, iOS, apple, mobile telefl, samsung, iPhone, xiomi, xiaomi, redmi, pornografija, honor, oppo, Nokia, Sonya, mi, pc, web, kompiuteris, Informacija apie Metateorija, Kas yra Metateorija? Ką reiškia Metateorija?
Metateorija teorija nagrinejanti metodus skirtus kitu teoriju aprasymui bei analizei Tarus kad yra tam tikra teorija visada galima iskelti klausima del teorijos nepriestaringumo ar egzistuoja duotosios teorijos remuose aprasomas uzdavinys kuris butu neissprendziamas sios pacios teorijos priemonemis Gana lengvai galima parodyti kad uzdavinio formulavimo teisingumas bei teorijos nepriestaringumas negali buti nustatytas pacios teorijos ribose todel tenka naudoti isorines analizes priemones apibreziancias nagrinejamos teorijos aksiomatika terminus bei taisykles Tokiems apibrezimams dazniausiai naudojamos metakalbos Su teoriju nepriestaringumu susijusios problemos buvo pastebetos dar senoves graiku pvz neįrodoma Euklidines geometrijos teorema del to kad dvi tieses susikerta tik viename taske veliau buvo atrasta ir nemazai semantiniu problemu issprendziamu tik metateoriniais ir metakalbiniais metodais pvz ar reiskinio neigimas gali buti aktualizuotas jei pats jo pateikimas nesa prielaida apie neigiamo reiskinio egzistavima Kaip atskira matematikos sritis metateorija eme vystytis XIX a pabaigoje XX a pradzioje po to kai aksiomatikos įtaka buvo pademonstruota kuriant neeuklidines geometrijas bei eme kilti klausimai del visos Matematikos nepriestaringumo Pirmasis metateorijos koncepcija 20 amziaus 4 desimtmetyje sukure Davidas Hilbertas tirdamas matematikos pagrindus Saltiniaimetateorija parenge Romanas Pleckaitis Visuotine lietuviu enciklopedija tikrinta 2024 02 02 Sis su matematika susijes straipsnis yra nebaigtas Jus galite prisideti prie Vikipedijos papildydami sį straipsnį