Recalling our mention of algebra recently, something occured to me while I was looking at popular math books (e.g, Ian Stewart's lovely books).|
I am not aware of any quality (i.e., rigorous) popular math book that uses an executable notation (a programming language).
Someone should really give it a go (I guess the best way would be to convince a mathematician to take you as a co-author ).
While writing this messages I suddenly remembered the J books. But one would hope for something that uses a more mainstream language. Something popular, like Scheme or Haskell...
Not really a popular science book, but somewhat related to this issue is Gerald Sussman and Jack Wisdom mechanics book.