Kenneth Jon Barwise (1942-2000) est un mathématicien, philosophe et logicien américain.
Biographie Jon Barwise est l'élève de Solomon Feferman à l'université Stanford et commence ses recherches en logique infinitaire. Il est par la suite assistant professeur à l'université Yale et à celle du Wisconsin, période durant laquelle il s'intéresse aux langues naturelles. Il retourne à Stanford en 1983 pour diriger le (). En 1990, il commence à enseigner à l'université de l'Indiana à Bloomington.
L'une des thèses de Barwise est que si l'on explicite le contexte dans lequel une proposition est énoncée, de nombreux problèmes de logique appliquée peuvent être résolus. Il réfléchissait, . Il considérait en particulier qu'une telle approche apportait la solution du paradoxe du menteur, dans le livre The Liar, écrit avec John Etchemendy. Il a pour cela recours à la théorie des ensembles de Peter Aczel pour comprendre les « cercles vicieux » du raisonnement.
Avec son ancien collègue de Stanford, John Etchemendy, il rédige , qui connaît un certain succès populaire. Cet ouvrage se démarque par le fait qu'il contient plusieurs exercices et exemples de problèmes assistés par ordinateur, dont certains donnent une représentation visuelle.
En 1999, on lui diagnostique un cancer du côlon ; il passe le reste de sa vie à traiter sa maladie.
Prix et distinctions En 1974, il est orateur invité au Congrès international des mathématiciens, à Vancouver.
En 1999, il est élu membre de l'Académie américaine des arts et des sciences.
En 2000, il est Gödel Lecturer.
Le (annuel) est créé en 2002 en son honneur.
Publications 1977 : Handbook of Mathematical Logic, ouvrage collectif dont Jon Barwise est le coordinateur, North-Holland , rééd. 1991 1988 : The Situation in Logic 1987 : The Liar: An Essay in Truth and Circularity, avec John Etchemendy 1996 : Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena, avec Lawrence S. Moss 1983 : Situations and Attitudes, avec John Perry, Cambridge, MIT Press 1993 : Tarski's World, avec J. Etchemendy. Stanford, Calif: CSLI Publ. 1997 : Information Flow: the Logic of Distributed Systems, avec Jerry Seligman 2002 : , avec John Etchemendy
Notes et références
Liens externes
Catégorie:Naissance à Independence (Missouri) Catégorie:Naissance en juin 1942 Catégorie:Décès en mars 2000 Catégorie:Mathématicien américain du XXe siècle Catégorie:Logicien américain Catégorie:Gödel Lecturer Catégorie:Personnalité en logique mathématique Catégorie:Décès à 57 ans Catégorie:Mort d'un cancer colorectal Catégorie:Mort d'un cancer aux États-Unis Catégorie:Décès à Bloomington (Indiana) Catégorie:Philosophe des mathématiques