BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/889/8-April-2005-Colloquium-on-Mathematical-Logic
-D-C-McCarty-The-Logic-Program-Indiana-University
DTSTAMP:20050317T000000
SUMMARY:Colloquium on Mathematical Logic, D.C. McC
arty, The Logic Program, Indiana University
ATTENDEE;ROLE=Speaker:D.C. McCarty, The Logic Prog
ram, Indiana University
DTSTART:20050408T160000
DTEND:20050408T000000
LOCATION:Room 048, Bestuursgebouw, Heidelberglaan
6, Utrecht\n (Bus 12 from Utrecht Central Sta
tion).
DESCRIPTION:Paul du Bois-Reymond was a noted mathe
matician and philosopher of the second half of the
19th Century, publishing on differential equation
s, analysis and the foundations of mathematics. Hi
s 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 th
at neither A nor not-A will ever be demonstrated b
y 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 w
ill describe that analysis and assess for their co
gency du Bois-Reymond's incompleteness arguments.
For abstracts and more information, see http://w
ww.math.uu.nl/people/jvoosten/seminar.html
X-ALT-DESC;FMTTYPE=text/html:\n \n
Paul du Bois-Reymond was a noted mathematician and
philosopher\n of the second half of the 19
th Century, publishing on\n differential eq
uations, analysis and the foundations of\n
mathematics. His magnum opus, "General Functi
on\n Theory", appeared in 1882 and con
tained what its author\n claimed to be a de
monstration that mathematics is absolutely\n
incomplete, that is, that there are mathematical
ly meaningful\n and significant proposition
s A such that neither A nor not-A\n will ev
er be demonstrated by mathematicians. His argument
s for\n this claim are not based on the ide
a of a formal system but on\n a detailed an
alysis of mathematical cognition. We will\n
describe that analysis and assess for their cogen
cy du\n Bois-Reymond's incompleteness argum
ents.\n

\n \n For abstracts an
d more information, see\n http://www.math.uu.nl/people/jvoosten/se
minar.html\n

\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/889/8-April-2005-Colloquium-on-Mathematical-Logic
-D-C-McCarty-The-Logic-Program-Indiana-University
END:VEVENT
END:VCALENDAR