Смотрите также
Толковый словарь
русского языка
БОЛЬШОЙ ЭНЦИКЛОПЕДИЧЕСКИЙ СЛОВАРЬ
Поиск Ссылка Версия для печати Код для блога Комментарий

ГЕДЕЛЬ (Godel) Курт (1906-78)


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


Поискать также слово ГЕДЕЛЬ в ТОЛКОВОМ СЛОВАРЕ РУССКОГО ЯЗЫКА

Об энциклопедическом словаре

Большой энциклопедический словарь – это уникальная бесплатная онлайн энциклопедия с полнотекстовым поиском и поддержкой морфологии русских слов.

Энциклопедический словарь является некоммерческим проектом, который постоянно развивается. Важную роль в развитии проекта играют наши уважаемые пользователи, которые помогают выявлять ошибки, а также делятся своими замечаниями и предложениями. Вы также можете поддержать проект, оставив комментарий или разместив у себя на сайте или блоге ссылку на энциклопедический словарь.

Ссылки на энциклопедический словарь допускаются без каких-либо ограничений.


Рейтинг@Mail.ru