John Barkley Rosser (1907-1989)

Pays :États-Unis
Langue :anglais
Sexe :masculin
Naissance :1907
Mort :1989
Note :
Mathématicien
ISNI :ISNI 0000 0001 0935 2588

Ses activités

Auteur du texte3 documents

  • Deux esquisses de logique

    Description : Note : Collection de logique mathématique. Série A. 7
    Édition : Paris, Gauthier-Villars ; Louvain, E. Nauwelaerts ; (Paris, impr. de J. et R. Sennac) , 1955. In-8°, 71 p. 900 fr. [D. L. 2177-55] -IIIa-IVa-
    Traducteur : Roger Martin (logicien)

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb32585320t]
  • A Mathematical logic without variables, a dissertation... by John Barkley Rosser

    Description : Note : Reprinted from "Annals of mathematics" and from "Duke mathematical journal"
    Édition : (Princeton, University,) , 1935. 2 fascic. en 1 vol. in-4°

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb32585322h]
  • Properties and tables of generalized rocket functions for use in the theory of rockets with a constant slow spin, by J. Barkley Rosser,... and R. J. Walker,...

    Édition : Huntsville, Ala, Redstone Arsenal , 1953. In-4°, VI-114 p., graphique, autographié. [Ech. int. 25052] -IVa-

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb32585323v]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

Biographie Wikipedia

  • John Barkley Rosser père (6 décembre 1907 – 5 septembre 1989) était un logicien américain, étudiant d'Alonzo Church, connu pour la propriété de Church-Rosser en lambda-calcul. Il a aussi créé le crible de Rosser 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.En 1936, il a démontré le Rosser's trick (en), variante plus forte du premier théorème d'incomplétude de Gödel qui montre que l'exigence d'une ω-cohérence (en) peut être réduite à celle d'une simple cohérence. Plutôt que d'utiliser une variante du paradoxe du menteur avec l’affirmation , il a utilisé l’affirmation .En théorie des nombres, il démontra le théorème de Rosser.Le paradoxe de Kleene-Rosser (en) montra l’incohérence du lambda-calcul dans sa version originale.Rosser est mort d'un anévrisme le 5 septembre 1989, dans sa maison de Madison.Son fils, qui porte le même nom (en), est mathématicien en économie et professeur à l'université James Madison à Harrisonburg en Virginie.

Pages équivalentes