Decidable
| undecidable | Variants of Turing Machines | On Formally Undecidable Propositions of Principia Mathematica and Related Systems | Presburger Arithmetic |
| foundations of mathematics |
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.