Luke_Grecki comments on Recommended Reading for Friendly AI Research - Less Wrong

26 Post author: Vladimir_Nesov 09 October 2010 01:46PM

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

Comments (29)

You are viewing a single comment's thread.

Comment author: [deleted] 09 October 2010 05:49:24PM 3 points [-]

Are there any parts of theoretical computer science that you expect will be useful?

If you think the subject matter of mathematical logic will be useful then it might be worthwhile to take a look at the Curry-Howard correspondence. From the link:

In other words, the Curry–Howard correspondence is the simple observation that two at-the-time-seemingly-unrelated families of formalisms, the proof systems on one side and the models of computation on the other side, were, on the two examples considered by Curry and Howard, in fact structurally the same kind of objects.