математической логики XX века — знаменитая теорема Курта Гёделя о неполноте (во всякой аксиоматической системе, содержащей арифметику, найдется утверждение, которое в рамках этой системы невозможно ни доказать, ни опровергнуть) — была изложена в игровом ключе вместе с доказательством в книге замечательного мастера занимательного жанра Реймонда Смаллиана под несколько элегическим названием «Навсегда неразрешимое»…
Живая математика
·
Яков Перельман
