Kamu bisa jelasin ke aku 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.