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 Jr. (born 12 April 1948) is a mathematical economist and Professor of Economics at James Madison University in Harrisonburg, Virginia since 1988. He is known for work in nonlinear economic dynamics, including applications in economics of catastrophe theory, chaos theory, and complexity theory (complex dynamics, complexity economics). With Marina V. Rosser he invented the concept of the "new traditional economy". He introduced into economic discourse the concepts of chaotic bubbles, chaotic hysteresis (op. cit., p. 326), and econochemistry. He also invented the concepts of the megacorpstate and hypercyclic morphogenesis. He was the first to provide a mathematical model of the period of financial distress in a speculative bubble. With Marina V. Rosser and Ehsan Ahmed, he (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)
|