RUS  ENG
Полная версия
ЖУРНАЛЫ // Математическое просвещение // Архив

Матем. просв., сер. 3, 2021, выпуск 28, страницы 122–132 (Mi mp1018)

Памяти Джона Конвея

О независимых арифметических утверждениях

Дж. Х. Конвей


Аннотация: Давно известно, что существуют арифметические утверждения, которые верны, но не доказуемы. Однако обычно считают, что они обязательно должны быть сложными. В этой статье я покажу, что эти дикие звери могут оказаться совсем рядом.



© МИАН, 2024