Laurence Kirby

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.
Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources ().

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

Laurence Kirby
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata
Nationalité
britanniqueVoir et modifier les données sur Wikidata
Formation
Activités
Mathématicien, professeur d'universitéVoir et modifier les données sur Wikidata
Autres informations
A travaillé pour

modifier - modifier le code - modifier WikidataDocumentation du modèle

Laurence A. S. Kirby (ou Laurie Kirby), né en 1952, est un mathématicien britannique, spécialiste de logique mathématique.

Kirby grandit à Hong Kong et en Angleterre. Il étudie à l'université de Cambridge et soutient son doctorat en 1977 à l'université de Manchester[1]. Il travaille à Paris et à Princeton (où il enseigne pendant trois ans à partir de 1978) avant d'être nommé professeur au Baruch College de l'université de la Ville de New York en 1982.

Kirby est connu pour son travail de 1982 avec Jeff Paris sur les théorèmes d'indécidabilité dans l'arithmétique de Peano. Ils démontrent qu'un théorème de Goodstein, qui s'énonce très simplement en termes d'entiers, ne peut être ni prouvé ni réfuté avec les axiomes de Peano[2].

Kirby joue du violon en musique classique et publiquement en tant que T. G. Vanini dans le groupe de folk rock The Princes of Serendip avec Don Yacullo (piano) et son épouse Julie Parisi Kirby (chant), avec qui il a également enregistré des disques.

Notes et références

(de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Laurence Kirby » (voir la liste des auteurs).
  1. ↑ (en) « Laurence Kirby », sur le site du Mathematics Genealogy Project.
  2. ↑ (en) Laurie Kirby et Jeff Paris, « Accessible independence results for Peano arithmetic », Bulletin of the London Mathematical Society, vol. 14, no 4,‎ , p. 285-293 (DOI 10.1112/blms/14.4.285).

Liens externes

  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Mathematics Genealogy Project
  • Page personnelle comme mathématicien
  • Page personnelle comme musicien
  • The Princes of Serendip
  • Yarg: The secret life of Professor Kirby
  • icône décorative Portail des mathématiques