Accueil > Archives > Journées et colloques : septembre 2008–juillet 2012 > Journées d’étude et colloques 2011-2012 > Rencontres Vérités et preuves
Rencontres Vérités et preuves
Projet doctoral
Friday 23 september 2011
9h30 à 18h30
salle Klein (612B, 6e étage, bâtiment B), bâtiment Condorcet de Paris Diderot (4, rue Elsa Morante, près des Grands Moulins). Ici quelques informations concernant l’accès à la salle (ce n’est pas évident !)
PROGRAMME
9h30–10h30
Le principe physique de Church-Turing et le No Supersearch Principle d’Aaronson : une comparaison.
Maël Pégny
10h30–10h50
discussion
10h50–11h
pause
11h–12h
When things are not so simple. Simplicity in cartesian geometry.
Davide Crippa
12h00–12h20
discussion
12h20–12h40
première discussion sur l’organisation du colloque final (qui pourra continuer pendant le déjeuner).
12h40–14h00
déjeuner
14h–15h
Syntaxe, Sémantique ; Intension, Extension : De la dichotomisation via l’alternative. Le cas Frege-Husserl.
Manuel Gustavo Isaac
15h–15h20
Discussion
15h20–16h20
Le point de vue des monades, entre algèbre homologique et informatique théorique.
Sylvain Cabanacq
16h20–16h40
Discussion
16h40–16h50 : pause
16h50–17h50
titre à préciser
Méven Cadet
17h50–18h10
Discussion
18h10–18h30
Deuxième discussion sur l’organisation du colloque final (si quelqu’un a des nouvelles propositions).
PRESENTATION DU PROJET
http://iml.univ-mrs.fr/~seiller/Projet.html
Dans la même rubrique :
- Rencontres Vérités et preuves
- Le rôle des constantes physiques fondamentales dans la redéfinition des unités du Système International :
- Journée d’étude des doctorants : Histoire des Sciences en Asie
- Le dispositif d’annonce du cancer : Enjeux et perspectives
- Usage des almanachs et des calendriers en Asie (Inde, Chine, Japon)
- Colloque international Comment placer la périphérie au centre
- Les techniques et la globalisation : échanges, réseaux et espionnage industriel au XXe siècle
- Spaces, Knots and Bonds : At the crossroads between early modern “magic” and “science”