aksiomatizuoti
Aksiomatizuoti – tai sudaryti aksiomų sistemą tam tikrai teorijai ar mokslo šakai, t. y. išskirti pagrindinius teiginius (aksiomas), iš kurių logiškai išvedamos visos kitos tos teorijos teoremos ir taisyklės.
Trumpai:
Formaliu pagrindu paremti teoriją, apibrėžiant neprieštaringus ir pakankamus pradinius teiginius.
Pavyzdžiai:
1. Geometrijoje – Euklido geometrija aksiomatizuota per penkias postulatų (aksiomų) grupes, pvz.:
„Per du skirtingus taškus galima nubrėžti tiesę“.
Visi geometrijos teiginiai išvedami iš šių pagrindinių aksiomų.
2. Matematinėje logikoje – formalioji logika grindžiama aksiomomis, pvz.:
„Jei teiginiui A priskiriama reikšmė „teisinga“, tai ne-A yra „neteisinga““.
Tai leidžia griežtai apibrėžti loginius dėsnius.
3. Fizikoje – klasikinė mechanika gali būti aksiomatizuota per Niutono dėsnius, kurie tampa pagrindu visiems tolesniems išvediniams (pvz., judėjimo lygtims).
Esminė mintis:
Aksiomatizavimas užtikrina teorijos aiškumą, nuoseklumą ir galimybę ją plėtoti griežtai remiantis logika.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.