arXiv subjects

Walter Dean

Publications and source records attributed to Walter Dean.

5 recordsLinked to original sources

arXiv2025

From real analysis to the sorites paradox via Reverse Mathematics

This paper presents a reverse mathematical analysis of several forms of the sorites paradox. We first illustrate how traditional formulations are reliant on H\"older's Representation Theorem for ordered Archimedean groups. While this is provable in RCA$_0$, we also consider two forms of the sorites which rest on non-constructive principles: the continuous sorites of Weber & Colyvan (2010) and a variant we refer to as the covering sorites. We show in the setting of second-order arithmetic that the former depends on the existence of suprema and thus on arithmetical comprehension (ACA$_0$) while the latter depends on the Heine-Borel Theorem and thus on Weak K\"onig's Lemma (WKL$_0$). We finally illustrate how recursive counterexamples to these principles provide resolutions to the corresponding paradoxes which can be contrasted with supervaluationist, epistemicist, and constructivist approaches.

math.LO↗

arXiv2024

Artifical intelligence and inherent mathematical difficulty

This paper explores the relationship of artificial intelligence to the task of resolving open questions in mathematics. We first present an updated version of a traditional argument that limitative results from computability and complexity theory show that proof discovery is an inherently difficult problem. We then illustrate how several recent applications of artificial intelligence-inspired methods -- respectively involving automated theorem proving, SAT-solvers, and large language models -- do indeed raise novel questions about the nature of mathematical proof. We also argue that the results obtained by such techniques do not tell against our basic argument. This is so because they are embodiments of brute force search and are thus capable of deciding only statements of low logical complexity.

math.HO↗

arXiv2021

On the methodology of informal rigour: set theory, semantics, and intuitionism

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 first considering Kreisel's own characterization in historical context, we then present two schemas under which we claim his various examples of informal rigour can be subsumed. We then present detailed reconstructions of his three original examples: his squeezing argument in favor of the adequacy of the model theoretic analysis of logical validity, his argument for the determinacy of the Continuum Hypothesis, and his refutation of Markov's principle in intuitionistic analysis. We conclude by offering a comparison of Kreisel's understanding of informal rigour with Carnap's method of explication. In an appendix, we also offer briefer reconstructions of Kreisel's attempts to apply informal rigour to the discovery of set theoretic axioms, the distinction between standard and nonstandard models of arithmetic, and the concepts of finitist proof, predicative definability, and intuitionistic validity.

math.LO↗

arXiv2020

On consistency and existence in mathematics

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 controversy. The question is related historically to the formulation, proof, and reception of G\"odel's Completeness Theorem. Tools from mathematical logic are then used to argue that there are precise senses in which Frege was correct to maintain that demonstrating consistency is as difficult as it can be but also in which Hilbert was correct to maintain that demonstrating existence given consistency is as easy as it can be.

math.LO↗

arXiv2016

The Prehistory of the Subsystems of Second-Order Arithmetic

This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long arc from Poincar\'e to Feferman as concerns arithmetic definability and provability, (ii) the interplay between finitism and the formalization of analysis in the lecture notes and publications of Hilbert and Bernays, (iii) the uncertainty as to the constructive status of principles equivalent to Weak K\"onig's Lemma, and (iv) the large-scale intellectual backdrop to arithmetical transfinite recursion in descriptive set theory and its effectivization by Borel, Lusin, Addison, and others.

math.HO↗