The reason I haven’t been publishing many articles lately is because I’ve been doing my General Examination for candidacy for a PhD. This is basically the hardest test you can take in academia. Four committee members, each posing somewhere from 3 to 6 problems, 2 weeks to do them all (I started Monday), and then it’s all topped with an oral exam at the end. And some of these are pretty serious problems. I’ve been doing almost nothing but math for the past five days! Wake up, prove things, eat, shower, go to sleep. It’s almost like a mini boot camp. ;) After this test, the only thing left is the actual dissertation itself. Soon it’ll be time for me to move on to a new chapter of life :)

I’ve noticed something during these past five days. Like going to a foreign country and suddenly getting a lot better at the local language, my mathematics skills have really shot up noticeably. It’s like my mind is diverting all resources toward math. I’ll be sitting there eating dinner (tonight we had a delicious half-Italian half-Japanese feast) and even chatting, but inside my mind, the gears are spinning madly thinking about Turing machines and formulas and ordinal analysis. Kind of like The Terminator, I see the world behind a screen of rapidly-scrolling theorems and definitions. ;)

So far, I’ve solved nine questions out of seventeen, great progress, but of course those nine include a lot of the low-hanging fruit. I love computability theory and I loved the exercises which involved that. I solved them all pretty fast except for one, which is quite a stumper. The hardest exercises for me are the model theory ones. I’m gifted with a brilliant intuition about all things computable, and that intuition just doesn’t help when the questions start talking about omega-categoricity, saturated models, and so on. Even questions which look computability-theoretical (“Show that this theory is decidable”) end up being thinly veiled categoricity or model completeness questions.

After furiously writing dozens and dozens of pages of math, today for the first time on the whole general exam, I applied some old-school calculus. Computed a derivative as part of the work to show a certain model wasn’t o-minimal. Maybe tomorrow I’ll compute a definite integral and the result will be the proof-theoretic ordinal of RCA_0. ;)

The past few days I’ve really been missing writing articles. I always feel like the universe is giving me so much great material to share. Fortunately the nature of the internet is, I can stop writing and all my published articles are still here, providing value, even while I sleep and dream of ultrafilters and diagonalization arguments. ;) And speaking of sleep, it’s time to go recover my energy, tomorrow I’m gonna logic like nobody’s logic’d before!

FURTHER READING

Busy Beaver Numbers
The Halting Problem
Mathematical Maturity
Ambiguities in Mathematics

Discuss this article in the Article Forum.