prase comments on A wild theist platonist appears, to ask about the path - Less Wrong

7 Post author: Hang 08 May 2012 11:23AM

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

Comments (99)

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

Comment author: prase 08 May 2012 08:21:59PM 1 point [-]

"At least one natural number greater than 152 exists."

What does it mean, actually? In a formal sense, the sentence means that its formalised version is a theorem in PA, or whatever axiomatic system deemed relevant.

"God exists."

What does this mean, actually?