Aniversário | 1952 |
---|---|
Nacionalidade | britânico |
Treinamento | Victoria University of Manchester |
Atividades | Matemático , professor universitário |
Trabalhou para | New York City University |
---|
Laurence AS Kirby (ou Laurie Kirby ), nascido em 1952 , é um matemático britânico que lida com lógica matemática.
Kirby cresceu em Hong Kong e na Inglaterra , estudou na Universidade de Cambridge e recebeu seu doutorado em 1977 na Universidade de Manchester . Em seguida, ele foi para Paris e Princeton (onde lecionou por três anos a partir de 1978) antes de ser nomeado professor do Baruch College da Universidade da Cidade de Nova York em 1982.
Kirby é mais conhecido por seu trabalho de 1982 com Jeff Paris em Teoremas da Indecidibilidade na Aritmética de Peano . Eles provaram que um teorema de Reuben Goodstein não pode ser provado nem refutado.
Kirby toca violino na música clássica e publicamente como TG Vanini na banda de folk rock The Princes of Serendip com Don Yacullo (piano) e sua esposa Julie Parisi Kirby (vocal), com quem também gravou discos.