RichardKennaway comments on Standard and Nonstandard Numbers - Less Wrong

31 Post author: Eliezer_Yudkowsky 20 December 2012 03:23AM

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

Comments (83)

Sort By: Best

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

Comment author: ciphergoth 20 December 2012 09:17:27AM 9 points [-]

Consider using "☑" or similar to mean "true", rather than overloading "+"?

Comment author: RichardKennaway 20 December 2012 03:00:52PM 14 points [-]

The double-turnstile ⊨ is the usual symbol for saying that a sentence is true (in a given model).