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/899/4-Ap
 ril-2005-Logic-Tea-D-C-McCarty-The-Logic-Program-I
 ndiana-University
DTSTAMP:20050331T000000
SUMMARY:Logic Tea, D.C. McCarty, The Logic Program
 , Indiana University
ATTENDEE;ROLE=Speaker:D.C. McCarty, The Logic Prog
 ram, Indiana University
DTSTART;TZID=Europe/Amsterdam:20050404T171500
DTEND;TZID=Europe/Amsterdam:20050404T181500
LOCATION:Room P.017, Euclides Building, Plantage M
 uidergracht 24, Amsterdam
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. 
    The Logic Tea homepage can be found at https://
 www.illc.uva.nl/logic_tea/. For more information, 
 please contact Merlijn Sevenster (sevenstr at scie
 nce.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).
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>\n        The Lo
 gic Tea homepage can be found at \n        <a targ
 et="_blank" href="https://www.illc.uva.nl/logic_te
 a/">https://www.illc.uva.nl/logic_tea/</a>.\n     
    For more information, please contact\n Merlijn 
 Sevenster (<a class="email">sevenstr <span class="
 at">at</span> science.uva.nl</a>)\n or Hartmut Fit
 z (<a class="email">hfitz <span class="at">at</spa
 n> hum.uva.nl</a>).\n      </p>\n    
URL:/NewsandEvents/Archives/2005/newsitem/899/4-Ap
 ril-2005-Logic-Tea-D-C-McCarty-The-Logic-Program-I
 ndiana-University
END:VEVENT
END:VCALENDAR