Теоремы Геделя

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

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

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

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

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

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

• ТЬЮРИНГ Алан — (полн. Алан Матисон Тьюринг, Alan Mathison Turing) (23 июня 1912, Лондон 7 июня 1954, Уилмслоу, Великобритания), британский математик, автор трудов по математической логике, вычислительной математике. В 1936 1937 годах ввел математическое понятие …   Энциклопедический словарь

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

• Гёдель Курт — (GÖdel) (1906 1978), логик и математик. Родился в Австро Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) так называемые теоремы о неполноте (теоремы Гёделя), из которых, в частности, следует, что не… …   Энциклопедический словарь

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

• ГЕДЕЛЬ (Godel) Курт — (1906 78) логик и математик. Родился в Австро Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной… …   Большой Энциклопедический словарь