<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-02-02 08:45:52Computability theory Theory of computation Mathematical logic Models of computation Theoretical computer science Gdel numbering Membrane computing Multiset Kurt Gdel Computable number Numbering Turing machine |
Add to Reading List |
Microsoft Word - IBSAlgorithms.doc | Lines Missing Every Random Point∗ Jack H. Lutz† Neil Lutz‡ AbstractDocID: 1qlxM - View Document |
| PDF DocumentDocID: 1pZ37 - View Document |
| A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009DocID: 1pMn0 - View Document |
| Microsoft Word - IBSAlgorithms.docDocID: 1p3sE - View Document |
| Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second,DocID: 1oyBY - View Document |