Property |
Value |
dbo:abstract
|
- 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 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é ce qu'on appelle depuis l'astuce de Rosser, variante plus forte du premier théorème d'incomplétude de Gödel qui montre que l'exigence d'une ω-cohérence peut être réduite à celle d'une simple cohérence. Plutôt que d'utiliser une variante du paradoxe du menteur avec l’affirmation « je ne suis pas démontrable », il a utilisé l’affirmation « Pour chacune des preuves de mon existence, il existe une preuve plus courte de ma négation ». En théorie des nombres, il démontra le théorème de Rosser. Le (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, (en), est mathématicien en économie et professeur à l'université James Madison à Harrisonburg en Virginie. (fr)
- 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 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é ce qu'on appelle depuis l'astuce de Rosser, variante plus forte du premier théorème d'incomplétude de Gödel qui montre que l'exigence d'une ω-cohérence peut être réduite à celle d'une simple cohérence. Plutôt que d'utiliser une variante du paradoxe du menteur avec l’affirmation « je ne suis pas démontrable », il a utilisé l’affirmation « Pour chacune des preuves de mon existence, il existe une preuve plus courte de ma négation ». En théorie des nombres, il démontra le théorème de Rosser. Le (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, (en), est mathématicien en économie et professeur à l'université James Madison à Harrisonburg en Virginie. (fr)
|
dbo:almaMater
| |
dbo:award
| |
dbo:birthDate
| |
dbo:birthPlace
| |
dbo:birthYear
| |
dbo:child
| |
dbo:citizenship
| |
dbo:deathDate
| |
dbo:deathPlace
| |
dbo:deathYear
| |
dbo:discipline
| |
dbo:doctoralAdvisor
| |
dbo:doctoralStudent
| |
dbo:domain
| |
dbo:employer
| |
dbo:influenced
| |
dbo:influencedBy
| |
dbo:knownFor
| |
dbo:nationality
| |
dbo:occupation
| |
dbo:university
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 4756 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1934 (xsd:integer)
- 1978 (xsd:integer)
- 1984 (xsd:integer)
|
prop-fr:auteur
|
- John Barkley Rosser (fr)
- J. Barkley Rosser (fr)
- John B. Rosser (fr)
- John Barkley Rosser (fr)
- J. Barkley Rosser (fr)
- John B. Rosser (fr)
|
prop-fr:champs
| |
prop-fr:dateDeDécès
| |
prop-fr:dateDeNaissance
| |
prop-fr:diplôme
| |
prop-fr:directeurThèse
| |
prop-fr:fr
|
- John Barkley Rosser fils (fr)
- paradoxe de Kleene-Rosser (fr)
- John Barkley Rosser fils (fr)
- paradoxe de Kleene-Rosser (fr)
|
prop-fr:isbn
| |
prop-fr:journal
|
- Ann. Math. (fr)
- Ann. Math. (fr)
|
prop-fr:lang
| |
prop-fr:langue
| |
prop-fr:lienPériodique
|
- Annals of Mathematics (fr)
- Annals of Mathematics (fr)
|
prop-fr:lieuDeDécès
| |
prop-fr:lieuDeNaissance
| |
prop-fr:nationalité
| |
prop-fr:nom
|
- John Barkley Rosser (fr)
- John Barkley Rosser (fr)
|
prop-fr:numéro
| |
prop-fr:numéroD'édition
| |
prop-fr:pages
|
- 127 (xsd:integer)
- 337 (xsd:integer)
|
prop-fr:pagesTotales
| |
prop-fr:périodique
|
- Annals of the History of Computing (fr)
- Annals of the History of Computing (fr)
|
prop-fr:renomméPour
| |
prop-fr:texte
|
- qui porte le même nom (fr)
- qui porte le même nom (fr)
|
prop-fr:titre
|
- A mathematical logic without variables (fr)
- Highlight of the History of Lambda calculus (fr)
- Logic for Mathematicians (fr)
- A mathematical logic without variables (fr)
- Highlight of the History of Lambda calculus (fr)
- Logic for Mathematicians (fr)
|
prop-fr:trad
|
- Kleene–Rosser paradox (fr)
- Kleene–Rosser paradox (fr)
|
prop-fr:url
|
- http://www.lib.utexas.edu/taro/utcah/00212/cah-00212.html|titre=A Guide to the J. Barkley Rosser Papers (fr)
- http://www.lib.utexas.edu/taro/utcah/00212/cah-00212.html|titre=A Guide to the J. Barkley Rosser Papers (fr)
|
prop-fr:volume
| |
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Chelsea Publ. Co. (fr)
- Chelsea Publ. Co. (fr)
|
prop-fr:étudiantsThèse
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- 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 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 théorie des nombres, il démontra le théorème de Rosser. Le (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. (fr)
- 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 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 théorie des nombres, il démontra le théorème de Rosser. Le (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. (fr)
|
rdfs:label
|
- John Barkley Rosser (fr)
- J. Barkley Rosser (en)
- John Barkley Rosser (de)
- John Barkley Rosser (pt)
- ジョン・バークリー・ロッサー (ja)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
foaf:name
|
- (fr)
- John Barkley Rosser (fr)
- (fr)
- John Barkley Rosser (fr)
|
is dbo:doctoralAdvisor
of | |
is dbo:doctoralStudent
of | |
is dbo:influenced
of | |
is dbo:namedAfter
of | |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is prop-fr:étudiantsThèse
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |