Aller au menu | Aller au contenu | Aller à la recherche

[ Université Jean Moulin Lyon 3
Recherche avancée

Faculté de Philosophie - Université Jean Moulin Lyon 3

Université de Lyon

Accueil : Faculté de Philosophie / Actualités / Société Rhodanienne / Agenda

Actualité du programme de logique transcendantale : Church et la dynamique du temps informationnel

  • Version PDF

le 5 avril 2017
de 18h30 à 20h

Conférence publique de Jean-Baptiste JOINET organisée par la Société Rhodanienne de Philosophie.

Alan TuringIntervention de Jean-Bapytiste JOINET (Professeur à l'Université Jean Moulin Lyon 3), mercredi 5 avril 2017 de 18h30 à 20h.

Les années 1930 sont à la fois celles où l’une des branches de la logique moderne, la Théorie de la démonstration (Hilbert, Gentzen), a replacé l’inscription temporelle et spatiale du raisonnement au centre de la logique (et ce sous plusieurs rapports : temporalité et spatialité de la représentation des arguments, de l’heuristique démonstrative, de l’analytisation des preuves) et celles où émerge une science nouvelle, la théorie de la transformation de l’information, alias l’informatique théorique – sous la forme initiale de la Théorie de la calculabilité (Church, Turing).

Dans cet exposé, je défendrai l’idée que, dans les décennies qui suivirent, et notamment à partir des années 1970, le dialogue entre théorie de la démonstration et informatique théorique autour de cette question commune – le sens dans le temps et l’espace – a donné au programme kantien ou plutôt husserlien de constitution d’une logique transcendantale une actualité nouvelle.


Accès libre et gratuit.

Plan d'accès



Agrandir le plan
Lieu(x)
Amphithéâtre Huvelin (Rez-de-chaussée, couloir de gauche)
Université Jean Moulin
15 quai Claude Bernard - 69007 Lyon

Plan d'accès
Contact
Mai LEQUAN
Type
Colloque / Séminaire, Conférence
Thématique(s)
Manifestations scientifiques

Rechercher une actualité

Recherche une actualité

Mise à jour : 6 avril 2017