Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

8 April 2005, Colloquium on Mathematical Logic, D.C. McCarty, The Logic Program, Indiana University

Speaker: D.C. McCarty, The Logic Program, Indiana University
Title: An Incompleteness Argument from the 19th Century
Date: Friday 8 April 2005
Time: 16:00
Location: Room 048, Bestuursgebouw, Heidelberglaan 6, Utrecht
(Bus 12 from Utrecht Central Station).

Paul du Bois-Reymond was a noted mathematician and philosopher of the second half of the 19th Century, publishing on differential equations, analysis and the foundations of mathematics. His magnum opus, "General Function Theory", appeared in 1882 and contained what its author claimed to be a demonstration that mathematics is absolutely incomplete, that is, that there are mathematically meaningful and significant propositions A such that neither A nor not-A will ever be demonstrated by mathematicians. His arguments for this claim are not based on the idea of a formal system but on a detailed analysis of mathematical cognition. We will describe that analysis and assess for their cogency du Bois-Reymond's incompleteness arguments.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

Please note that this newsitem has been archived, and may contain outdated information or links.