Archives
The Hardest Logic Puzzle Ever
30 Dec 2011 | 2 Comments »
Category(s): Fun, Maths & Science
Tag(s): boolean algebra, boolean logic, counterfactuals, formal logic, john mccarthy, logic, logic puzzles, logical formula, logical paradox, markup language, material implication, math, mathematical logic, mathematics, natural language, paradox, paradoxes, proofs, propositional calculus, propositional formula, propositional logic, propositional variables, puzzles, raymond smullyan, sentential calculus, sentential logic, the hardest logic puzzle ever, traveller's paradox, XOR, zeroth order logic
The Traveller’s Paradox
02 Mar 2010 | 6 Comments »
Category(s): Arts & Humanities, Fun, Maths & Science, Philosophy
Tag(s): boolean algebra, boolean logic, dilemmas, fairy tales, fantasy, first order logic, formal language, formal logic, formal system, formula, logic, logic puzzles, logical connectives, logical operators, logical paradox, math, mathematical logic, mathematics, metamathematics, paradox, paradoxes, predicate logic, proof, proof theory, propositional calculus, propositional formula, propositional logic, propositional variables, puzzles, sentential calculus, sentential logic, story, traveller's paradox, well-formed formula, zeroth order logic