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/2014/newsitem/5075/20- 23-February-2014-Functions-proofs-constructions-Tu ebingen-Germany DTSTAMP:20140127T000000 SUMMARY:Functions, proofs, constructions, Tuebinge n, Germany DTSTART;VALUE=DATE:20140220 DTEND;VALUE=DATE:20140223 LOCATION:Tuebingen, Germany DESCRIPTION:The apparent dichotomy between proofs as constituted by inferential steps, and proofs as abstract 'unstructured' entities reflects the dua lity of the notion of function itself. Should func tions be viewed as procedures - piecewise constitu ted by instructions - or are functions sorts of bl ack boxes to be identified by what they do - givin g a value for each input - rather than by how they do it? Are functions primarily given as the denot ation of linguistic predicates (in a Fregean manne r), or are they rather an already given domain whi ch we disclose through language? For more inform ation and a full programme please visit http://ls. informatik.uni-tuebingen.de/FPC/. We invite phil osophers, historians as well as mathematician and computer scientists willing to take part to the wo rkshop to submit the extended abstract (max 2 page s) of a talk suitable for a 45 minutes to 1 hour p resentation. Submission Deadline: September 1, 201 3. X-ALT-DESC;FMTTYPE=text/html:
The a pparent dichotomy between proofs as constituted by inferential\n steps, and proofs as abstrac t 'unstructured' entities reflects the\n du ality of the notion of function itself. Should fun ctions be viewed\n as procedures - piecewis e constituted by instructions - or are functions\n sorts of black boxes to be identified by w hat they do - giving a value\n for each inp ut - rather than by how they do it? Are functions\ n primarily given as the denotation of ling uistic predicates (in a\n Fregean manner), or are they rather an already given domain which w e\n disclose through language?\n
\ n \n \nFor more information and a full programme please visit\n http://ls.informatik.uni-tuebingen.de/FPC/< /a>.\n
We invite ph
ilosophers, historians as well as mathematician an
d\n computer scientists willing to take par
t to the workshop to submit the\n extended
abstract\n (max 2 pages) of a talk suitable
for a 45 minutes to 1 hour presentation. Submissi
on Deadline: September 1, 2013.
\n