BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2005/newsitem/889/8-Ap
ril-2005-Colloquium-on-Mathematical-Logic-D-C-McCa
rty-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;TZID=Europe/Amsterdam:20050408T160000
DTEND;TZID=Europe/Amsterdam: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/Archives/2005/newsitem/889/8-Ap
ril-2005-Colloquium-on-Mathematical-Logic-D-C-McCa
rty-The-Logic-Program-Indiana-University
END:VEVENT
END:VCALENDAR