Property |
Value |
dbo:abstract
|
- Laurence A. S. Kirby (ou Laurie Kirby), né en 1952, est un mathématicien britannique qui s'occupe de logique mathématique. Kirby a grandi à Hong Kong et en Angleterre, a étudié à l'université de Cambridge et obtenu son doctorat en 1977 à l'université de Manchester. Puis il est allé à Paris et à Princeton (où il a enseigné 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 ont prouvé qu'un théorème de Reuben Goodstein ne peut y être ni prouvé ni réfuté. 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. (fr)
- Laurence A. S. Kirby (ou Laurie Kirby), né en 1952, est un mathématicien britannique qui s'occupe de logique mathématique. Kirby a grandi à Hong Kong et en Angleterre, a étudié à l'université de Cambridge et obtenu son doctorat en 1977 à l'université de Manchester. Puis il est allé à Paris et à Princeton (où il a enseigné 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 ont prouvé qu'un théorème de Reuben Goodstein ne peut y être ni prouvé ni réfuté. 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. (fr)
|
dbo:almaMater
| |
dbo:citizenship
| |
dbo:employer
| |
dbo:occupation
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 1824 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- Laurence A. S. Kirby (ou Laurie Kirby), né en 1952, est un mathématicien britannique qui s'occupe de logique mathématique. Kirby a grandi à Hong Kong et en Angleterre, a étudié à l'université de Cambridge et obtenu son doctorat en 1977 à l'université de Manchester. Puis il est allé à Paris et à Princeton (où il a enseigné 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. (fr)
- Laurence A. S. Kirby (ou Laurie Kirby), né en 1952, est un mathématicien britannique qui s'occupe de logique mathématique. Kirby a grandi à Hong Kong et en Angleterre, a étudié à l'université de Cambridge et obtenu son doctorat en 1977 à l'université de Manchester. Puis il est allé à Paris et à Princeton (où il a enseigné 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. (fr)
|
rdfs:label
|
- Laurence Kirby (fr)
- Laurence Kirby (fr)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |