(image source) One of our undergrad students recently finished his B.Sc. thesis on a serious game intended to teach the player to apply maths to realworld problems (this is probably going to be worth its own blog post, once the paper is publicly available somewhere), which got me thinking about other ways to teach math…
Why I tattooed Gödel on my arm
This is what the tattoo on my arm looks like (well – looked like right after I got it. You can still see the skin being noticably red/pale around it). It’s been designed by my flatmate at the time, Gwen. Without the arm it looks like this: Probably still not too legible, so let’s get…
How to piss of the guitarguy at the music shop (Also: how guitars work)
My baby I recently brought my baby to the hospital. And by baby, I mean favorite guitar. And by hospital, I mean music shop. The reason being that I wanted to tune down quite a lot and it needed to be readjusted. The guitar in question is an Ibanez Universe 7String guitar, which I wanted…
What am I doing here? (My research topic)
In this post, I will try to explain what my Ph.D. is going to be about – of course, you can just read my proposal, but I assume that’s not really accessible to a layperson. The broad topic is knowledge management across formal libraries, specifically libraries of formal mathematics obtained from (mostly) various computersupported theorem…
How did I get here? (CV)
So, given that my CV is a bit more… nonlinear than most people’s, I figured that might be worth a post on its own: I graduated (the german equivalent of) high school in GarmischPartenkirchen 2006, majoring in Math and English, at which point my plan was to study jazz guitar and make a living as…
Pages

Recent Posts
 Math Crankery with John Gabriel – “Cauchy’s Kludge”
 Math Crankery with John Gabriel – Calculus 102 (Cauchy Sequences and the Real Numbers)
 Math Crankery with John Gabriel – Calculus 101 (Convergence and Derivatives)
 Math Crankery with John Gabriel – The DunningKrüger Effect in a Nutshell
 SAT Solving: DPLL, Clause Learning and Implication Graphs
Categories
Meta