Please note that this newsitem has been archived, and may contain outdated information or links.
20-23 February 2014, Functions, proofs, constructions, Tuebingen, Germany
The apparent dichotomy between proofs as constituted by inferential steps, and proofs as abstract 'unstructured' entities reflects the duality of the notion of function itself. Should functions be viewed as procedures - piecewise constituted by instructions - or are functions sorts of black boxes to be identified by what they do - giving a value for each input - rather than by how they do it? Are functions primarily given as the denotation of linguistic predicates (in a Fregean manner), or are they rather an already given domain which we disclose through language?
For more information and a full programme please visit http://ls.informatik.uni-tuebingen.de/FPC/.
We invite philosophers, historians as well as mathematician and
computer scientists willing to take part to the workshop to submit the
extended abstract
(max 2 pages) of a talk suitable for a 45 minutes to 1 hour presentation. Submission Deadline: September 1, 2013.
Please note that this newsitem has been archived, and may contain outdated information or links.