A következetes formalizáció
Lássuk, mi a "következetes formalizáció" más szótárakban:
FORMALIZÁLÁS - (a latin forma alakból, képből) egy adott tartomány objektumainak megjelenítésével. l. nyelvet. Az F. legegyszerűbb formája az objektumok közvetlen ábrázolása (megnevezése, elnevezése, leírása). Például. a természetes nyelv szerepe ... ... a filozófiai enciklopédia
Metamatematika - bizonyítási elmélet igazolása elmélet, a legtágabb értelemben Metaelmélet matematika, nem jár semmilyen különleges megkötés a meta-elméleti módszerek adja meg a módját és mennyiségét tanulmány Moszkva ... ... A Nagy Szovjet Enciklopédia
AXIOMATIKUS MÓDSZER - a tudományos elmélet megalkotásának módja, amikor az elmélet alapja bizonyos kezdeti feltevéseknek, az elmélet axiómái és az elmélet minden más elmélete logikus. az axiómák következményei. A matematikában A. M. munkában született ... ... Matematikai Encyclopedia
Axiomatikus módszer - a módszer építésének egy tudományos elmélet, amely ez alapján kerülnek bizonyos feltételezések (ítélet) axióma (Lásd axióma.), Or posztulátumok, amelyből minden más állítás ez a tudomány (tétel (lásd tétel).) Ha megjelenik ... ... Most Szovjet enciklopédia
GILBERT - (Hubert) David (született 1862. január 23-án, Koenigsberg - hírszerzés, 1943. február 14., Göttingen) - németül. matematikus és logikus, egyetemi tanár Göttingenben 1895-től 1936-ban létrehozott alapvető munka geometria axiómái, számtani és a fizika, amely megpróbálta ... ... Filozófiai Enciklopédia
LOGIKA - (a görög logó szóból, koncepcióból, indoklásból, okból), vagy formális logikának, a jog tudományának és a helyes gondolkodás műveleteinek. L. alapelvének megfelelően az érvelés helyességét (következtetést) csak logikai formája határozza meg, vagy ... ... Filozófiai Encyclopedia
A nem-ellentmondás egy formális rendszer tulajdonsága, amely abból áll, hogy ebben a rendszerben nem minden képlet található. Formális rendszereket, amelyek rendelkeznek ezzel a tulajdonsággal. következetes és hivatalosan következetes, és. Ellenkező esetben a hivatalos rendszer neve ...