- неразрешимое предложение
- мат. undecidable proposition, undecidable sentence
Большой англо-русский и русско-английский словарь. 2001.
неразрешимое предложение
Смотреть что такое "неразрешимое предложение" в других словарях:
Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… … Википедия
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия
ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… … История Философии: Энциклопедия
МАТЕМАТИКИ ИСТОРИЯ — Самой древней математической деятельностью был счет. Счет был необходим, чтобы следить за поголовьем скота и вести торговлю. Некоторые первобытные племена подсчитывали количество предметов, сопоставляя им различные части тела, главным образом… … Энциклопедия Кольера
РАЗРЕШИМАЯ ФОРМУЛА — (в данной системе) такая формула Аданной формальной системы, что либо она доказуема в этой системе (т. е. является теоремой), либо опровержима (т. е. доказуемо ее отрицание ). Если всякая замкнутая формула данной формальной системы разрешима в… … Математическая энциклопедия
ГЁДЕЛЬ Курт (1906 - 1978) — математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория… … История Философии: Энциклопедия
НЕРАЗРЕШИМОСТЬ — невозможность решения данной задачи точно очерченными средствами. Ниже рассмотрены важнейшие примеры Н. в математике. Алгоритмическая неразрешимость. В различных областях математики возникают проблемы, в к рых требуется найти единую механич.… … Математическая энциклопедия
Конституция США — Конституция США … Википедия
Конституция Соединенных Штатов Америки — Первая страница оригинального текста Конституции Конституция США (англ. United States Constitution) основной закон США, имеющий высшую юридическую силу. Конституция США была принята 17 сентября 1787 года на Конституционном Конвенте в Филадельфии… … Википедия
Конституция Соединённых Штатов Америки — Первая страница оригинального текста Конституции Конституция США (англ. United States Constitution) основной закон США, имеющий высшую юридическую силу. Конституция США была принята 17 сентября 1787 года на Конституционном Конвенте в Филадельфии… … Википедия
Миграционное законодательство в Италии — Основная статья: Миграционное право Для улучшения этой статьи желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. П … Википедия
