Formálisan konzisztens elmélet
Lásd még más szótárakban:
QUANTUM MECHANICS - (hullámmechanika), egy olyan elmélet, amely meghatározza a mikropartikulusok leírásának és mozgásának törvényeit (atomok, atomok, molekulák elemei,. magok) és azok rendszerei (pl. kristályok), valamint az alkatrészek és rendszerek jellemzõi közötti kapcsolat fizikai tulajdonságokkal. mennyiségek, ... ... Fizikai enciklopédia
TELJESÍTMÉNY - matematikai logikában egy olyan tulajdonság, amely közel áll a maximálisan elrendezett elem fogalmához egy részben rendezett készletben. A P. kifejezés a matematikában. a logikát a forma összefüggésében használjuk: teljes kalkulus, teljes elmélet (vagy teljes axiómák), w teljes ... Matematikai Encyclopedia
A kvantummechanika - hullám mechanika, az elmélet és a létrehozó módon írják le a törvények a mozgás mikrorészecskék (elemi részecskék, atomok, molekulák vagy sejtmagok) és rendszerek (például kristály), és a kapcsolat jellemző változók részecskék és rendszerek ... ... Nagy Szovjet Enciklopédia
Gödel - (Godel) Kurt (1906 1978) austr. logikus és matematikus. Részt vett a Bécsi Kör munkájában. 1933-ban 1939-ben privatizálta a bécsi egyetem docense, 1940-ben emigrált az Egyesült Államokba, 1953 óta prof. A Princeton felsőoktatási intézete. G. számos fontos ... ... filozófiai enciklopédiához tartozik
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
JOHN DUNS CATTLE - [lat. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Köln), középkori. filozófus és teológus, katolikus. egy pap, a ferencesek szerzetesrendjének tagja; a katolikus. A gyülekezetet az áldott (comm., November 8.) dicsőíti. Life. John Duns Scotus. 1473 ... ... Ortodox enciklopédia
FORMALIZÁLÁS - (a latin forma alakból, képből) egy adott tartomány objektumainak leképezése a k. 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
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 ...
Alternatív gravitációs elméletek - A gravitáció alternatív elméleteit általában a gravitációs elméleteknek nevezik, amelyek az általános relativitáselmélet (GTR) alternatívájaként léteznek, vagy lényegében (mennyiségi vagy elvben) módosítják. Alternatív gravitációs elméletekhez ... ... Wikipedia
MOND - A gravitáció alternatív elméleteit gyakran nevezik gravitációs elméleteknek, amelyek a relativitás általános elméletének alternatívájaként léteznek, vagy lényegében (mennyiségi vagy elvben) módosítják azt. Az alternatív gravitációs elméletek gyakran ... ... Wikipedia