Vedeți ce înseamnă o "formalizare consecventă" în alte dicționare:
FORMALIZARE - (din formularul format lat, imagine) care afișează obiecte dintr-un anumit domeniu folosind simbolurile k. l. limbă. Cea mai simplă formă a F. este reprezentarea directă (desemnarea, denumirea, descrierea) a obiectelor care folosesc termeni. De exemplu. în rolul limbajului natural ... ... Enciclopedie filozofică
Metamathematics - teoria probei, teoria dovada, în cel mai larg sens matematica Metatheory, nu implică nici o restricție specială asupra naturii metodelor meta-teoretice pentru a specifica metoda și cantitatea de studiu la Moscova ... ... Marea Enciclopedie Sovietica
METODA AXIOMATICĂ - o modalitate de a construi o teorie științifică, atunci când o teorie se bazează pe anumite ipoteze inițiale, axiomele teoriei și toate celelalte propoziții ale teoriei sunt obținute ca logice. consecințele axiomelor. În matematică, A.M. sa născut în lucrări ... ... Enciclopedia matematică
Metoda axiomatica - o metodă de construcție a unei teorii științifice în care se bazează sunt puse niște ipoteze (hotărâre) axioma (. A se vedea axioma) sau postulate, din care trebuie să fie afișate toate celelalte declarații ale acestei științe (. Teorema (vezi Teorema)) ... ... Cele mai Enciclopedia sovietică
GILBERT - (Hubert) David (născut la 23 ianuarie 1862, Koenigsberg - informații, 14 februarie 1943, Göttingen) - germană. matematician și logician, profesor la Göttingen din anul 1895 până la 1936. El a creat lucrarea fundamentală pe axiome de geometrie, aritmetica si fizica, care a încercat ... ... Filozofic Encyclopedia
LOGIC - (din cuvântul logic grecesc, concept, rațiune, rațiune) sau logică formală, știința legilor și a operațiunilor de gândire corectă. În conformitate cu principiul de bază al lui L. corectitudinea raționamentului (inferența) este determinată numai de forma sa logică sau ... ... Enciclopedia filosofică
Non-contradicția este o proprietate a unui sistem formal, constând în faptul că nu orice formulă a acestui sistem este demonstrată în ea. Sistemele formale care posedă această proprietate sunt numite. consecvente și, în mod formal, consecvente și. În caz contrar, sistemul formal este numit ...