Quote:
Originally Posted by psyang
And we have another winner!
Yes, you've come up with the solution I was looking for.
|
I think the bold would be enough changes for me to stop playing.
Out of curiosity, I did find proofs that both e and ln(2) are irrational (using Google so doesn't count). It turns out I'm not as good at math as Euler... I still sort of like my first e to the power of ln(2) solution better. The proofs are harder (even though its intuitively obvious both are irrational) but the solution itself doesn't have a logic tree, just one of the exponential laws.
I do sort of agree with ggg about proofs in general, although iirc correctly he (like me) is an engineer. And I know I'm certainly fine with empirical solutions that work. Most of the math I've done in my career is numerical solutions to equations of state, which is basically just complicated guess-and-check

So from that perspective trying to solve this analytically was fun, as it's different.