4 citations · 4 across the 1 of their papers we have counts for
2 papers
math.LO2021
On the methodology of informal rigour: set theory, semantics, and intuitionism
Walter Dean, Hidenori Kurokawa
This paper provides a critical overview of Georg Kreisel's method of informal rigour, most famously presented in his 1967 paper `Informal rigour and completeness proofs'. After fir…
math.LO2020★ 4 cited
On consistency and existence in mathematics
Walter Dean
This paper engages the question "Does the consistency of a set of axioms entail the existence of a model in which they are satisfied?" within the frame of the Frege-Hilbert controv…