Declan Thompson
Declan Thompson
Home
Blogs
All blogs
AI Generated Art
Blogic
Background
Experience
Education
Awards and Scholarships
Projects
Publications and Talks
Contact
Recent Publications
Execution trace sets for real computation
Traditional models of computation and algorithms take a constructive approach, essentially considering a transition function over a …
Declan Thompson
Cite
Project
DOI
Computable Execution Traces
This paper gives an execution trace set based account of computability by imposing restrictions on sets of arbitrary sequences of …
Declan Thompson
Cite
Project
DOI
Local Fact Change Logic
We investigate a modal logic of model change, introducing a new operator which allows for changing the valuation at a particular state …
Declan Thompson
Cite
Project
DOI
Teaching Natural Deduction in the Right Order with Natural Deduction Planner
We describe a strategy-based approach to teaching natural deduction using a notation that emphasises the order in which deductions are …
Declan Thompson
,
Jeremy Seligman
Cite
Incompleteness, Undecidability and Automated Proofs
Incompleteness and undecidability have been used for many years as arguments against automatising the practice of mathematics. The …
Cristian S. Calude
,
Declan Thompson
Cite
See all publications
Recent & Upcoming Talks
Algorithms and Execution Traces
Dissertation defense In this talk I gave a very high-level overview of my dissertation project, focussing on the trace-based account of algorithms I eventually set out. I spend the first half of the talk providing an informal description of the account, before discussing details of where the challenges lay in defending it.
16 March 2023
Project
Slides
Computable Execution Traces & Algorithms
21 May 2021
Project
Slides
Towards a Formal Model of Algorithms
22 May 2020
Project
Slides
Formal Characterisations of Algorithm
Analyses of ‘algorithm’ as ’effective prodecure’ have given us a variety of formal models of computation, which …
27 February 2020
Project
Slides
Local Fact Change Logic, Memory Logic and Expressive Power
Local fact change logic (LFC) models the notion of a unilateral change in a network structure. It adds a single, innocent-looking model …
13 February 2020
Project
Slides
See all
Cite
×