Philosophy News
'Two Historical Regimes of Desire' - Miguel Beistegui will be giving a talk at the University of Amsterdam on the 8th November
On Friday afternoon, November 8 (14.00-18.00), there will be a presentation from Miguel Beistegui (Dep. of Philosophy, Warwick) and Chiara Bottici (New School for Social Research, NYC). The paper will be spread about a week in advance to all participants.
Walter Dean will be speaking at HaPoC 2013 : 2nd International Conference on the History and Philosophy of Computing, in Paris, France
Algorithms and Ontology
The broad goal of this paper is to bring to the attention of philosophers of mathematics and computation the concept of \textsl{algorithm} (e.g Euclid's algorithm, Strassen's algorithm, the Gröbner basis algorithm) as it is studied in contemporary theoretical computer science, and at the same time address several foundational questions about the role this notion plays in mathematical practice. A variety of considerations such as the need to prove correctness and provide running time analyses suggest that algorithms ought to be assimilated to mathematical objects such as models of computation or recursion schemes -- a view which is embodied by the well-known proposals of Yiannis Moschovakis and Yuri Gurevich. I will suggest instead that a variety of considerations grounded in complexity theory and algorithmic analysis serve as in principle obstacles to making such an identification.
28-31 Oct 2013 Paris (France)
"Arithmetical reflection, induction, and the provability of soundness" Midlands Logic Seminar on 15 November 2013, with Walter Dean
The Midlands Logic Seminar aims to cover all areas of mathematical logic, as well as related areas of theoretical computer science, and philosophy of mathematics. This seminar takes place at the University of Birmingham
Professor Dean recently gave a similar talk at the 14th Midwest PhilMath Workshop, held at the University of Notre Dame, Indiana.