I’m Dennis Müller, a nerdy Ph.D. student with interests in logic, computer science, mathematics, philosophy, physics, cognition, rationality, music, science and knowledge in general.
My Ph.D. is in computer science, more precisely in the area of mathematical knowledge management in the KWARC research group, originally at Jacobs University, Bremen, since October 2016 at Friedrich Alexander University Erlangen-Nürnberg, Germany, and not coincidentally my undergraduate and graduate degrees are in mathematics (with a minor in philosophy). The latter two I got at University Freiburg, where I initially enrolled in physics – until I took a course in mathematical logic, which caused me to switch my major to mathematics. Before I went to university, I tried my hands on a career as a professional jazz guitarist (yes, I am aware of the contradiction in terms) for four years.
- 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 Dunning-Krüger Effect in a Nutshell
- SAT Solving: DPLL, Clause Learning and Implication Graphs