• Manifestations scientifiques,

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

Publié le 4 avril 2017 Mis à jour le 6 septembre 2017
Alan Turing
Alan Turing

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

Alan TuringIntervention de Jean-Baptiste 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
Contact :
Thématiques :
Manifestations scientifiques

Mise à jour : 6 septembre 2017