Einer der PostDoc-Workshops des Heidelberg Laureate Forums am Montagnachmittag trug den ungewöhnlichen Titel “An Introduction to Reverse Mathematics” (TB: wörtlich “Eine Einführung in die umgedrehte Mathematik“). Gut, zugegeben, mein Mathematikstudium liegt inzwischen auch eine gewisse …