paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 031618987Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Rosser, John Barkley (1907-1989)

Sur le web

Variante de point d'accès

Rosser, J. Barkley (Sr)
[Nom de personne]

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : anglais
Pays : Etats-Unis d'Amérique
Date de naissance :    06 /  12 /  1907
Date de mort :    05 /  09 /  1989

Notes

Note introduisant un renvoi explicatif : 
Mathématicien

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/111016029
Identifiant Wikidata : Q332905
Identifiant ZBMath : rosser.john-barkley
Identifiant ISNI : 0000000109352588

Source

Wikipedia, 2023-04-19

Information trouvée : 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 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.

... Références liées : ...