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 lay-person. The broad topic is knowledge management across formal libraries, specifically libraries of formal mathematics obtained from (mostly) various computer-supported 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 Dunning-Krüger Effect in a Nutshell
- SAT Solving: DPLL, Clause Learning and Implication Graphs
Categories
Meta