Информация о ресурсе

Название ресурса

ГЁДЕЛЬ, КУРТ

Описание ресурса

(1906–1978), австрийский логик и математик, автор фундаментального открытия, показавшего ограниченность аксиоматического метода. Методы, использованные Гёделем при доказательстве теоремы о неполноте, сыграли в дальнейшем важную роль в теории вычислительных машин. Внес важный вклад в теорию множеств.

Как открыть?

text/html

Рубрикаторы

Вид ЦОР

Класс

Предмет

Тематический рубрикатор