The Mathematician as a Formalist

The Mathematician as a Formalist (1998)

by H. G. Dales

Venue:	in Truth in Mathematics (H.G. Dales and
Citations:	1 - 0 self

	Questions on Automatic Continuity – Garth Dales
1	Truth and the foundations of mathematics. An introduction – H. G. Dales, G. Oliveri
	A history of conferences on Banach algebras – Garth Dales
	Automatic continuity for Banach algebras – The Basic Question
	Foundations of Regular Variation – N. H. Bingham, A. J. Ostaszewski
	Models and recursivity – Walter Dean - 2002
1	Logicism Reconsidered – Agustín Rayo - 2005
6	Computers, Reasoning and Mathematical Practice – Ursula Martin
8	Roots of Refactoring – Jan Philipps, Bernhard Rumpe - 2001
3	Varieties of Mathematical Prose – Atish Bagchi, Charles Wells - 1997
3	On the Parity of Graph Spanning Tree Numbers – David Eppstein - 1996
	Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
	Conceptions of the Continuum – Solomon Feferman
	Gödel on Intuition and on Hilbert’s finitism – W. W. Tait
2	Constructing Cardinals from below – W. W. Tait
2	Gödel's Unpublished Papers on Foundations of Mathematics – W. W. Tait
	In Defense of the Ideal 2nd DRAFT – W. W. Tait
2	Is the Continuum Hypothesis a definite mathematical problem? – Solomon Feferman
4	Leveraging Non-Lexical Knowledge for the Linked Open Data Web – Denny Vr, Markus Krötzsch, Sebastian Rudolph, Uta Lösch