hypercomputation

oracle Turing machine	infinity and human intuition	A New Kind of Science	Church-Turing Thesis
Super-Omegas	algorithmic information theory	Random	God made the integers, all else is the work of man
limit ordinal	Rice's Theorem	undecidable	recursively enumerable
Universal Turing Machine	Kolmogorov complexity	noncomputable	Theory of Computation
quantum computer	You'll never work in this town again!	Halting problem	Entscheidungsproblem
continuum	computable	Gödel's theorem	Turing Machine

Log in or register to write something here or to contact authors.