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…