I am a PhD student at the Mathematical Institute of the University of Bonn. My PhD topic combines mathematical logic with computational linguistics: I work on the Naproche project, whose goal is to logically and linguistically analyse the language of mathematics using computational methods, in particular to develop a computer system that can check natural language proofs for logical correctness.
18 History of set-class distinction sep 23
13 Consistency strength needed for applied mathematics feb 8 '11
4 Proving decidability of formula without deciding it oct 31 '13
0 Recovering a function from a set of approximations aug 17 '11