| dbo:abstract
|
- 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 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. In 1936, he proved Rosser's trick, a stronger version of Gödel's first incompleteness theorem, showing that the requirement for ω-consistency may be weakened to consistency. Rather than using the liar paradox sentence equivalent to "I am not provable," he used a sentence that stated "For every proof of me, there is a shorter proof of my negation". In prime number theory, he proved Rosser's theorem. The Kleene–Rosser paradox showed that the original lambda calculus was inconsistent. Rosser died of an aneurysm September 5, 1989, at his home in Madison, Wisconsin. Rosser's son, John Barkley Rosser Jr., is a mathematical economist and professor at James Madison University in Harrisonburg, Virginia. (en)
- 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. (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. Foi palestrante do Congresso Internacional de Matemáticos em Amsterdam (1954). O seu orientador de doutoramento foi Alonzo Church. (pt)
|
| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:deathDate
| |
| dbo:deathPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:nationality
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4852 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:birthDate
| |
| dbp:birthPlace
|
- Jacksonville, Florida, U.S. (en)
|
| dbp:deathDate
| |
| dbp:deathPlace
|
- Madison, Wisconsin, U.S. (en)
|
| dbp:doctoralAdvisor
| |
| dbp:doctoralStudents
| |
| dbp:fields
| |
| dbp:knownFor
| |
| dbp:name
| |
| dbp:nationality
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:wordnet_type
| |
| dbp:workplaces
| |
| dcterms:subject
| |
| schema:sameAs
| |
| rdf:type
| |
| 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)
|
| rdfs:label
|
- J. Barkley Rosser (en)
- John Barkley Rosser (de)
- John Barkley Rosser (fr)
- ジョン・バークリー・ロッサー (ja)
- 존 버클리 로서 (ko)
- John Barkley Rosser (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralAdvisor
of | |
| is foaf:primaryTopic
of | |
