Walter Dean

Available identifiers

Publication	Date of Publication	Type
Bernays and the Completeness Theorem	2023-03-09	Paper
Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause	2022-06-03	Paper
On the methodology of informal rigour: set theory, semantics, and intuitionism	2021-04-30	Paper
Erratum to: Computational Complexity Theory and the Philosophy of Mathematics	2021-02-09	Paper
Computational Complexity Theory and the Philosophy of Mathematics†	2020-09-30	Paper
INCOMPLETENESS VIA PARADOX AND COMPLETENESS	2020-08-26	Paper
On consistency and existence in mathematics	2020-07-20	Paper
Algorithms and the Mathematical Foundations of Computer Science	2020-04-02	Paper
STRICT FINITISM, FEASIBILITY, AND THE SORITES	2018-08-07	Paper
THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC	2017-07-06	Paper
Arithmetical Reflection and the Provability of Soundness	2017-03-03	Paper
Squeezing Feasibility	2016-08-17	Paper
Models and Computability	2015-11-04	Paper
Montague's paradox, informal provability, and explicit modal logic	2014-06-04	Paper
The paradox of the knower revisited	2014-01-13	Paper
From the knowability paradox to the existence of proofs	2011-02-25	Paper
The logic of campaigning	2010-12-17	Paper

This page was built for person: Walter Dean