Super Special Seminar Walter Dean (Warwick) On consistency and existence in mathematics
Abstract: Following the publication of his Foundations of Geometry in 1899, David Hilbert engaged in a well-known debate with Frege which concerned (amongst other things) the question of whether the consistency…