ext_8127 ([identity profile] cartesiandaemon.livejournal.com) wrote in [personal profile] simont 2006-05-30 02:55 pm (UTC)

Indeed. Though I notice that, eg. Real Maths (TM), I feel *ought* to work the way way you want things to work (solve this problem or not), actually is somewhere between (someone solves parts of it, someone eventually pulls all the pieces together and I go kaching, and then people endlessly automate it, turning a 200 page original proof into a 1 page technique taught to undergrads :))

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting