Have you read the article? The author explicitly defines what the question is (and how the question of irratonality of numbers is resolved there). As a matter

Have you read the article? The author explicitly defines what the question is (and how the question of irratonality of numbers is resolved there). As a matter of fact they explicitly mention that the algorithm in question only requires polynomial memory space to compare N sums of roots of arbitrary numbers.