"It can be of no practical use to know that Pi is irrational, but if we can know, it surely would be intolerable not to know."