Alex_Altair comments on Harry Potter and the Methods of Rationality discussion thread, part 8 - Less Wrong

8 Post author: Unnamed 25 August 2011 02:17AM

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

Comments (653)

Sort By: Best

Show:

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

Comment author: Psy-Kosh 05 September 2011 02:15:16PM * 5 points [-]

I had to check to be sure, but then saw others noted it: Raw ZF seems quite sufficient to prove its existence.

So even tossing Choice in the bin isn't enough to get rid of it.

EDIT: Perhaps this is math's revenge for you having tiled a hall in Hogwarts with pentagons. :)

Comment author: Alex_Altair 06 September 2011 02:12:02AM 7 points [-]

Perhaps this is math's revenge for you having tiled a hall in Hogwarts with pentagons. :)

But he didn't say regular pentagons. Pentagon tiles shown here. Also, he did say that Hogwarts has non-Euclidean geometry.

Comment author: ec429 23 September 2011 06:21:01PM 0 points [-]

Actually, my understanding was that he said it didn't have geometry at all, only topology.