Fair point. At the same time the exact computation paradigm is proof that problems like these can be solved in a rigorous way if you start with the right founda

Fair point. At the same time the exact computation paradigm is proof that problems like these can be solved in a rigorous way if you start with the right foundation. By the way thanks for writing the article, it was a refreshing read.