« Explaining Science and Engineering | Main | Microsoft/NSF Cloud Research Partnership »

April 08, 2011

Comments

Feed You can follow this conversation by subscribing to the comment feed for this post.

Ken Forbus

Even back of the envelope reasoning will be automated eventually. Praveen Paritosh, one of my alums, did an elegant model of it as part of his Ph.D. thesis. There's a lot of research to do before "number checkers" take their place along side spell checkers in everyday life, but it's coming. An interesting challenge will be to design them so that they help bolster, instead of dull, the critical thinking skills of their users!

The comments to this entry are closed.

Dan Reed
Dan Reed

July 2024

Sun Mon Tue Wed Thu Fri Sat
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31      

Twitter Updates

    follow me on Twitter
    AddThis Social Bookmark Button

    Technorati

    • Add to Technorati Favorites