Logician, musician, special edition. I run upper division math at Chaminade University, and study computability theory/LEAN when I can. Opinions my own. He/him.
Honolulu, HI
- Tweets 3,118
- Following 35
- Followers 262
- Likes 55,496
