Walter Dean

According to our database, Walter Dean authored at least 11 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Artifical intelligence and inherent mathematical difficulty.

Walter Dean, Alberto Naibo

CoRR, 2024

2020

Incompleteness via Paradox and Completeness.

Walter Dean

Rev. Symb. Log., 2020

2018

Strict finitism, Feasibility, and the Sorites.

Walter Dean

Rev. Symb. Log., 2018

2017

The Prehistory of the Subsystems of second-order Arithmetic.

Walter Dean, Sean Walsh

Rev. Symb. Log., 2017

2016

Squeezing Feasibility.

Walter Dean

Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016

Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause.

Walter Dean, Hidenori Kurokawa

Proceedings of the Advances in Proof-Theoretic Semantics., 2016

2014

Montague's Paradox, Informal Provability, and Explicit Modal Logic.

Walter Dean

Notre Dame J. Formal Log., 2014

The Paradox of the Knower revisited.

Walter Dean, Hidenori Kurokawa

Ann. Pure Appl. Log., 2014

2011

The Logic of Campaigning.

Walter Dean, Rohit Parikh

Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011

2010

From the Knowability Paradox to the existence of proofs.

Walter Dean, Hidenori Kurokawa

Synth., 2010

2009

Knowledge, proof and the Knower.

Walter Dean, Hidenori Kurokawa

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009