(Previous post on John Gabriel: Calculus 102 (Cauchy Sequences and the Real Numbers)) Alright, now that we’ve tackled the basic definitions and theorems regarding calculus, we can start looking at Gabriel’s first video on calculus. 2. Cauchy’s Kludge Before we start, let’s play a little game. The above image is a screenshot of Gabriel’s video,…
Math Crankery with John Gabriel – Calculus 102 (Cauchy Sequences and the Real Numbers)
(Previous post on John Gabriel: Calculus 101 (Convergence and Derivatives)) Okay, now that we know what sequences are and what it means for a sequence to converge to some limit, we can finally start talking about real numbers: Irrational Numbers and Cauchy Sequences Basically the whole point of real numbers is to make the rational…
Math Crankery with John Gabriel – Calculus 101 (Convergence and Derivatives)
(Previous post on John Gabriel: The DunningKrüger Effect in a Nutshell) Few people can ever begin to match my intelligence and depth of insight. I am not arrogant or deluded.John Gabriel Yeah. That’s an actual quote. I’ve been made aware of Gabriel’s LinkedIn page, where he wrote hilarious posts about his new calculus and his…
Math Crankery with John Gabriel – The DunningKrüger Effect in a Nutshell
So, this crank John Gabriel exploded on the Mathmatical Mathematics Memes page on facebook recently, and he’s hilarious. Now, there’s cranks in every area of science of course; most notably in physics (quantum woo), biology (creationists), geology (creationists again), history (creationists again, holocaustdeniers), philosophy (theologians 😉) and of course medicine (alternative medicine, faith healing…), but…
SAT Solving: DPLL, Clause Learning and Implication Graphs
This post is primarily directed at students in the AI class at University Erlangen to explain the DavisPutnam (LogemannLoveland) Algorithm for SAT solving and implication graphs for clause learning. The goal in a SAT problem is to find an assignment that satisfies a set of propositional formulae \( \Delta\), or a proof that none exist,…
Basics of Abstract Logic (Also: A Pointless but Fun, Correct and Complete Calculus for Divisibility)
This post is primarily directed at students in the AI class at University Erlangen to explain the basics, and in particular the formalism we use in the lectures, of abstract logic. In its (not actually, but for our purposes) most abstract form, a logical system consists of three things: A language \(\mathbb L\), i.e. a…
MetaMetaTools and Theory Graphs (What is MMT?)
I work a lot with and on a particular piece of software called MMT, which was developed by Florian, so this is my attempt to explain what it does – which is not exactly easy, as you’ll see, but one of the things you can do with MMT is make computers (on some level) understand…
A Naturalist Response to Alvin Plantinga: “Science & Religion – Where the Conflict Really Lies”
I stumbled upon this talk by Alvin Plantinga recently. In case you don’t know who Plantinga is: He’s an american philosopher and christian apologist, most famous for his version of the modal ontological argument and the evolutionary argument against naturalism, which he also presents in this lecture. And at certain times he’s so wrong it’s…
New Song – Bananifold
So, I finally managed to record the new song I promised here. The video is here: I figured I might try going a bit into detail, in case anyone’s interested – I’m not sure, why they should be, but who knows 🙂 The title Bananifold is a stupid math joke I like that started here…
An RPG magic system based on logic
(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…
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