AUJOURD'HUI A NANCY...
L'actualité culturelle à Nancy et ses environs
L'actualité culturelle à Nancy et ses environs
Agenda
Par thèmes
Annuaire des lieux
Recherche par mot clefs
Nos Flux
Nos dernières newsletters
Ce week end
Messes du 54
Le Mag'
Aide
Ajoutévènement
|
Grandes Conférences AHP: Andrew Arana
Evénement disponible
du :
Au :
Contact Facebook :
Contact via Messenger en ligne
Réservations
Réserver
Prochaines dates
| Aucun évènement |
Le cycle des Grandes Conférences des Archives Henri Poincaré est conçu comme un espace de rencontre entre chercheurs et grand public. Il couvre de nombreux champs disciplinaires : philosophie, épistémologie, éthique, histoire des sciences et des techniques, histoire des institutions, sociologie des sciences et des organisations, etc.
Le 21 octobre 2020, nous vous invitons dans ce cadre à écouter l'exposé présenté par Andrew ARANA (Département de philosophie, Université de Lorraine)
« Le fini et l’infini : perspective occidentale, perspective japonaise »
La conférence sera transmise en ligne (et si la pandémie persiste, elle se déroulera exclusivement en ligne) – inscrivez-vous ici pour recevoir les codes de connexion : s'inscrire
RESUME
Le finitisme est la préférence pour les inférences finies effectives sur les objets concrètes (par exemple, les signes numériques) en mathématiques. Développée et défendue par Hilbert, cette préférence vise aux démonstrations finies de la consistence de théories mathématiques infinies, y compris l’arithmétique et la théorie des ensembles. Hilbert dit que ces démonstrations justifieraient notre usage des mathématiques infinies, malgré notre nature finie. Cependant, Gödel a démontré que cet espoir n’est pas possible de la manière envisagée par Hilbert, en prouvant qu’une théorie arithmétique ne peuvent pas démontrer sa propre consistance. Donc pour prouver la consistance de l’arithmétique, il faut utiliser des éléments et méthodes non arithmétiques. Mais il reste possible que ces extensions non arithmétiques de l’arithmétique peuvent être finitistes. Cette question concerne la nature du fini et la nature finitiste de notre pensée.
Dans cette conférence je me concentre sur une réponse à cette question par le logicien japonais Gaisi Takeuti, un théoricien de la démonstration du premier rang. Cette réalisation est particulièrement interessante parce qu'elle est ancrée dans ses études de Hilbert et Bernays, et donc finalement de Kant, mais aussi dans l'école de Kyoto de la philosophie japonaise. Contrairement à la conception occidentale standard, selon laquelle il existe un grand abîme entre le fini et l'infini, dans la philosophie japonaise les deux se mêlent. Dans l'école de Kyoto, Kitaro Nishida (le philosophe japonais le plus célèbre du **ème siècle) a développé ce rapport dans les mathématiques et la logique, et ensuite plus globalement, utilisant ses lectures occidentales (y compris Kant, Dedekind et Poincaré) et ses pensées de la tradition bouddhiste de l'école de Kegon. Nous montrons que Takeuti était bien influencé par Nishida, et que cette influence donne forme au finitisme de Takeuti. Je vais montrer que le projet de Takeuti est une vraie rencontre des traditions occidentales et orientales, en mathématiques, logique, et philosophie.
Andrew Arana est professeur (depuis 2020) à l'Université de Lorraine, après avoir été maître de conférences à l'Université Paris I Panthéon Sorbonne. Il est philosophe des mathématiques et logicien.
La conférence se déroule en salle G04 du bâtiment G, si la pandémie persiste, elle n'aura lieu qu'en visio
Coordonnées :
Longitude : 6.16720200
Latitude : 48.69308853
Latitude : 48.69308853
Alerte mail
Restez quotidiennement informés des nouvelles informations renseignées dans notre agenda.
Vous pourrez vous désabonner à partir de n'importe quel mail reçu en cliquant sur le lien prévu à cet effet.
Vous pourrez vous désabonner à partir de n'importe quel mail reçu en cliquant sur le lien prévu à cet effet.