About: dbpedia-fr:Jean

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Jean_Largeault Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdf:type	Thing foaf:Person person schema:Person wikidata:Q19088 wikidata:Q215627 Human wikidata:Q729 dul:NaturalPerson animal eukaryote species
rdfs:label	Jean Largeault (fr)
rdfs:comment	Jean Largeault (né le 2 avril 1930 au Mans et mort le 27 mars 1995 à Créteil) est un philosophe français, spécialiste de logique et de philosophie des mathématiques, et défenseur de la logique intuitionniste. Il était l'époux d'Anne Fagot-Largeault. (fr)
rdfs:seeAlso	http://isni.org/isni/0000_0001_0915_141X http://nla.gov.au/nla.party-1496325 http://aut.nkp.cz/mub2017960550 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=179040
sameAs	http://data.bnf.fr/ark:/12148/cb119110996#about https://id.loc.gov/authorities/names/n80166970 http://data.persee.fr/person/82496 http://www.idref.fr/026966271/id https://d-nb.info/gnd/1089305494 http://viaf.org/viaf/73855993 http://datos.bne.es/resource/XX1054050 wikidata:Q3173000 http://g.co/kg/g/122yh5lh http://catalogo.pusc.it/auth/45394 http://id.worldcat.org/fast/1447058 https://data.bibliotheken.nl/doc/thes/p069051062
Wikipage page ID	4373053 (xsd:integer)
Wikipage revision ID	151434063 (xsd:integer)
dbo:wikiPageWikiLink	Anne Fagot-Largeault dbpedia-fr:Arend_Heyting category-fr:Décès_en_mars_1995 category-fr:Décès_à_64_ans category-fr:Intuitionnisme category-fr:Logicien_français category-fr:Naissance_en_avril_1930 category-fr:Philosophe_français_du_XXe_siècle dbpedia-fr:Créteil dbpedia-fr:David_Hilbert dbpedia-fr:Emil_Post France dbpedia-fr:Georg_Kreisel Gerhard Gentzen dbpedia-fr:Gottlob_Frege Hermann Weyl Computer science dbpedia-fr:Jean-Yves_Girard dbpedia-fr:Kurt_Gödel dbpedia-fr:Le_Mans dbpedia-fr:Logique dbpedia-fr:Logique_intuitionniste L. E. J. Brouwer dbpedia-fr:Nominalisme dbpedia-fr:Paul_Bernays dbpedia-fr:Philosophe dbpedia-fr:Philosophie_des_mathématiques dbpedia-fr:Pour_la_science dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Théorie_de_la_démonstration Willard Van Orman Quine
page length (characters) of wiki page	4202 (xsd:nonNegativeInteger)
dct:subject	category-fr:Décès_en_mars_1995 category-fr:Décès_à_64_ans category-fr:Intuitionnisme category-fr:Logicien_français category-fr:Naissance_en_avril_1930 category-fr:Philosophe_français_du_XXe_siècle
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Date_de_décès dbpedia-fr:Modèle:Date_de_naissance dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Voir_homonyme dbpedia-fr:Modèle:À_sourcer dbpedia-fr:Modèle:Commentaire_biblio dbpedia-fr:Modèle:Infobox_biographie2
prov:wasDerivedFrom	wikipedia-fr:Jean_Largeault?oldid=151434063&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Jean_Largeault
has abstract	Jean Largeault (né le 2 avril 1930 au Mans et mort le 27 mars 1995 à Créteil) est un philosophe français, spécialiste de logique et de philosophie des mathématiques, et défenseur de la logique intuitionniste. Il était l'époux d'Anne Fagot-Largeault. Il a défendu la logique intuitionniste (mot qu'il écrivait résolument avec un seul n), à une époque où elle était presque unanimement négligée, et avant que l'informatique lui permette un retour en force. Mais à l'inverse d'une tradition remontant à Arend Heyting, il refusait de réduire l'intuitionnisme à son formalisme, et préconisait un retour, non seulement à la technique intuitionniste, mais plus fondamentalement à sa philosophie. Les considérations « métaphysiques » de Luitzen Egbertus Jan Brouwer, généralement considérées avec amusement ou condescendance (par exemple, à l'époque actuelle, par le logicien Jean-Yves Girard), lui paraissaient essentielles à l'intuitionnisme. Parallèlement à son œuvre propre, Jean Largeault a traduit de nombreux ouvrages et articles fondateurs de la logique contemporaine : Stephen Cole Kleene, Willard Van Orman Quine, David Hilbert, Gerhard Gentzen, Luitzen Egbertus Jan Brouwer, Emil Post, Kurt Gödel… Il a publié de nombreuses recensions d'ouvrages d'épistémologie dans la revue Pour la science : Jean Largeault disait apprécier les mauvais livres, parce que ces derniers lui révélaient mieux, a contrario, ce qu'il appréciait vraiment. (fr)
citizenship	France
occupation	dbpedia-fr:Philosophe
is dbo:wikiPageWikiLink of	1930 in science 1995 in science Alan Turing dbpedia-fr:Claudine_Tiercelin dbpedia-fr:Constructivisme_(mathématiques) Foundations of mathematics dbpedia-fr:Gottlob_Frege Hermann Weyl dbpedia-fr:Intuition dbpedia-fr:Intuitionnisme dbpedia-fr:Jan_Łukasiewicz List of French philosophers dbpedia-fr:Liste_des_titres_Que_sais-je_%3F_(1-2500) dbpedia-fr:Liste_des_titres_Que_sais-je_%3F_(2501-...) dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_mathématique Turing machine

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software