Yet another weird SF fan
 I'm a mathematician, a libertarian, and a science-fiction fan. Common sense? What's that?Go to first entry

## Archives

<< current

 Yet another weird SF fan

### Fermat's Last Theorem and Set Theory, Part III

After noticing that the incomprehensibility of the results of expressing Fermat's Last Theorem in set theory rivals that of machine code, I wondered if it's possible to write a compiler in $$\mathrm{\TeX}$$. It's possible to write a Basic interpreter in $$\mathrm{\TeX}$$.