Sniffnoy comments on But Somebody Would Have Noticed - Less Wrong

36 Post author: Alicorn 04 May 2010 06:56PM

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

Comments (250)

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

Comment author: Sniffnoy 06 May 2010 02:28:02AM 0 points [-]

I don't know anything about type theory; when I wrote that I heard it has philosophical problems when applied to set theory, I meant I heard that from you. What the problems might actually be was my own guess...

Comment author: JoshuaZ 06 May 2010 02:35:36AM 0 points [-]

Huh. Did I say that? I don't know almost anything about type theory. When did I say that?