The following pages link to Turing machine
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Reduced instruction set computer (links | edit)
- General recursive function (links | edit)
- Set (mathematics) (links | edit)
- Soundness (links | edit)
- Set theory (links | edit)
- Subset (links | edit)
- Structured programming (links | edit)
- String (computer science) (links | edit)
- Surjective function (links | edit)
- Static program analysis (links | edit)
- Side effect (computer science) (links | edit)
- Theory of computation (links | edit)
- Turing machine (links | edit)
- Transfinite induction (links | edit)
- Turing completeness (links | edit)
- Theorem (links | edit)
- Uncountable set (links | edit)
- Unary numeral system (links | edit)
- VAX (links | edit)
- X86 (links | edit)
- Occam's razor (links | edit)
- SPARC (links | edit)
- Conway's Game of Life (links | edit)
- Thought (links | edit)
- Floating-point unit (links | edit)
- Novikov self-consistency principle (links | edit)
- Collatz conjecture (links | edit)
- Actual infinity (links | edit)
- Multiplexer (links | edit)
- PSPACE (links | edit)
- Type theory (links | edit)
- Group theory (links | edit)
- Arity (links | edit)
- Warren Sturgis McCulloch (links | edit)
- Goldbach's conjecture (links | edit)
- 8-bit computing (links | edit)
- Injective function (links | edit)
- Russell's paradox (links | edit)
- Philosophy of mathematics (links | edit)
- Instruction set architecture (links | edit)
- Union (set theory) (links | edit)
- Syllogism (links | edit)
- Fuzzy logic (links | edit)
- Thought experiment (links | edit)
- Alonzo Church (links | edit)
- Domain of a function (links | edit)
- Codomain (links | edit)
- Natural deduction (links | edit)
- Cantor's diagonal argument (links | edit)
- Zorn's lemma (links | edit)