Accéder au contenu.
Menu Sympa

athena - [Athena] Colloque Representation and axiomatization: power and limits - IHPST, Paris - 19-21 mars

athena AT services.cnrs.fr

Objet : Histoire des techniques

Archives de la liste

[Athena] Colloque Representation and axiomatization: power and limits - IHPST, Paris - 19-21 mars


Chronologique Discussions 
  • 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, 09/02/2015

Archives gérées par MHonArc 2.6.18.

Haut de le page