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

April 08, 2011


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

April 2020

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    


  • The postings on this site are my own and don’t necessarily represent the University of Iowa's positions, strategies or opinions.

Twitter Updates

    follow me on Twitter
    AddThis Social Bookmark Button


    • Add to Technorati Favorites