Електронний каталог

Гедель Курт Фрідріх (1906–1978) – австрійський логік, математик та філософ математики

Документи:

Бессонов, А. В. Теорема Гёделя о неполноте арифметики и аксиома полноты [Текст] / А. В. Бессонов // Философия науки. – 2019. – № 2. – С. 23–34. – Библиогр. в конце ст.
Целишев, В. В. Минимизация следствий интенсиональности в "наилучшей и самой общей версии" Второй теоремы Гёделя [Текст] / В. В. Целишев, А. В. Хлебалин // Философия науки. – 2019. – № 1. – С. 58–69. – Библиогр. в конце ст.
Целищев, В. В. Комбинаторный аналог формальных систем со встроенной непротиворечивостью [Текст] / В. В. Целищев, А. О. Костяков // Философия науки. – 2018. – № 2. – С. 30–42. – Библиогр. в конце ст.