[math-fun] detailed multi-panel cartoon illustrating a proof in mathematical logic ?
i recall looking over some years ago a very nice extended cartoon (it would be more apt to call it a graphical-novel proof, almost) of a theorem in mathematical logic, or maybe category theory. the illustration is not at a high level (ie it's not like, for example LOGICOMIX, but more like XKCD), but the math is real and quite detailed. it was not published book as far as i know. it is also not anything from XKCD. the subject matter was perhaps model theory, but i don't really remember. it features lots of simple characters with thought bubbles that contain embedded other bubbles, where what's in the bubbles is quite helpful for following the logic of the proof. i'd welcome a pointer to it if this rings a bell for anyone. -- Thane Plambeck tplambeck@gmail.com http://counterwave.com/
Maybe not what you're looking for but a moment's googling found https://www.scribd.com/doc/4844564/Cartoon-Guide-to-Lob-s-Theorem <https://www.scribd.com/doc/4844564/Cartoon-Guide-to-Lob-s-Theorem> which has bubbles within bubbles...
On Nov 15, 2017, at 11:03 AM, Thane Plambeck <tplambeck@gmail.com> wrote:
i recall looking over some years ago a very nice extended cartoon (it would be more apt to call it a graphical-novel proof, almost) of a theorem in mathematical logic, or maybe category theory. the illustration is not at a high level (ie it's not like, for example LOGICOMIX, but more like XKCD), but the math is real and quite detailed. it was not published book as far as i know. it is also not anything from XKCD. the subject matter was perhaps model theory, but i don't really remember. it features lots of simple characters with thought bubbles that contain embedded other bubbles, where what's in the bubbles is quite helpful for following the logic of the proof.
i'd welcome a pointer to it if this rings a bell for anyone.
-- Thane Plambeck tplambeck@gmail.com http://counterwave.com/ _______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
https://www.scribd.com/doc/4844564/Cartoon-Guide-to-Lob-s-Theorem Brent On 11/15/2017 11:03 AM, Thane Plambeck wrote:
i recall looking over some years ago a very nice extended cartoon (it would be more apt to call it a graphical-novel proof, almost) of a theorem in mathematical logic, or maybe category theory. the illustration is not at a high level (ie it's not like, for example LOGICOMIX, but more like XKCD), but the math is real and quite detailed. it was not published book as far as i know. it is also not anything from XKCD. the subject matter was perhaps model theory, but i don't really remember. it features lots of simple characters with thought bubbles that contain embedded other bubbles, where what's in the bubbles is quite helpful for following the logic of the proof.
i'd welcome a pointer to it if this rings a bell for anyone.
yes that is it! thanks On Wed, Nov 15, 2017 at 1:31 PM, Brent Meeker <meekerdb@verizon.net> wrote:
https://www.scribd.com/doc/4844564/Cartoon-Guide-to-Lob-s-Theorem
Brent
On 11/15/2017 11:03 AM, Thane Plambeck wrote:
i recall looking over some years ago a very nice extended cartoon (it would be more apt to call it a graphical-novel proof, almost) of a theorem in mathematical logic, or maybe category theory. the illustration is not at a high level (ie it's not like, for example LOGICOMIX, but more like XKCD), but the math is real and quite detailed. it was not published book as far as i know. it is also not anything from XKCD. the subject matter was perhaps model theory, but i don't really remember. it features lots of simple characters with thought bubbles that contain embedded other bubbles, where what's in the bubbles is quite helpful for following the logic of the proof.
i'd welcome a pointer to it if this rings a bell for anyone.
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
-- Thane Plambeck tplambeck@gmail.com http://counterwave.com/
participants (3)
-
Brent Meeker -
Marc LeBrun -
Thane Plambeck