Hacker News new | ask | show | jobs
by glowcoil 678 days ago
It's not. Why would it be?
1 comments

If you assume at the start of your proof that π is rational, it's not clear that you can then still make use of concepts closely related to π. If those concepts depend in any way on π being irrational, then you can't use them to cleanly arrive at the contradiction.