Полностью читать не стал, потому что в процитированном отрывке другой умный человек, хотя и умный (и человек), пользуется классическим приёмом: выдаёт верное утверждение, после чего использует его для обоснования другого утверждения, нимало не заботясь о правомерности такого использования. Не говоря уже о том, что очень многие мысленные упражнения из жизни математиков к реальной жизни имеют примерно такое же отношение, как математическая модель сферического коня в вакууме к использованию гужевого транспорта в Нечерноземье.