Цитата:
Сообщение от Аргёд
Поскольку теорема Гёделя справедлива по отношению к любым формальным системам, все они в нашем распоряжении. В математике толку от неё никакого, зато с точки зрения философии сам факт наличия "под рукой" всей математики сразу может оказаться весьма удобным. По крайней мере становится ясно, откуда мы идём.
|
Очень интересно. И откуда мы идём?