Characterising Computational Devices with Logical Systems

Whyman, Richard Arthur James (2018) Characterising Computational Devices with Logical Systems. PhD thesis, University of Leeds.



Supervisors: Kisil, Vladimir Vladimirovich
Related URLs:
Keywords: Computability theory, complexity theory, quantum computation, physical computation, super-Turing computation, atemporal computation, non-causal computation, computable analysis, infinite time Turing machines, first-order logic, and second-order logic
Awarding institution: University of Leeds
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Identification Number/EthosID:
Depositing User: Mr Richard Whyman
Date Deposited: 19 Dec 2018 11:38
Last Modified: 18 Feb 2020 12:49


Final eThesis - complete (pdf)



You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.