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

[Virginie Bellot <Virginie.Bellot AT univ-paris1.fr>]

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.