Не может быть практического использования, чтобы знать, что PI иррациональ, но если мы сможем знать, наверняка было бы невыносимо, чтобы не знать.