| 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) |
| dbo:almaMater |
dbpedia-fr:Université_de_Floride dbpedia-fr:Université_de_Princeton |
| dbo:award |
dbpedia-fr:Bourse_Guggenheim |
| dbo:birthDate |
1907-12-06 (xsd:date) |
| dbo:birthPlace |
dbpedia-fr:Jacksonville_(Floride) |
| dbo:birthYear |
1907-01-01 (xsd:gYear) |
| dbo:child |
wikidata:Q6104803 |
| dbo:citizenship |
dbpedia-fr:États-Unis |
| dbo:deathDate |
1989-09-05 (xsd:date) |
| dbo:deathPlace |
dbpedia-fr:Madison_(Wisconsin) |
| dbo:deathYear |
1989-01-01 (xsd:gYear) |
| dbo:discipline |
dbpedia-fr:Logique_mathématique |
| dbo:doctoralAdvisor |
dbpedia-fr:Alonzo_Church |
| dbo:doctoralStudent |
dbpedia-fr:George_E._Collins dbpedia-fr:Gerald_E._Sacks wikidata:Q102132287 wikidata:Q102132545 wikidata:Q102158018 wikidata:Q102188788 wikidata:Q102198745 wikidata:Q102265957 wikidata:Q5365699 |
| dbo:domain |
dbpedia-fr:Logique_mathématique dbpedia-fr:Théorie_des_nombres |
| dbo:employer |
dbpedia-fr:Université_Cornell dbpedia-fr:Université_Harvard dbpedia-fr:Université_du_Wisconsin_à_Madison |
| dbo:influenced |
dbpedia-fr:Gerald_E._Sacks dbpedia-fr:George_Collins_(mathematician) dbpedia-fr:Stephen_Orey |
| dbo:influencedBy |
dbpedia-fr:Alonzo_Church |
| dbo:knownFor |
dbpedia-fr:Propriété_de_Church-Rosser dbpedia-fr:Crible_de_Rosser |
| dbo:nationality |
dbpedia-fr:États-Unis |
| dbo:occupation |
dbpedia-fr:Informaticien dbpedia-fr:Philosophe dbpedia-fr:Mathématicien wikidata:Q1622272 |
| dbo:university |
dbpedia-fr:Université_de_Princeton |
| dbo:wikiPageExternalLink |
http://infoshare1.princeton.edu/libraries/firestone/rbsc/finding_aids/mathoral/pm02.htm%7Ctitre=Interview http://www.lib.utexas.edu/taro/utcah/00212/cah-00212.html%7Ctitre=A |
| dbo:wikiPageID |
6786469 (xsd:integer) |
| dbo:wikiPageLength |
4756 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
183288873 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbpedia-fr:Alonzo_Church dbpedia-fr:Anévrisme dbpedia-fr:Astuce_de_Rosser category-fr:Boursier_Guggenheim category-fr:Décès_en_septembre_1989 category-fr:Décès_à_81_ans category-fr:Logicien_américain category-fr:Mathématicien_américain_du_XXe_siècle category-fr:Naissance_en_décembre_1907 dbpedia-fr:Gerald_E._Sacks dbpedia-fr:Harrisonburg_(Virginie) dbpedia-fr:Jacksonville_(Floride) dbpedia-fr:Lambda-calcul dbpedia-fr:Logique dbpedia-fr:Logique_mathématique dbpedia-fr:Madison_(Wisconsin) dbpedia-fr:Paradoxe_du_menteur dbpedia-fr:Propriété_de_Church-Rosser dbpedia-fr:Théorie_des_nombres dbpedia-fr:Théorie_oméga-cohérente dbpedia-fr:Théorème_de_Rosser dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel dbpedia-fr:Université_James_Madison dbpedia-fr:Université_de_Princeton dbpedia-fr:Université_du_Wisconsin_à_Madison dbpedia-fr:Virginie_(États-Unis) dbpedia-fr:Économie_(discipline) dbpedia-fr:États-Unis dbpedia-fr:Mathématicien dbpedia-fr:Crible_de_Rosser dbpedia-fr:George_Collins_(mathematician) dbpedia-fr:Stephen_Orey |
| 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) |
| prop-fr:champs |
dbpedia-fr:Logique_mathématique dbpedia-fr:Théorie_des_nombres |
| prop-fr:dateDeDécès |
1989-09-05 (xsd:date) |
| prop-fr:dateDeNaissance |
1907-12-06 (xsd:date) |
| prop-fr:diplôme |
dbpedia-fr:Université_de_Princeton |
| prop-fr:directeurThèse |
dbpedia-fr:Alonzo_Church |
| prop-fr:fr |
John Barkley Rosser fils (fr) paradoxe de Kleene-Rosser (fr) |
| prop-fr:isbn |
978 (xsd:integer) |
| prop-fr:journal |
Ann. Math. (fr) |
| prop-fr:lang |
en (fr) |
| prop-fr:langue |
en (fr) |
| prop-fr:lienPériodique |
Annals of Mathematics (fr) |
| prop-fr:lieuDeDécès |
dbpedia-fr:Madison_(Wisconsin) |
| prop-fr:lieuDeNaissance |
dbpedia-fr:Jacksonville_(Floride) |
| prop-fr:nationalité |
dbpedia-fr:États-Unis |
| prop-fr:nom |
John Barkley Rosser (fr) |
| prop-fr:numéro |
4 (xsd:integer) |
| prop-fr:numéroD'édition |
2 (xsd:integer) |
| prop-fr:pages |
127 (xsd:integer) 337 (xsd:integer) |
| prop-fr:pagesTotales |
578 (xsd:integer) |
| prop-fr:périodique |
Annals of the History of Computing (fr) |
| prop-fr:renomméPour |
dbpedia-fr:Propriété_de_Church-Rosser dbpedia-fr:Crible_de_Rosser |
| prop-fr:texte |
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) |
| prop-fr:trad |
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) |
| prop-fr:volume |
6 (xsd:integer) |
| prop-fr:wikiPageUsesTemplate |
dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Bases dbpedia-fr:Modèle:Citation dbpedia-fr:Modèle:Date dbpedia-fr:Modèle:Date_de_décès dbpedia-fr:Modèle:Date_de_naissance dbpedia-fr:Modèle:Dictionnaires dbpedia-fr:Modèle:En dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Lien_web dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Voir_homonymes dbpedia-fr:Modèle:Ébauche dbpedia-fr:Modèle:Infobox_Scientifique dbpedia-fr:Modèle:MathGenealogy |
| prop-fr:éditeur |
Chelsea Publ. Co. (fr) |
| prop-fr:étudiantsThèse |
dbpedia-fr:George_Collins_(mathematician) Gerald Sacks (fr) Stephen Orey (fr) |
| dct:subject |
category-fr:Boursier_Guggenheim category-fr:Décès_en_septembre_1989 category-fr:Décès_à_81_ans category-fr:Logicien_américain category-fr:Mathématicien_américain_du_XXe_siècle category-fr:Naissance_en_décembre_1907 |
| rdf:type |
owl:Thing foaf:Person dbo:Person dbo:Scientist schema:Person wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dul:NaturalPerson dbo:Animal dbo:Eukaryote dbo:Species |
| 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) |
| rdfs:label |
John Barkley Rosser (fr) J. Barkley Rosser (en) John Barkley Rosser (de) John Barkley Rosser (pt) ジョン・バークリー・ロッサー (ja) |
| rdfs:seeAlso |
http://ci.nii.ac.jp/author/DA04352870 http://isni.org/isni/0000_0001_0935_2588 http://nla.gov.au/anbd.aut-an35292612 http://nla.gov.au/nla.party-900416 https://www.britannica.com/biography/J-Barkley-Rosser https://zbmath.org/authors/?q=ai:rosser.john-barkley http://genealogy.math.ndsu.nodak.edu/id.php?id=8013 http://www.bib.ub.edu/fileadmin/autoritats/permanent/a1136333 http://snaccooperative.org/ark:/99166/w6pk23zf http://academictree.org/chemistry/peopleinfo.php?pid=73175 http://aut.nkp.cz/kup20030000084241 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=58659 http://urn.bn.pt/nca/unimarc-authorities/txt?id=142140 https://lira.lanet.lv/F?func=direct&local_base=lnc10&doc_number=000010061 |
| owl:sameAs |
dbr:J._Barkley_Rosser wikidata:Q332905 dbpedia-de:John_Barkley_Rosser dbpedia-fa:جان_بارکلی_راسر dbpedia-ja:ジョン・バークリー・ロッサー dbpedia-ko:존_버클리_로서 dbpedia-pt:John_Barkley_Rosser http://azb.dbpedia.org/resource/جان_بارکلی_راسر http://data.bnf.fr/ark:/12148/cb11211843k#about http://www.idref.fr/031618987/id https://d-nb.info/gnd/129075728 http://g.co/kg/m/0327q5 http://viaf.org/viaf/111016029 https://dblp.org/pid/22/2861 https://id.loc.gov/authorities/names/n83016635 http://data.nlg.gr/resource/authority/record140722 http://id.worldcat.org/fast/1456435 https://data.bibliotheken.nl/doc/thes/p087486830 https://livedata.bibsys.no/authority/90539308 |
| prov:wasDerivedFrom |
wikipedia-fr:John_Barkley_Rosser?oldid=183288873&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-fr:John_Barkley_Rosser |
| foaf:name |
(fr) John Barkley Rosser (fr) |
| is dbo:doctoralAdvisor of |
dbpedia-fr:George_E._Collins dbpedia-fr:Gerald_E._Sacks |
| is dbo:doctoralStudent of |
dbpedia-fr:Alonzo_Church |
| is dbo:influenced of |
dbpedia-fr:Alonzo_Church |
| is dbo:namedAfter of |
dbpedia-fr:Confluence_(informatique) dbpedia-fr:Propriété_de_Church-Rosser |
| is dbo:wikiPageDisambiguates of |
dbpedia-fr:Rosser_(homonymie) |
| is dbo:wikiPageRedirects of |
dbpedia-fr:J._Barkley_Rosser dbpedia-fr:Barkley_Rosser |
| is dbo:wikiPageWikiLink of |
dbpedia-fr:1907_en_science dbpedia-fr:1989_en_science dbpedia-fr:5_septembre_1989 dbpedia-fr:Alan_Turing dbpedia-fr:Alonzo_Church dbpedia-fr:Astuce_de_Rosser dbpedia-fr:Déduction_logique dbpedia-fr:George_E._Collins dbpedia-fr:Gerald_E._Sacks dbpedia-fr:Langage_congruentiel dbpedia-fr:Liste_des_orateurs_du_Congrès_international_des_mathématiciens dbpedia-fr:Paradoxe_de_Burali-Forti dbpedia-fr:Propriété_de_Church-Rosser dbpedia-fr:Rosser_(homonymie) dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Thèse_de_Church dbpedia-fr:Théorème_de_Rosser dbpedia-fr:Théorème_des_nombres_premiers dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel dbpedia-fr:J._Barkley_Rosser dbpedia-fr:Barkley_Rosser |
| is prop-fr:étudiantsThèse of |
dbpedia-fr:Alonzo_Church |
| is oa:hasTarget of |
tag-fr:PtFrResource tag-fr:DeFrResource tag-fr:JaFrResource tag-fr:EnFrResource tag-fr:WdtFrResource |
| is foaf:primaryTopic of |
wikipedia-fr:John_Barkley_Rosser |