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      <p>\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, &quot;General Functi
 on\n        Theory&quot;, 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      </p>\n    \n      <p>For abstracts an
 d more information, see\n        <a target="_blank
 " href="http://www.math.uu.nl/people/jvoosten/semi
 nar.html">http://www.math.uu.nl/people/jvoosten/se
 minar.html</a>\n    </p>\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