Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

20-23 February 2014, Functions, proofs, constructions, Tuebingen, Germany

Date: 20-23 February 2014
Location: Tuebingen, Germany
Deadline: 1 September 2013

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.