J. Barkley Rosser
E588089
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.
All labels observed (2)
| Label | Occurrences |
|---|---|
| J. Barkley Rosser canonical | 2 |
| J. Barkley Rosser Jr. | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T6370791 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: J. Barkley Rosser Context triple: [Church–Rosser property, namedAfter, J. Barkley Rosser]
-
A.
Fred Rosser
Fred Rosser is an American professional wrestler best known for his WWE run under the ring name Darren Young and for being one of the first openly gay wrestlers in a major wrestling promotion.
-
B.
Martin Davis
Martin Davis was an American mathematician and logician renowned for his foundational work in computability theory and the Entscheidungsproblem, including contributions to the Davis–Putnam algorithm.
-
C.
Reuben Hersh
Reuben Hersh was an American mathematician and philosopher of mathematics known for his humanistic and sociocultural views on the nature of mathematical practice.
-
D.
Solomon Feferman
Solomon Feferman was an American logician and philosopher of mathematics known for his influential work on proof theory, predicativity, and the foundations and history of mathematical logic.
-
E.
John Alan Robinson
John Alan Robinson was a pioneering logician and computer scientist best known for introducing the resolution principle, a fundamental method in automated theorem proving and logic programming.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: J. Barkley Rosser Target entity description: 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.
-
A.
Fred Rosser
Fred Rosser is an American professional wrestler best known for his WWE run under the ring name Darren Young and for being one of the first openly gay wrestlers in a major wrestling promotion.
-
B.
Martin Davis
Martin Davis was an American mathematician and logician renowned for his foundational work in computability theory and the Entscheidungsproblem, including contributions to the Davis–Putnam algorithm.
-
C.
Reuben Hersh
Reuben Hersh was an American mathematician and philosopher of mathematics known for his humanistic and sociocultural views on the nature of mathematical practice.
-
D.
Solomon Feferman
Solomon Feferman was an American logician and philosopher of mathematics known for his influential work on proof theory, predicativity, and the foundations and history of mathematical logic.
-
E.
John Alan Robinson
John Alan Robinson was a pioneering logician and computer scientist best known for introducing the resolution principle, a fundamental method in automated theorem proving and logic programming.
- F. None of above. chosen
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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: J. Barkley Rosser Description of subject: 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.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
J. Barkley Rosser Jr.