Remix.run Logo
613style 9 hours ago

They're saying you can't find a ruler accurate enough to be sure the number you measure is sqrt(2) and not sqrt(2) for the first 1000 digits then something else. And eventually, as you build better and better rulers, it will turn out that physical reality doesn't encode enough information to be sure. Anything you can measure is rational.