Eugine_Nier comments on Logical Pinpointing - Less Wrong

62 Post author: Eliezer_Yudkowsky 02 November 2012 03:33PM

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

Article Navigation

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

Comments (338)

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

Comment author: Eugine_Nier 04 November 2012 09:54:22PM -1 points [-]

We could see this process as exploring a pre-existing territory, but it is hard to see what this adds, since the axioms and rules of inference are sufficient for truth, and it is hard to see, in EY's presentation how literally he takes the idea.

It's useful for reasoning heuristically about conjectures.

Comment author: Peterdjones 05 November 2012 10:28:29AM 0 points [-]

Could I have an example?

Powered by Reddit Powered by Reddit