(Геделя)

См. также в других словарях:

• Вторая теорема Геделя — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте …   Википедия

• Теорема Геделя — …   Википедия

• Теорема Геделя о неполноте — …   Википедия

• Теоремы Геделя — …   Википедия

• Теоремы Геделя о неполноте — …   Википедия

• О формально неразрешимых предложениях —         «О ФОРМАЛЬНО НЕРАЗРЕШИМЫХ ПРЕДЛОЖЕНИЯХ» классическая работа К. Геделя (Godel К. Uber formal unentscheidbare Satze der Principia Mathemati ca und verwandter Systeme, I // Monatshefte fur Mathematik und. Physik. 1931. Bd. 38. S. 173 198;… …   Энциклопедия эпистемологии и философии науки

• философия сознания глазами ученых —         ФИЛОСОФИЯ СОЗНАНИЯ ГЛАЗАМИ УЧЕНЫХ концепции физиков, математиков, нейробиологов, посвященные объяснению феномена сознания. Еще сравнительно недавно мало кто из них интересовался проблемой сознания (исключениями являются У. Пенфильд, Р.… …   Энциклопедия эпистемологии и философии науки

• ФОРМАЛИЗМ — направление в эстетике, искусстве, литературе, акцентирующее значение формы в ущерб содержанию или даже при полном забвении последнего; в этике термин, обозначающий всякую этическую теорию, которая, подобно этике И. Канта, кладет в основу своих… …   Философская энциклопедия

• ПРИНЦИП ДОПОЛНИТЕЛЬНОСТИ — методологический принцип, сформулированный Нильсом Бором применительно к квантовой физике, согласно которому, для того чтобы наиболее адекватно описать физический объект, относящийся к микромиру, его нужно описывать во взаимоисключающих,… …   Энциклопедия культурологии

• ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… …   Философская энциклопедия

• ЛОГИКА СИМВОЛИЧЕСКАЯ —     ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …   Философская энциклопедия