Zack_M_Davis comments on Rationality Quotes May 2012 - Less Wrong

6 Post author: OpenThreadGuy 01 May 2012 11:37PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (696)

You are viewing a single comment's thread. Show more comments above.

Comment author: Zack_M_Davis 02 May 2012 09:54:51PM 1 point [-]

I haven't studied number theory, but I expect that someone who has would be able to answer this. Successive powers of three have final digits in the repeating pattern 1, 3, 9, 7, so if we can find N mod 4 for the N such that 3^N = 3^^^3, then we would have our answer.

Comment author: VKS 02 May 2012 10:02:04PM *  4 points [-]

3^odd = 3 mod 4

so it ends in 7.

(but I repeat myself)

Comment author: Zack_M_Davis 02 May 2012 10:05:08PM *  0 points [-]

I think you're mistaken. Counterexample: 3^9 = 19683.

Comment author: JGWeissman 02 May 2012 10:09:33PM 0 points [-]

19683 = 3 mod 4

Comment author: VKS 02 May 2012 10:12:36PM *  1 point [-]

and 3^19683 = 150 ... 859227, which ends in 7.

( The full number is 9392 digits long, which messes up the spacing in these comments. )

Comment author: Zack_M_Davis 02 May 2012 10:18:09PM *  0 points [-]

Oh, sorry; I agree that odd powers of three are 3 mod 4, but I had read VKS as claiming that odd powers of three had a final digit of seven; I probably misunderstood the argument. [EDIT: Yes, I was confused; I understand now.]

Comment author: VKS 02 May 2012 10:24:57PM 2 points [-]

right, well, it's just that 3^^^3 = 3^3^3^3^3...3^3^3 = 3^(3^3^3^3...3^3^3), for a certain number of threes. So, 3^^^3 is 3^(some odd power of three).

Comment author: Zack_M_Davis 02 May 2012 10:28:21PM 1 point [-]

Yes, thanks; I apologize for having misunderstood you earlier.

Comment author: VKS 02 May 2012 10:34:06PM 0 points [-]

That is entirely ok -- I am badly in need of sleep and may have failed to optimise my messages for legibility.