- #1

- 326

- 0

## Main Question or Discussion Point

I'm interested in finding out who on this board has been afflicted with an unfortunate desire to become a logician, and what your interests are.

I'll start:

I'm interested in proof theory (presently I'm trying to learn about the Curry Howard Isomorphism), applications of model theory to number theory/algebraic geometry, reverse mathematics and some ideas from category theory/categorical logic.

I'm also very open to becoming an algebraic geometer, if I end up being a mathematician rather than a logician.

So, does anyone else like logic?

I'll start:

I'm interested in proof theory (presently I'm trying to learn about the Curry Howard Isomorphism), applications of model theory to number theory/algebraic geometry, reverse mathematics and some ideas from category theory/categorical logic.

I'm also very open to becoming an algebraic geometer, if I end up being a mathematician rather than a logician.

So, does anyone else like logic?