John Barkley Rosser Sr. (1907–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 Rosser sieve, in number theory. He was later Director of the Army Mathematics Research Center at the University of Wisconsin–Madison. Rosser wrote mathematical textbooks as well.
| Property | Value |
|---|
| dbpedia-owl:Person/almaMater
| |
| dbpedia-owl:Person/birthDate
|
- 1907-01-01 00:00:00 (xsd:date)
|
| dbpedia-owl:Person/deathDate
|
- 1989-01-01 00:00:00 (xsd:date)
|
| dbpedia-owl:Person/individualisedPnd
| |
| dbpedia-owl:Person/knownFor
| |
| dbpedia-owl:Scientist/doctoralAdvisor
| |
| dbpedia-owl:Scientist/doctoralStudent
| |
| dbpedia-owl:almaMater
| |
| dbpedia-owl:birthDate
|
- 1907-01-01 00:00:00 (xsd:date)
|
| dbpedia-owl:deathDate
|
- 1989-01-01 00:00:00 (xsd:date)
|
| dbpedia-owl:doctoralAdvisor
| |
| dbpedia-owl:doctoralStudent
| |
| dbpedia-owl:knownFor
| |
| dbpprop:abstract
|
- John Barkley Rosser Sr. (1907–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 Rosser sieve, in number theory. He was later Director of the Army Mathematics Research Center at the University of Wisconsin–Madison. Rosser wrote mathematical textbooks as well. In 1936, he proved Rosser's trick, a stronger version of Gödel's first incompleteness theorem which shows 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's son, John Barkley Rosser, Jr. , is a mathematical economist and professor at James Madison University in Harrisonburg, Virginia.
- John Barkley Rosser Sr. war US-amerikanischer Logiker und Mathematiker. Er ist der Vater des Wirtschaftsmathematikers John Barkley Rosser Jr.
- ジョン・バークリー・ロッサー（John Barkley Rosser, 1907年 - 1989年）はアメリカの数学者、論理学者。 アロンゾ・チャーチから教わる。ラムダ計算において、チャーチ・ロッサーの定理を二人で証明した。数論で、篩い法を発展させた。軍事数学研究所の所長も務めた。教科書を多く執筆した。 1936年には、ゲーデルの不完全性定理を拡張させた。 解析的整数論で、ロッサーの定理を証明。
|
| dbpprop:almaMater
| |
| dbpprop:citizenship
| |
| dbpprop:dateOfBirth
| |
| dbpprop:dateOfDeath
| |
| dbpprop:doctoralAdvisor
| |
| dbpprop:doctoralStudents
| |
| dbpprop:fields
| |
| dbpprop:hasPhotoCollection
| |
| dbpprop:knownFor
| |
| dbpprop:name
| |
| dbpprop:nationality
| |
| dbpprop:reference
| |
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:wordnet_type
| |
| rdf:type
| |
| rdfs:comment
|
- John Barkley Rosser Sr. (1907–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 Rosser sieve, in number theory. He was later Director of the Army Mathematics Research Center at the University of Wisconsin–Madison. Rosser wrote mathematical textbooks as well.
- John Barkley Rosser Sr. war US-amerikanischer Logiker und Mathematiker. Er ist der Vater des Wirtschaftsmathematikers John Barkley Rosser Jr.
|
| rdfs:label
|
- J. Barkley Rosser
- John Barkley Rosser
- ジョン・バークリー・ロッサー
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:name
| |
| foaf:page
| |
| is dbpedia-owl:Scientist/doctoralStudent
of | |
| is dbpedia-owl:doctoralStudent
of | |
| is dbpprop:disambiguates
of | |
| is dbpprop:doctoralStudents
of | |
| is dbpprop:redirect
of | |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
