Coba ceritain soal Ulrich Kohlenbach

Ulrich Wilhelm Kohlenbach () adalah seorang matematikawan Jerman dan profesor aljabar dan logika di Technische Universität Darmstadt. Peminatan risetnya adalah bidang proof mining.