← All posts tagged философия

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