= 27d567bc2d48d9f40e9ccc20ea370b15)
billswift comments on Applied Picoeconomics - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (76)
But this is fishy, right? Because it's easy to "do mathematics" for two hours every day without really learning anything. I've been thinking about the same kinds of problems (i.e. how to reliably learn mathematics) and one of my ideas is to use a formal proof checker. If you put yourself on a tough schedule that says something like "I will prove the first 10 theorems in PLoS by Wednesday", then when Wednesday comes around you will understand those 10 theorems. The proof checker does not allow hand-waving; if it accepts your proof, you know you've achieved something. It also should permit moments of insight where you say "hey... this proof is clunky... what was Jaynes thinking? I can derive this result in 5 lines of HOL light!"
This technique only works if you do what you commit to. Once you break your agreement, it stops working very well. You can work X amount, you cannot decide you will accomplish Y amount; what if it turns out one of the problems is much harder than you expected, or simply takes longer to work through, you will not get everything done, which will weaken the technique in the future.