Теоремы Геделя о неполноте

Смотреть что такое "Теоремы Геделя о неполноте" в других словарях:

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

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

• Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1]  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… …   Википедия

• философская логика —         ФИЛОСОФСКАЯ ЛОГИКА широкая область логических исследований, требующая философского осмысления основных понятий, применяемых в современной логике, и результатов, полученных средствами символической логики.         На самом деле термин «Ф.… …   Энциклопедия эпистемологии и философии науки

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

• ТЬЮРИНГ — (Turing) Алан (1912 54), английский математик и логик, который сформулировал теории, ставшие впоследствии основой компьютерной техники. В 1937 г. придумал машину Тьюринга гипотетическую машину, способную преобразовывать набор вводимых команд. Она …   Научно-технический энциклопедический словарь

• Состояние постмодерна —         «СОСТОЯНИЕ ПОСТМОДЕРНА» («La condition postmoderne») доклад франц. философа Ж. Ф. Лиотара о знании в наиболее развитых обществах, представленный на Совете ун тов при правительстве Квебека. Опубликован в 1979 г.; рус. пер. СПб., 1998. Под… …   Энциклопедия эпистемологии и философии науки

• О формально неразрешимых предложениях —         «О ФОРМАЛЬНО НЕРАЗРЕШИМЫХ ПРЕДЛОЖЕНИЯХ» классическая работа К. Геделя (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 вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… …   Философская энциклопедия

• логика —         ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… …   Энциклопедия эпистемологии и философии науки