athena AT services.cnrs.fr
Subject: Histoire des techniques
List archive
[Athena] Colloque Representation and axiomatization: power and limits - IHPST, Paris - 19-21 mars
Chronological Thread
- From: Virginie Bellot <Virginie.Bellot AT univ-paris1.fr>
- To: equipe-ihpst AT services.cnrs.fr, athena AT services.cnrs.fr, emetis AT listes.univ-paris1.fr, philoso AT free.fr, educasup.philo AT ml.free.fr, theuth AT listes.univ-rennes1.fr
- Subject: [Athena] Colloque Representation and axiomatization: power and limits - IHPST, Paris - 19-21 mars
- Date: Mon, 09 Feb 2015 14:30:36 +0100
oooRepresentation and axiomatization: power and limitsooo
March 19-21, 2015
Paris, Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST)
(http://www.ihpst.cnrs.fr/activites/colloques/representation-and-axiomatization-power-and-limits)
Supported by
ANR-DFG ``HYPOTHESES. Hypothetical reasoning: its proof-theoretic analysis''
(http://ls.informatik.uni-tuebingen.de/hypotheses/)
ANR-DFG ``Mathematics: Objectivity by representation''
(https://sites.google.com/site/mathobre/)
*Invited speakers*
Walter Carnielli (University of Campinas), ``Formal plenitude and Curry's paradox: Sketch of an expanded theory for arithmetical truth''
Catarina Dutilh Novaes (University of Groeningen), ``Mathematical proofs: between orality and writing''
Valeria Giardino (Institut Jean Nicod, École Normale Supérieure), ``Towards a cognitive semiotics for mathematics''
Volker Halbach (University of Oxford), ``Representing self-reference in arithmetic''
Robert Hale (University of Sheffield), ``Definition by abstraction and real definition''
Leon Horsten (University of Bristol), ``Human effective computability'' (joint work with Marianna Antonutti Marfori)
Øystein Linnebo (University of Oslo), ``Reference and criteria of identity''
Victor Pambuccian (Arizona State University), ``Provability in axiom systems for weak arithmetic and geometry without actual proofs''
Jean-Pierre Marquis (Université de Montréal), ``Axiomatization as conceptual design''
Mattia Petrolo (IHPST, Paris), ``Negation as an ideality: From conservativeness to constructibility''
Erich Reck (University of California at Riverside), ``Axiomatics, modern logic, and structuralist mathematics''
Georg Schiemer (University of Vienna), ``The structuralist thesis''
Wilfried Sieg (Carnegie Mellon University), ``The concept of computation: an axiomatic characterization''
Göran Sundholm (Leiden University), ``Axiom, assumption, presupposition''
*Conference venue*
Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST)
Salle de conférences
13 rue du Four
75006 Paris
http://www.ihpst.cnrs.fr
*Organizing committee*
Jean Fichot (IHPST, Univ. Paris 1 Panthéon-Sorbonne), jean.fichot AT univ-paris1.fr
Gerhard Heinzmann (Archives Henri Poincaré, Univ. de Lorraine), gerhard.heinzmann AT univ-lorraine.fr
Alberto Naibo (IHPST, Univ. Paris 1 Panthéon-Sorbonne), alberto.naibo AT univ-paris1.fr
Marco Panza (IHPST, Univ. Paris 1 Panthéon-Sorbonne), marco.panza AT univ-paris1.fr
--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.
- [Athena] Colloque Representation and axiomatization: power and limits - IHPST, Paris - 19-21 mars, Virginie Bellot, 02/09/2015
Archive powered by MHonArc 2.6.18.