JonahSinick comments on Progress on automated mathematical theorem proving? - Less Wrong

14 Post author: JonahSinick 03 July 2013 06:40PM

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

Comments (65)

Sort By: Best

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

Comment author: JonahSinick 04 July 2013 12:13:11AM 1 point [-]

Heh, I missed the irony :-)

Comment author: JoshuaZ 04 July 2013 12:18:22AM 2 points [-]

I didn't, but realized someone could, hence why my other comment started off with the words "more explicitly" to essentially unpack gjm's remark.