Passionate self-taught mathematician who likes all fields of pure mathematics (and formal mathematics!)