Computability – considered in the light of the Master Argument
Computation is largely treated today as the procedure to »mechanize« »logics«. Our interest with a projective theory on technology is not to reject (negate) or affirm (analyse) the assumptions involved, but to sort them out strategically. Our interest is to complement the scientistic paradigm of »control« for theorizing technology with a humanistic dimension of ability and artistic mastership. This interest has a long tradition in philosophy, and crystallizes in the so-called Master Argument. The Master Argument regards the possibility if and how we can meaningfully and methodically involve temporality and self-referentiality into logical/formal considerations. The inferential structure of the Master Argument has first been articulated by Diodorus Cronus in the 3rd century BC, and tries to formalize a paradox which has preoccupied all the main steps of development in systematical thought ever since. This is why the many attempts to formalize this paradox provide, for our projective theory interest, a rich and differentiated reflecting surface that allows to investigate, comparatistically, how these questions have been treated over time.
While the philosophical interest in the Master Argument was mainly in questions of legitimation and foundation, our interest in it is operational. We will not take, allegorically speaking, the position of the Despotic Priest, the Philosopher King, the Statesman or the Assigned Administrator, but that of the Symbolical Metallurgist. In short: we will seek to extract from the Master Argument and its history a template that allows us to cultive computing as an ability, namely the template of a mechanism for learning how to learn when being equiped with the generic methods of algebra.
We will read Jules Vuillemin‘s book Necessity and Contingency, The Master Argument (Center for the Study of Language and Information, Stanford University Press 1996). The historical account he gives is framed by the rôle of probabilistics for Information Science and Computing, and thereby especially relevant.
If you are interested in participating please email until September 28 to: buehlmann at arch.ethz.ch The texts are avaliable in PDF version upon request.
Jules Vuillemin, Necessity and Contingency.The Master Argument, Center for the Study of Language and Information, Stanford University Press 1996.
COMPLEMENTARY READINGS FROM
E.T.Bell, The Development of Mathematics, Dover, 1940. 
Israel Kleiner, A History of Abstract Algebra, Birkhäuser Basel/Boston 2007. 
Leo Corry, Modern Algebra and the Rise of Mathematical Structures, Springer 2004. 
Yvette Klosmann-Schwarzbach, The Noether Theorems: Invariance and Conservation Laws in the Twentieth Century, Springer 2011. 
Werner M. Seiler, Involution. The Formal Theory of Differential Equations and its Applications in Computer Algebra, Springer 2010, 
The slides and audio presentations are available on the research page Computing Symbols as Literacy and Ability
Tuesday October 9 2012
Generic Methods and The Master Argument (Vera Bühlmann)
Reading: E.T.Bell: From Mechanics to Generalized Variables ( p. 370-382)
Tuesday October 16 2012
Jules Vuillemin: Systems of Necessity – A System of Logical Fatalism: Diodorus Cronus.
Israel Kleiner: History of Classical Algebra ( p.1-14) & History of Group Theory ( p. 17-38)
Tuesday October 23 2012
Jules Vuillemin: Systems of Necessity – Eternal Return and Cyclical Time: Cleanthes’ solution.
Leo Corry: Richard Dedekind – Numbers and Ideals ( p. 64–135)
Tuesday October 30 2012
Jules Vuillemin: Systems of Necessity – Freedom as an Element of Fate: Chrysippus.
Leo Corry: Emmy Noether – Ideals and Structures ( p. 220-252)
Tuesday November 13 2012
Jules Vuillemin: Systems of Contingency – Towards Rehabilitating Opinion as Probable Knowledge of Contingent Things. Aristotle.
Israel Kleiner: History of Ring Theory ( p.41-60) & History of Field Theory ( p. 63-77)
Tuesday November 20 2012
Jules Vuillemin: Systems of Contingency – Epicurus and Intuitionism.
Israel Kleiner: History of linear Algebra ( p.79-89) & Emmy Noether and the Advent of Abstract Algebra ( p. 91-101)
Tuesday November 27 2012
Jules Vuillemin: Systems of Contingency – Carneades and the Skeptical Nominalism of the Modalities.
E.T.Bell: Invariance ( p. 420-468)
Tuesday December 4 2012
Jules Vuillemin: Systems of Contingency – Platonism and Conditional Necessity.
Yvette Kosmann-Schwarzbach: The Inception of the Noether Theorems ( p. 25-53)
Tuesday December 11 2012
Jules Vuillemin: Epilogue
Yvette Kosmann-Schwarzbach: The Inception of the Noether Theorems ( p. 25-53) &
The Noether Theorems ( p. 55-65)
Tuesday December 18 2012
Temporality, Self-reference, and Computation as an ability (Vera Bühlmann)
Reading: Werner M. Seiler: Involution – Overdetermined Systems ( p.1-8) &
Involution 1: Algebraic Theory ( p.63-104)