You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

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

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.

Article Navigation

Comments (734)
Tags: help research community public_goods help_desk

Comments (734)

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.

Powered by Reddit Powered by Reddit