The Multiverse According to Ben

 I haven't written song lyrics for quite some years but was recently inspired to update the lyrics of a song I wrote back in the late 90...

It has occurred to me many times, as I played with my various offspring (4 kids and one grandchild so far, one more little daughter due Febr...

It’s not that often I encounter a newly authored book that I consider a “must read” and avidly recommend to all my friends and colleagues --...

   … and some Thoughts on Syntactic vs. Semantic Approaches to Guiding Automated Theorem Proving Quite a few people have been asking me thes...