XOR’s Hammer · Scour

Generating Functions as Cardinality of Set Maps

xorshammer.com·752w

Mathematica and Quantifier Elimination

xorshammer.com·753w

A Logical Interpretation of Some Bits of Topology

xorshammer.com·776w

The Spectrum From Logic to Probability

xorshammer.com·818w

Topology and First-Order Modal Logic

xorshammer.com·845w

Two Interesting Observations about Voting I Hadn’t Seen Until Recently

xorshammer.com·847w

Quantish Physics: A Discrete Model of Quantum Physics

xorshammer.com·848w

Functions with Very Low Symmetry and the Continuum Hypothesis

xorshammer.com·878w

A Suite of Cool Logic Programs

xorshammer.com·888w

An Interesting Puzzle in Propositional Logic

xorshammer.com·893w

What Happens When You Iterate Gödel’s Theorem?

xorshammer.com·895w

Trigonometric Series and the Beginnings of Set Theory

xorshammer.com·909w

A Simple Introduction to Quantum Groups

xorshammer.com·910w

Doing Calculus on the Rationals (with the help of Nonstandard Analysis)

xorshammer.com·914w

Games Which are Impossible to Analyze

xorshammer.com·914w

How to Show that Games are Hard

xorshammer.com·915w

Another Puzzle in Recursion Theory: n-Enumerable Sets

xorshammer.com·916w

Two Puzzles in Recursion Theory: Verbose Sets and Terse Sets

xorshammer.com·918w

When are the Real Numbers Necessary?

xorshammer.com·918w

What Would the World Look Like if Everything was Computable?: An Introduction to Hyland’s Effective Topos

xorshammer.com·918w

Log in to enable infinite scrolling