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…
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