inventors - Document - PDFSEARCH.IO - Document Search Engine

First Page		Document Content
Date: 2010-10-04 15:23:40 Science and technology in the United Kingdom Fellows of the Royal Society Elders of the Church of Scotland Scottish Science Hall of Fame Scottish inventors Peter Guthrie Tait Quaternion James Clerk Maxwell Tait Royal Society British people Edinburgh Academicals		Add to Reading List Source URL: www.robertnowlan.com Download Document from Source Website File Size: 155,67 KB Share Document on Facebook

	G¨odel on Intuition and on Hilbert’s finitism W. W. Tait∗ There are some puzzles about G¨odel’s published and unpublished remarks concerning finitism that have led some commentators to believe that his conception DocID: 1uZ17 - View Document
	Beyond the axioms: The question of objectivity in mathematics W. W. Tait∗ I DocID: 1uNI0 - View Document
	G¨odel’s unpublished papers on foundations of mathematics W. W. Tait∗ Kurt G¨ odel: Collected Works Volume III [G¨odel, 1995] contains a selection from G¨odel’s Nachlass; it consists of texts of lectures, notes DocID: 1uqrP - View Document
	Variable-free Formalization of the Curry-Howard Theory W. W. Tait The reduction of the lambda calculus to the theory of combinators in [Sch¨onﬁnkel, 1924] applies to positive implicational logic, i.e. to the typed lam DocID: 1ulFW - View Document
	REMARKS ON FINITISM W. W. TAIT† The background of these remarks is that in 1967, in ‘’Constructive reasoning” [27], I sketched an argument that ﬁnitist arithmetic coincides with primitive recursive arithmetic, DocID: 1ulmZ - View Document