Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

XiXiDu comments on Learning the foundations of math - Less Wrong

4 Post author: jsalvatier 24 October 2010 07:29PM

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

Comments (31)

You are viewing a single comment's thread.

Comment author: XiXiDu 25 October 2010 10:57:26AM 0 points [-]
Comment author: [deleted] 29 June 2011 01:00:32AM 1 point [-]

At the risk of performing necromancy, I'd like to point out that the video was highly contested afterward on the IAS Foundations of Mathematics mailing list. Many people thought the talk wasn't a reasonable explanation of the current state of affairs in FOM.

I'm not an expert in this, however.

Comment author: jsalvatier 14 November 2010 01:37:54AM 0 points [-]

This video turned out to be very interesting (to my naive eyes anyway). It also gives a nice description of formal theories.