\n

URL:/NewsandEvents/Archives/2014/newsitem/5075/20-
23-February-2014-Functions-proofs-constructions-Tu
ebingen-Germany
END:VEVENT
END:VCALENDAR
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

\n