• Source: Ulrich Kohlenbach

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




Referensi






Pranala luar


Ulrich Kohlenbach's official website at Technische Universität Darmstadt

Kata Kunci Pencarian:

• Ulrich Kohlenbach
• Ulrich Kohlenbach
• Disjunction and existence properties
• Annals of Pure and Applied Logic
• Proof mining
• Mathematical logic
• Reverse mathematics
• German Association for Mathematical Logic and for Basic Research in the Exact Sciences
• List of International Congresses of Mathematicians Plenary and Invited Speakers
• Heyting arithmetic
• Dialectica interpretation