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 http://w
ww.illc.uva.nl/logic_tea/. For more information, p
lease contact Merlijn Sevenster (sevenstr at scien
ce.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).
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 \n The Lo
gic Tea homepage can be found at \n http://www.illc.uva.nl/logic_tea/.\n
For more information, please contact\n Merlijn Se
venster (sevenstr at science.uva.nl)\n or Hartmut Fitz
(hfitz at
hum.uva.nl).\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