Many people on this list think deeply about pedagogy; perhaps the following article published in the Notices of the American Mathematical Society, which advocates teaching logical thinking via Scheme programming before advancing to the usual university mathematics curriculum (calculus, etc.), may be of interest.
http://www.ams.org/notices/201406/rnoti-p597.pdf Brad ____________________ Racket Users list: http://lists.racket-lang.org/users
