Eugine_Nier comments on Second-Order Logic: The Controversy - LessWrong

24 Post author: Eliezer_Yudkowsky 04 January 2013 07:51PM

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

Article Navigation

Comments (188)
Tags: seq_epistemology meaning numbers logic proofs math

Comments (188)

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

Comment author: Eugine_Nier 09 January 2013 11:13:50PM 1 point [-]

There are many more ways for complex universes to have violated our expectations already, while still making sapience possible, than for simple universes to have done so.

How do we know they haven't?

Comment author: MugaSofer 10 January 2013 11:35:52AM -1 points [-]

Interesting choice of example.

Not objecting to it, just interesting.

Powered by Reddit Powered by Reddit