I recognize this content from Hersh and Davis's later book "The Mathematical Experience," which I really like.