About: J. Barkley Rosser

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: J. Barkley Rosser Goto Sponge NotDistinct Permalink

An Entity of Type : umbel-rc:Scientist, within Data Space : dbpedia.org associated with source document(s)

Type:

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FJ._Barkley_Rosser

John Barkley Rosser Sr. (December 6, 1907 – September 5, 1989) was an American logician, a student of Alonzo Church, and known for his part in the Church–Rosser theorem, in lambda calculus. He also developed what is now called the "", in number theory. He was part of the mathematics department at Cornell University from 1936 to 1963, chairing it several times. He was later director of the Army Mathematics Research Center at the University of Wisconsin–Madison and the first director of the Communications Research Division of IDA. Rosser also authored mathematical textbooks.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal yago:WikicatAmericanLogicians yago:WikicatAmericanMathematicians yago:WikicatAmericanPeople yago:WikicatAmericanPhilosophers animal eukaryote scientist species schema:Person yago:WikicatPeopleFromJacksonville,Florida Scientist yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:Philosopher110423589 yago:PhysicalEntity100001930 yago:WikicatGuggenheimFellows yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:Wikicat20th-centuryMathematicians yago:WikicatPrincetonUniversityAlumni umbel-rc:PersonWithOccupation umbel-rc:Scientist
rdfs:label	J. Barkley Rosser (en) John Barkley Rosser (de) John Barkley Rosser (fr) ジョン・バークリー・ロッサー (ja) 존 버클리 로서 (ko) John Barkley Rosser (pt)
rdfs:comment	John Barkley Rosser Sr. (* 6. Dezember 1907 in Jacksonville, Florida; † 5. September 1989 in Madison, Wisconsin) war US-amerikanischer Logiker und Mathematiker. (de) John Barkley Rosser père (6 décembre 1907 – 5 septembre 1989) est un logicien américain, étudiant d'Alonzo Church, connu pour la propriété de Church-Rosser en lambda-calcul. Il a aussi créé le en théorie des nombres. Il a dirigé le Centre de recherches mathématiques de l'armée à l’université du Wisconsin à Madison de 1963 à 1973. Il a également écrit des manuels de mathématiques. (fr) 존 버클리 로서 경(John Barkley Rosser Sr. 1907년 12월 6일 - 1989년 9월 5일)은 미국의 논리학자이다. 알론조 처치의 학생이었고, 처치-로서 정리로 잘 알려져있다. (ko) ジョン・バークリー・ロッサー（John Barkley Rosser, 1907年12月6日 - 1989年9月5日）はアメリカの数学者、論理学者。フロリダ州・ジャクソンビル生まれ。アロンゾ・チャーチから教わる。ラムダ計算において、チャーチ・ロッサーの定理を二人で証明した。数論で、篩法を発展させた。ウィスコンシン大学マディソン校附置のの所長も務めた。教科書を多く執筆した。 1936年には、ロッサーのからくりによりゲーデルの不完全性定理を拡張させた。解析的整数論で、ロッサーの定理を証明した。 (ja) John Barkley Rosser Sr. (December 6, 1907 – September 5, 1989) was an American logician, a student of Alonzo Church, and known for his part in the Church–Rosser theorem, in lambda calculus. He also developed what is now called the "", in number theory. He was part of the mathematics department at Cornell University from 1936 to 1963, chairing it several times. He was later director of the Army Mathematics Research Center at the University of Wisconsin–Madison and the first director of the Communications Research Division of IDA. Rosser also authored mathematical textbooks. (en) John Barkley Rosser Sr. (Jacksonville, 6 de dezembro de 1907 – Madison, Wisconsin, 5 de setembro de 1989) foi um lógico estadunidense, conhecido por sua parte no Teorema de Church-Rosser em cálculo lambda. Em 1936 provou o truque de Rosser, uma versão forte do primeiro teorema da incompletude de Gödel, mostrando que o requisito para ω-consistência pode ser enfraquecido para consistência. O Paradoxo Kleene-Rosser mostrou que o cálculo lambda original era inconsistente. (pt)
foaf:name	John Barkley Rosser (en)
name	John Barkley Rosser (en)
birth place	Jacksonville, Florida
death place	Madison, Wisconsin
death place	Madison, Wisconsin, U.S. (en)
death date	1989-09-05 (xsd:date)
birth place	Jacksonville, Florida, U.S. (en)
birth date	1907-12-06 (xsd:date)
dcterms:subject	1989 deaths 1907 births 20th-century American mathematicians Cornell University faculty People from Jacksonville, Florida Princeton University alumni University of Wisconsin–Madison faculty Presidents of the Society for Industrial and Applied Mathematics American logicians
Wikipage page ID	679224 (xsd:integer)
Wikipage revision ID	1123333670 (xsd:integer)
Link from a Wikipage to another Wikipage	Princeton University United States University of Wisconsin–Madison Liar paradox Cornell University Mathematical logic Elliott Mendelson 1989 deaths George E. Collins Madison, Wisconsin Mathematical economics 1907 births 20th-century American mathematicians Cornell University faculty People from Jacksonville, Florida Princeton University alumni University of Wisconsin–Madison faculty Alonzo Church Presidents of the Society for Industrial and Applied Mathematics Aneurysm Number theory Church–Rosser theorem Gerald Sacks J. Barkley Rosser Jr. Jacksonville, Florida

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 53 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software