gwern comments on LessWrong help desk - free paper downloads and more - Less Wrong

36 Post author: jsalvatier 07 October 2012 11:45PM

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

Comments (734)

Sort By: Best

Show:

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

Comment author: pangel 18 September 2013 12:19:17PM 0 points [-]

Gentzen’s Cut Elimination Theorem for Non-Logicians

Knowledge and Value, Tulane Studies in Philosophy Volume 21, 1972, pp 115-126

Comment author: gwern 19 September 2013 04:03:02PM 2 points [-]

I can't get it either, sorry.