Is %i an integer? - Adding more facts to the database
Subject: Is %i an integer? - Adding more facts to the database
From: Richard Fateman
Date: Fri, 03 Jul 2009 08:15:46 -0700
I doubt that much can be done automatically with information that a
constant is irrational or transcendental, so I think such information
could be left out.
The last I heard, it was unknown whether e+pi was irrational.
Though either e+pi or e-pi is irrational.
(If they were both rational, then their sum would be rational, and 2e is
not rational.)
RJF