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

anonymous12 comments on Sensual Experience - Less Wrong

13 Post author: Eliezer_Yudkowsky 21 December 2008 12:56AM

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

Comments (84)

Sort By: Old

You are viewing a single comment's thread.

Comment author: anonymous12 21 December 2008 05:25:27PM 2 points [-]

I've spent about equal amounts of time on programming and mathematics, but ... I'm confident that I can solve most typical programming problems, while even basic math problems are far more intimidating and error-prone ... I believe this asymmetry is due to the fact that one can "interact" with computer programs.

Quite true. This is one of the reasons there's so much interest in developing interactive proof assistants (HOL, Coq, Isabelle/Isar...) so that they can be used for "ordinary" mathematics. Not everyone likes both programming and math but for those who do, developing formalized mathematics on a proof assistant is a very engaging and even addictive experience.