Barkley Rosser

E279033
human logician mathematician

Barkley Rosser was an American logician and mathematician known for his contributions to recursion theory, proof theory, and the foundations of mathematics.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (1)

Label Occurrences
Barkley Rosser canonical 1

Statements (30)

Predicate Object
instanceOf human ⓘ
logician ⓘ
mathematician ⓘ
areaOfInfluence computability theory ⓘ
lambda calculus ⓘ
coAuthor J. Barkley Rosser ⓘ
surface form: J. Barkley Rosser Jr.

R. L. Goodstein ⓘ
countryOfCitizenship United States of America ⓘ
doctoralAdvisor Alonzo Church ⓘ
educatedAt Harvard University ⓘ
Princeton University ⓘ
employer Cornell University ⓘ
University of Wisconsin–Madison ⓘ
fieldOfWork foundations of mathematics ⓘ
mathematical logic ⓘ
proof theory ⓘ
recursion theory ⓘ
influencedBy Alonzo Church ⓘ
Kurt Gödel ⓘ
languageOfWorkOrName English ⓘ
memberOf American Mathematical Society ⓘ
Association for Symbolic Logic ⓘ
notableConcept Kleene–Rosser paradox ⓘ
surface form: Kleene–Rosser paradox in lambda calculus

Rosser’s improvement of Gödel’s incompleteness theorem ⓘ
Rosser’s trick in incompleteness proofs ⓘ
notableWork Kleene–Rosser paradox ⓘ
Rosser sentence ⓘ
Rosser trick ⓘ
Theory of Recursive Functions and Effective Computability ⓘ
positionHeld professor of mathematics ⓘ

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Alonzo Church → notableStudent → Barkley Rosser ⓘ