First Page | Document Content | |
---|---|---|
![]() Date: 2008-03-25 23:53:18Applied mathematics Theory of computation Systems Complex systems theory Cybernetics Computable function Church–Turing thesis Complexity Hypercyclic morphogenesis Theoretical computer science Science Computability theory | Source URL: cob.jmu.eduDownload Document from Source WebsiteFile Size: 100,50 KBShare Document on Facebook |
![]() | arXiv:1512.03024v2 [cs.LO] 8 DecComparing representations for function spaces in computable analysis Arno PaulyDocID: 1sRZe - View Document |
![]() | A brief introduction to Higher Order Logic and the HOL proof assistant Monica NesiDocID: 1rjEK - View Document |
![]() | 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 |