Logic Proof-Sketches in Rhymed verse
Has rhymed sketchy outlines of the diagonalization lemma, Gödel’s first theorem, and the Gödel-Rosser theorem.
-
‹ Home
-
Tags
about me Adventures in a Foreign Land Almudy Park burn c# C/C++ commercial compositions Flash flickgame flixel games geometry graphics haskell haxe haxegon hopengl hsProcMusic html html5 javascript Lerdahl lightcone maths music music theory opengl prototypes puzzlescript python rara racer Ren'Py stories structuralism TADS 3 terrylib tools tormentations toy tutorials Twine unity word algorithms writing
Links
-
RSS Feeds
-
Meta