J. Barkley Rosser

E588089
human logician

J. Barkley Rosser was an American logician and mathematician known for his influential work in mathematical logic, including contributions to lambda calculus and proof theory.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label Occurrences
J. Barkley Rosser canonical 2
J. Barkley Rosser Jr. 1

Statements (44)

Predicate Object
instanceOf human ⓘ
logician ⓘ
awardReceived Guggenheim Fellowship ⓘ
Leroy P. Steele Prize NERFINISHED ⓘ
countryOfCitizenship United States of America ⓘ
employer Cornell University ⓘ
University of Wisconsin–Madison NERFINISHED ⓘ
familyName Rosser NERFINISHED ⓘ
fieldOfWork computer science ⓘ
lambda calculus ⓘ
mathematical logic ⓘ
number theory ⓘ
proof theory ⓘ
recursion theory ⓘ
genre mathematics textbook ⓘ
research article in logic ⓘ
givenName J. Barkley NERFINISHED ⓘ
influenced the development of recursion theory ⓘ
the foundations of computer science ⓘ
influencedBy Alonzo Church NERFINISHED ⓘ
David Hilbert NERFINISHED ⓘ
Kurt Gödel NERFINISHED ⓘ
languageSpoken English ⓘ
mainInterest computability ⓘ
formal systems ⓘ
foundations of mathematics ⓘ
incompleteness theorems ⓘ
memberOf American Mathematical Society NERFINISHED ⓘ
Association for Symbolic Logic NERFINISHED ⓘ
notableIdea contributions to consistency proofs in arithmetic ⓘ
development of lambda calculus inconsistencies ⓘ
strengthening of Gödel’s first incompleteness theorem ⓘ
notableStudent Hao Wang NERFINISHED ⓘ
Stephen Kleene NERFINISHED ⓘ
notableWork A Mathematical Logic (with Hao Wang) NERFINISHED ⓘ
Kleene–Rosser paradox NERFINISHED ⓘ
Kleene–Rosser system NERFINISHED ⓘ
Logic for Mathematicians NERFINISHED ⓘ
Rosser sentence NERFINISHED ⓘ
Rosser’s theorem NERFINISHED ⓘ
Rosser’s trick NERFINISHED ⓘ
Theory of Recursive Functions and Effective Computability (with Hartley Rogers Jr. and others) NERFINISHED ⓘ
occupation university professor ⓘ
sexOrGender male ⓘ

Referenced by (3)

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

Church–Rosser property → namedAfter → J. Barkley Rosser ⓘ
The Undecidable → containsWorkBy → J. Barkley Rosser ⓘ
Barkley Rosser → coAuthor → J. Barkley Rosser ⓘ
this entity surface form: J. Barkley Rosser Jr.