If you looked at my appeal for A-to-Z topics for the letter G, when I posted it a couple weeks back, you maybe looked over a bunch of essays I quite liked. I still do; G has been a pretty good letter for me. So one of the archive pieces I’d like to bring back to attention is Grammar, from the Leap Day 2016 A-to-Z. It’s about how we study how to make mathematical systems. That you can form theorems about the mechanism for forming theorems is a wild discovery, and the subject can be hard to understand. At least some of its basic principles are accessible, I hope.
And if you’d like me to discuss more topics in mathematical logic, or other fields of mathematics that start with J, K, or L, please leave a comment at this link. Thank you.