Мой предыдущий пост вызвал живую дискуссию физиков и математиков, например здесь: http://xaxam.livejournal.com/496790.html Эта дискуссия убедила меня в том, что неминуем также закат чистой математики. Нынешняя математика не является полностью формализованной (редуцировнной к формальным логическим теориям).