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 '15
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