SasQ
Reputation
270
Next privilege 500 Rep.
Access review queues
 Apr 12 awarded Popular Question Jun 13 comment How to prove if log is rational/irrational Where did I say that $\log_2 3 = 0/0$? Jun 9 comment Does the recursion theorem give quines? This is just a matter of interpreting the output of the program. After all, it's just a stream of bits, which can be interpreted as bytes (base-256 digits of that number), and then those bytes as characters. But it is not the problem of the program how do we interpret these bytes. It's the choice of the operating system, execution environment and the user. You can set up your execution environment to display stream of bits instead of textual output, but it doesn't affect the program and how it works. We, users, see characters. Computers see only streams of bits. Jun 8 revised Does the recursion theorem give quines? What are indices which are not programs. Jun 8 answered Does the recursion theorem give quines? Jan 26 comment Alternate proof for “$\log_{10}{2}$ is irrational” Oh, so that was your case... I've never seen the binary logarithm being written this way. lg yes, but log without the base specified explicitly is usually meant to be decimal by default where I live. I have this problem with Wolfram Alpha, too, which uses log for the natural logarithm instead of ln I used do. These disagreements on notation could be very confusing sometimes... Jan 23 comment Alternate proof for “$\log_{10}{2}$ is irrational” Whoops, the original poster is you. Then are you going to contradict yourself now or something? I don't get it... Jan 23 comment Alternate proof for “$\log_{10}{2}$ is irrational” @DavidRicherby: Blame the original poster, then, not me, since I just generalized his claim to show that $log 2$ isn't any more special than any other number being represented in a digital computer. Jan 23 comment Proving/Disproving Product of two irrational number is irrational +1 for the simplest constructive proof, without diving into deep logical arguments of proof by contrapositive. Your way is how I'd do it myself: a constructive proof by counter-example. Of course it requires the prior knowledge that $sqrt{2}$ is irrational. But this is whole another story... Jan 23 comment How to prove if log is rational/irrational You assume that $m$ and $n$ are integers. Then, when we get to the point that $2^m = 3^n$, you say that it says that even number = odd number, which is impossible. I agree. But what if we choose $a=0$ and $b=0$? ($0$ is an integer, right?). Then there's $0$ factors of $2$ on the left, and $0$ factors of $3$ on the right, that is, we get $1=1$, which is true, and your proof falls down. Am I right? Jan 23 comment Alternate proof for “$\log_{10}{2}$ is irrational” @DavidRicherby: To a computer scientist, every number is rational, since this is how IEEE 754 standard for storing floating-point numbers works. It stores every number as a finite approximation by a binary fraction. There is no digital machine capable of storing an irrational number, and there never will. It is an inherent limitation of digital notation of numbers. Jan 2 answered Relationship between Pi and Phi using the Great Pyramid of Giza? Dec 19 comment Denesting Phi, Denesting Cube Roots How can mathematical formulas be copyrighted? If copyrighting math is possible, we are doomed. Dec 18 comment How do I show that $\sqrt{5+\sqrt{24}} = \sqrt{3}+\sqrt{2}$ Yeah, about that... I've seen several of your answers, but I've nowhere seen the theory behind these two functions (norm and trace) explained. Is it elaborated somewhere a bit more? I can see how the norm formula is similar to how the norm of a complex number is calculated, but there are no imaginaries in nested radicals, so I don't quite understand WHY your magic works so well. And why is the norm being subtracted instead of divided out, and the trace quite contrary. Am I missing some obvious part of complex analysis or something? I'd like to know some background of how did you discover that. Dec 18 comment How do I show that $\sqrt{5+\sqrt{24}} = \sqrt{3}+\sqrt{2}$ Sure, now I understand it. But let me show you what exactly was confusing for me at first: math.stackexchange.com/a/196181/16191 There you use the letter $w$ in calculating both the norm and the trace, so it seems as if they had to be calculated from the same number (the one under the original square root). Are you sure it doesn't need any correction? Then it will remain confusing. Dec 18 comment How do I show that $\sqrt{5+\sqrt{24}} = \sqrt{3}+\sqrt{2}$ My second comment was about a separate problem. The first one was about the problem that when one calculates the trace from the original expression under the square root (as your other comments suggest), the result will be incorrect, because the trace has to be calculated from the intermediate result after the first step of your algorithm (as you correctly stated here in this answer, but incorrectly in others). That's what I meant that needs correction. Dec 15 awarded Caucus Dec 15 answered What is the square root of complex number i? Dec 15 comment How do I show that $\sqrt{5+\sqrt{24}} = \sqrt{3}+\sqrt{2}$ Also, what if the norm turns out to be a square root too? Continuing the calculations lead to the answer 1/1 then, which is incorrect. (I see that it works that way when the expression under the square root is not a perfect square. But this has to be mentioned upfront: in which cases your algorithm does apply.) Dec 15 comment How do I show that $\sqrt{5+\sqrt{24}} = \sqrt{3}+\sqrt{2}$ Can you correct it in your other answers too? I was a bit confused when I first stumbled upon one of them, since you put it in a way which suggested that one needs to divide out by the trace of the original expression under the square root, instead of the intermediate result. And it didn't work.