Див. Також в інших словниках:
КВАНТОВА МЕХАНІКА - (хвильова механіка), теорія, що встановлює спосіб опису і закони руху мікрочастинок (елем. Ч ц, атомів, молекул, ат. ядер) і їх систем (напр. кристалів), а також зв'язок величин, що характеризують ч ци і системи, з фіз. величинами, ... ... Фізична енциклопедія
ПОВНОТА - в математичній логіці властивість, близьке до поняття максимального елемента в частково впорядкованій множині. Термін П. в математич. логіці вживається в контекстах виду: повне числення, повна теорія (або повне безліч аксіом), w повна ... Математична енциклопедія
Квантова механіка - хвильова механіка, теорія встановлює спосіб опису і закони руху мікрочастинок (елементарних частинок, атомів, молекул, атомних ядер) і їх систем (наприклад, кристалів) а також зв'язок величин, що характеризують частки і системи, з ... ... Велика радянська енциклопедія
Геделем - (Godel) Курт (1906 1978) австр. логік і математик. Брав участь в роботі Віденського гуртка. У 1933 1939 приват доцент Віденського ун та, в 1940 емігрував в США, з 1953 проф. Ін та вищих досліджень в Прінстоні. Г. належать ряд найважливіших ... ... Філософська енциклопедія
Метаматематика - теорія доказів, теорія докази, в широкому сенсі слова Метатеорія математики, що не припускає ніяких спеціальних обмежень на характер використовуваних метатеоретических методів, на спосіб завдання і обсяг досліджуваної в М. ... ... Велика радянська енциклопедія
Дунс Скот - [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кельн), средневек. філософ і богослов, католич. священик, член чернечого ордену францисканців; в католич. Церкви прославлений у лику блаженних (пам. Зап. 8 нояб.). Життя. Дунс Скот. 1473 ... ... Православна енциклопедія
ФОРМАЛІЗАЦІЯ - (від лат. Forma вид, образ) відображення об'єктів деякої предметної області за допомогою символів к. Л. мови. Найпростіший вид Ф. пряма репрезентація (позначення, іменування, опис) об'єктів за допомогою термінів. Напр. в природній мові роль ... ... Філософська енциклопедія
Несуперечливу - властивість формальної системи, що складається в тому, що не кожна формула цієї системи доказова в ній. Формальні системи, що володіють цією властивістю, наз. суперечним і, або формально суперечним і. В іншому випадку формальна система зв ... Математична енциклопедія
Альтернативні теорії гравітації - Альтернативними теоріями гравітації прийнято називати теорії гравітації, що існують як альтернативи загальної теорії відносності (ЗТВ) або істотно (кількісно або принципово) модифікують її. До альтернативних теорій гравітації ... ... Вікіпедія
МОНД - Альтернативними теоріями гравітації прийнято називати теорії гравітації, що існують як альтернативи загальної теорії відносності або істотно (кількісно або принципово) модифікують її. До альтернативних теорій гравітації часто ... ... Вікіпедія