Logic and Foundations
- 265
- On Computable Numbers with an Application to the Entscheidungsproblem
- Turing's paper which discusses the halting problem in the context of Gödel's Incompleteness Theorem. HTML.
- 266
- Turing Digital Archive
- Digital archive of items relating to Alan Turing hosted at King's College, Cambridge.
- 267
- Alan Turing: Inquest’s suicide verdict “not supportable”
- The BBC reports on new doubt about whether Alan Turning committed suicide. (June 23, 2012)
- 270
- Implementing Mathematics Using NuPrl
- Full online text of the book. Includes tutorial on Martin-Löf's type theory, motivating remarks on intuitionism, as well as sample formalisations of constructive mathematics in the NuPrl theorem prover.
- 271
- Nuprl Project Related Web Sites
- NuPRL is the oldest theorem prover based on Martin-Löf's Type Theory.
- 280
- A New Deconstructive Logic: Linear Logic (1997)
- Article by V. Danos, J.-B. Joinet and H. Schellinx outlining how linear logic can function as a `mark-up logic' allowing the embedding of a large class of logics in a manner that respects their underlying proof semantics (cf. Nuel Belnap's Display Logic).