John Shepherdson
Born: 7 June 1926 in Huddersfield, Yorkshire, England; Died: 8 January 2015 in Bristol, England
John Cedric Shepherdson, FBA (7 June 1926 – 8 January 2015) was a British logician who was Henry Overton Wills Professor of Mathematics at the University of Bristol from 1976 to 1991.
Early life and education
Shepherdson was born in Huddersfield on 7 June 1926, the son of Arnold Shepherdson, a chemist, and his wife Elsie, née Aspinall. He attended Manchester Grammar School on a scholarship; excelling in mathematics, in 1943 he secured a state scholarship and an open scholarship to Trinity College, Cambridge, where he read mathematics. He graduated with a first-class degree in 1946.
Career and later life
Shepherdson was appointed to an assistant lectureship at the University of Bristol in 1946. He spent the rest of his career at the university, being promoted to lecturer in 1949, reader in 1955 and professor in 1964, before he was finally Henry Overton Wills Professor of Mathematics from 1977 until he retired in 1991. He was elected a fellow of the British Academy in 1990.
Shepherdson was a keen climber and skier. His wife, Margaret, née Smith, a biochemist and academic whom he had married in 1955, died in 2014. Shepherdson died on 8 January 2015.
Begin with the source’s own compact description: “John Shepherdson” is born: 7 June 1926 in Huddersfield, Yorkshire, England; Died: 8 January 2015 in Bristol, England. The dossier treats that line as a proposition to test through John, Shepherdson and Born, not as a finished interpretation.
Why this record matters
The phrase “born: 7 June 1926 in Huddersfield, Yorkshire, England; Died: 8 January 2015 in Bristol, England” supplies a clear boundary for inquiry. It also exposes the unanswered questions: who defined that boundary, when it became stable and which sources sit outside it.
Named sources, stable identifiers and responsible institutions provide the strongest route from overview to verifiable evidence. The source revision retrieved here is dated Aug 23, 2026. The linked authority identifier is Q37737905. VIAF identifies the subject as 72828364. The Library of Congress control number is n85156029. 1 of 3 selected statements include explicit references; 0 carry qualifiers and 1 use preferred rank. The first chronological checks are 1926, 2015, 1976 and 1991.
A concise general-reference account can conceal disagreements about scope, terminology or the weight assigned to individual sources. The lead is largely declarative, so disagreement and counter-evidence require a deliberate search beyond the opening account. Authority statements aid reconciliation but still require their own references, qualifiers and ranks to be checked.
How to read it
Use the entry as an orientation point, then follow its citations and revision history. Names, dates and institutional relationships should be checked against the original record.
- Subject orientation
- Search vocabulary
- Locating named sources
The closest primary source, responsible institution and strongest cited specialist reference.
Three-step research path
- Establish the record: confirm the title “John Shepherdson”, its source revision and the description used here.
- Expand the search: follow John Shepherdson primary sources, John Shepherdson archive and John research across catalogues and specialist indexes.
- Test the account: compare the strongest cited source with the responsible institution’s current record and note any disagreement.
Questions for further research
- Which source most directly establishes the central claim about “John Shepherdson”?
- Which cited source is closest to the event, object or claim?
- What terminology or title could unlock a more precise catalogue search?
Search terms from this dossier
This entry incorporates text from “John Shepherdson” on English Wikipedia. Contributors are listed in the page history. Text is available under the Creative Commons Attribution-ShareAlike 4.0 License. Selected authority identifiers and statements are retrieved from Wikidata under CC0; their references and qualifiers remain part of the verification path.