Vezi și în alte dicționare:
Mecanicii Cuantice - (mecanica val) teorie, stabilirea unui mod de a descrie legile mișcării microparticulelor (ale h n, atomi, molecule, sunt .. nuclee) și sisteme (de ex. cristal), iar variabilele de legătură care caracterizează h gical și sisteme cu nat. cantități, ... ... Enciclopedie fizică
Integralitatea - în proprietatea logică matematică, aproape de conceptul elementului maxim într-un set parțial comandat. Termenul P. în matematică. logica utilizată în tipurile de contexte: teorie completă completă de calcul (sau un set complet de axiome), w ... Enciclopedia completă de Matematică
Mecanica cuantică - mecanica ondulatorie, teoria și stabilirea unui mod de a descrie legile mișcării de microparticule (particule elementare, atomi, molecule, sau nuclee) și sisteme (de exemplu, cristale), iar variabilele de legătură care caracterizează particulele și sistemele cu ... ... Marea Enciclopedie Sovietică
Gödel - (Godel) Kurt (1906 1978) austr. un logician și un matematician. A participat la lucrările Cercului de la Viena. In 1933 Privat 1939 profesor asociat la Universitatea din Viena, care, în 1940 a emigrat în Statele Unite, din 1953 prof. Institutul de studii superioare din Princeton. G. aparțin unui număr important de ... ... Enciclopedii filosofice
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
JOHN DUNS CATTLE - [lat. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Köln), medieval. filosof și teolog, catolic. un preot, un membru al ordinii monahale a franciscanilor; în catolică. Biserica este glorificată în fața binecuvântatului (comunicare, 8 noiembrie). Viața. John Duns Scotus. 1473 ... ... Enciclopedie ortodoxă
FORMALIZARE - (din formularul format latin, imagine) cartografierea obiectelor unui 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ă
Consecvență - sistem formal de proprietate, care constă în faptul că nu orice formulă a acestui sistem este demonstrabil în ea. Sistemele formale care posedă această proprietate sunt numite. consecvente și, în mod formal, consecvente și. În caz contrar, sistemul formal este numit ...
Teorii alternative de gravitate - Teoriile alternative de gravitație sunt denumite în mod obișnuit teorii de gravitate, existente ca alternative la teoria generală a relativității (GTR) sau în mod esențial (în mod cantitativ sau în principiu) să o modifice. Pentru teorii alternative de gravitate ... ... Wikipedia
MOND - Teoriile alternative de gravitație sunt denumite, de obicei, teoria gravitației, existente ca alternative la teoria generală a relativității sau în esență (în mod cantitativ sau în principiu) care o modifică. Pentru teorii alternative de gravitate adesea ... ... Wikipedia