Jeffrey Bruce Paris (; born 15 November 1944) is a British

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History On ...

and

Professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who pr ...

Logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

in the

School of Mathematics The Department of Mathematics at the University of Manchester is one of the largest unified mathematics departments in the United Kingdom, with over 90 academic staff and an undergraduate intake of roughly 400 students per year (including students ...

at the

University of Manchester , mottoeng = Knowledge, Wisdom, Humanity , established = 2004 – University of Manchester Predecessor institutions: 1956 – UMIST (as university college; university 1994) 1904 – Victoria University of Manchester 1880 – Victoria Univer ...

Education

Paris gained his doctorate supervised by

Robin Gandy Robin Oliver Gandy (22 September 1919 – 20 November 1995) was a British mathematician and logician. He was a friend, student, and associate of Alan Turing, having been supervised by Turing during his PhD at the University of Cambridge, where ...

at Manchester in 1969 with a dissertation on ''Large Cardinals and the Generalized Continuum Hypothesis''.

Research and career

Paris is known for his work on

mathematical logic Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...

, in particular provability in arithmetic, uncertain reasoning and

inductive logic Inductive reasoning is a method of reasoning in which a general principle is derived from a body of observations. It consists of making broad generalizations based on specific observations. Inductive reasoning is distinct from ''deductive'' rea ...

with an emphasis on rationality and common sense principles.

Awards and honours

Paris was awarded the

Whitehead Prize The Whitehead Prize is awarded yearly by the London Mathematical Society to multiple mathematicians working in the United Kingdom who are at an early stage of their career. The prize is named in memory of homotopy theory pioneer J. H. C. Whiteh ...

in 1983 and elected a

Fellow A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

of the

British Academy The British Academy is the United Kingdom's national academy for the humanities and the social sciences. It was established in 1902 and received its royal charter in the same year. It is now a fellowship of more than 1,000 leading scholars span ...

(FBA) in 1999.

Personal life

Paris was married to Malvyn Loraine Blackburn until 1983 when he married Alena Vencovská. He has three sons and three daughters including runner

Jasmin Paris Jasmin Karina Paris (born November 1983) is a British runner who has been a national fell running champion and who has set records for the Bob Graham Round and the Ramsay Round. She is well known in Great Britain as a fell runner, but became ...

References

20th-century British mathematicians 21st-century British mathematicians British logicians Living people Academics of the University of Manchester Fellows of the British Academy Whitehead Prize winners 1944 births {{UK-mathematician-stub