|
|
|
|
|
|
by fdej
1514 days ago
|
|
|
No, this is wrong. Richardson's theorem is about functions, not constants. Equality of constants constructed from exponentials and logarithms is decidable (assuming Schanuel's conjecture) by another theorem (and algorithm!) of Richardson. |
|
|