The “Two Envelope Paradox” is an intriguing puzzle that some prefer to solve using the logic of Bayesian probability. Can we avoid Bayes with a classic solution or a realistic experiment?
Euclidean geometry is based on Euclid’s axioms and postulates. What do the Euclidean axioms say, and why are they so important in math?
Alan Turing (1912-1954) “invented” the Turing machine (TM) as a powerful theoretical model for mathematicians exploring rules-based mathematics. The Non-deterministic Turing machine, or NTM, extends the basic concept by permitting multiple instructions for one state-input combination. The Deterministic Turing Machine A Turing machine has a finite number of states, symbols and instructions. A pattern of symbols are presented on […]
A Turing machine, or TM, is a theoretical model devised by Alan Turing to explore the limits of rule-based math. The model has a finite number of rules, states and symbols, and an infinite tape with cells, each of which can contain a single symbol. The TM can either read the current cell, rewrite it, […]