If you need to contact MarkCC, his email address is email@example.com. You can also find him on twitter as MarkCC.
- Aiken on π really is wrong!
- Finally: Gödel’s Proof of Incompleteness! | Good Math/Bad Math on G&oum;del Numbering: Encoding Logic as Numbers
- Programs As Proofs: Models and Types in the Lambda Calculus | Good Math/Bad Math on The Kripke Model for Intuitionistic Logic
- Programs As Proofs: Models and Types in the Lambda Calculus | Good Math/Bad Math on Intuitionistic Logic (partial rerun)
- A Really Simple Turing Machine simulator in Python | Computers, Science, & Computer Science on Turing Machines - what they are, what they aren't.
Tagsantisemitism atheism automata bad math Bad Physics bias book cantor crank category theory chomsky christianity computability computation cooking crackpottery fuzziness Fuzzy fuzzy logic global warming godel grammar incompleteness logic mental illness Meta morons music pathological programming physics pi planar geometry politics preaching probability Programming rant recipe stupidity symmetry teco topoi topology Uncategorized units woo