• quote философия math Разве не будет богохульным антропоморфизмом предполагать, что (божеские) верные теоремы обладают конечной длиной?
    Это одна из множества веселых и задорных цитат из книги И.Лакатоса 'Доказательства и опровержения. Как доказываются теоремы', которая увлекательно рассказывает о проблемах математической логики.

Replies (3)

  • @Kim, Класс! Я хотел было ее купить почитать, но подумал что будет уж слишком заумно. Видимо я ошибся.
  • @yantayga, она читается очень легко и требует подготовки не выше школьной геометрии.
  • @Kim, Значит поставлю ее в очередь на прочтение ;)