| Nacimiento | 1952 |
|---|---|
| Nacionalidad | británico |
| Capacitación | Universidad Victoria de Manchester |
| Ocupaciones | Matemático , profesor universitario |
| Trabajé para | Universidad de la ciudad de Nueva York |
|---|
Laurence AS Kirby (o Laurie Kirby ), nacido en 1952 , es un matemático británico que se ocupa de la lógica matemática.
Kirby creció en Hong Kong e Inglaterra , estudió en la Universidad de Cambridge y recibió su doctorado en 1977 en la Universidad de Manchester . Luego fue a París y Princeton (donde enseñó durante tres años a partir de 1978) antes de ser nombrado profesor en el Baruch College de la Universidad de la Ciudad de Nueva York en 1982.
Kirby es conocido por su trabajo de 1982 con Jeff Paris sobre los teoremas de indecidibilidad en la aritmética de Peano . Demostraron que un teorema de Reuben Goodstein no puede ser probado ni refutado.
Kirby toca el violín en la música clásica y públicamente como TG Vanini en la banda de folk rock The Princes of Serendip con Don Yacullo (piano) y su esposa Julie Parisi Kirby (voz), con quien también ha grabado discos.