Translation

powered by

Banach inverse mapping theorem Brouwer Fixed-Point Theorem Church-Rosser Theorem Computational Adequacy Theorem DeMorgan's theorem four colour map theorem four colour theorem General Recursion Theorem Green's Theorem head normalisation theorem Infinite Monkey Theorem Nyquist Theorem prime number theorem

Green's Theorem four colour map theorem DeMorgan's theorem General Recursion Theorem head normalisation theorem Infinite Monkey Theorem Nyquist Theorem four colour theorem Computational Adequacy Theorem von Neumann ordinal Church-Rosser Theorem Carl Friedrich Gauss two-valued logic Isabelle Nqthm Axiom of Choice QA4 LOP CONNIVER Sequel Brouwer Fixed-Point Theorem prime number theorem metalanguage Nyquist frequency normal order reduction Banach inverse mapping theorem axiomatic set theory PLANNER Qu-Prolog graph colouring hairy ball webmonkey deductive tableau chromatic number ill-behaved norm bogo-sort De Bruijn notation complex number intuitionistic logic one-banana problem eigenvector Cantor Banach space occurs check Prolog Multipop-68 flame