1
Обсуждение книги / Re: Книги, статьи и исследования, упоминающиеся в ГПиМРМ
« : 23 Января 2014, 03:41 »
Собственно, почему бы каждому из нас не рассказать, какие отсылки он увидел? Хотя бы даже и только к массовой культуре.
Я помню сейчас про ghostbusters (9 глава), death note (глава 24), my little pony (100 глава).
Две гидры, упоминавшиеся в 100 главе - это математические конструкции, дающие примеры утверждений, которые нельзя доказать в арифметике Пеано, если что. Не смог найти сейчас в интернете русскоязычный источник.
Я помню сейчас про ghostbusters (9 глава), death note (глава 24), my little pony (100 глава).
Две гидры, упоминавшиеся в 100 главе - это математические конструкции, дающие примеры утверждений, которые нельзя доказать в арифметике Пеано, если что. Не смог найти сейчас в интернете русскоязычный источник.