This HTML5 document contains 67 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n25https://ncatlab.org/nlab/show/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n20http://g.co/kg/m/
dbpedia-hehttp://he.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
n17http://fr.dbpedia.org/resource/Modèle:
dbpedia-fihttp://fi.dbpedia.org/resource/
n22http://fr.dbpedia.org/resource/Fichier:
wikipedia-frhttp://fr.wikipedia.org/wiki/
n26http://commons.wikimedia.org/wiki/Special:FilePath/
n34http://plato.stanford.edu/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n31http://bs.dbpedia.org/resource/
n35http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
n13http://plato.stanford.edu/entries/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n33http://plato.stanford.edu/entries/curry-paradox/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Paradoxe_de_Curry
rdfs:label
Paradoja de Curry Paradoxe de Curry カリーのパラドックス Paradoxa de Curry Paradosso di Curry Currys Paradoxon Парадокс Карри Curry's paradox Paradoxo de Curry
rdfs:comment
Le paradoxe de Curry fut présenté par le mathématicien Haskell Curry en 1942 et permet d'arriver à n'importe quelle conclusion à partir d'une phrase auto-référentielle et de quelques règles logiques simples. Une telle phrase s'énonce : Si cette phrase est vraie, alors le monstre du Memphrémagog existe. C'est une traduction, en logique minimale, du paradoxe de Russell (théorie des ensembles), ou de la phrase de Gödel (théorie de la démonstration).[réf. nécessaire]
rdfs:seeAlso
n13:curry-paradox n25:Curry's_paradox
owl:sameAs
dbpedia-ru:Парадокс_Карри dbpedia-ca:Paradoxa_de_Curry dbpedia-it:Paradosso_di_Curry dbpedia-de:Currys_Paradoxon dbpedia-pt:Paradoxo_de_Curry wikidata:Q899616 dbpedia-hu:Curry_paradoxonja n20:01445f dbr:Curry's_paradox dbpedia-fi:Curryn_paradoksi dbpedia-ja:カリーのパラドックス dbpedia-zh:柯里悖论 dbpedia-he:הפרדוקס_של_קרי dbpedia-pl:Paradoks_Curry’ego n31:Kurijev_paradoks dbpedia-es:Paradoja_de_Curry n35:2776482350 dbpedia-uk:Парадокс_Каррі
dbo:wikiPageID
2512357
dbo:wikiPageRevisionID
175802701
dbo:wikiPageWikiLink
dbpedia-fr:Haskell_Curry dbpedia-fr:Paradoxe dbpedia-fr:Paradoxe_du_menteur category-fr:Paradoxe_auto-référentiel dbpedia-fr:Paradoxe_de_Russell dbpedia-fr:Implication_(logique) dbpedia-fr:Calcul_des_propositions dbpedia-fr:Graphe_acyclique dbpedia-fr:Autoréférence dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel dbpedia-fr:Principe_du_tiers_exclu dbpedia-fr:Théorie_de_la_démonstration n22:Memphre_simple.svg dbpedia-fr:Constructivisme_(mathématiques) dbpedia-fr:Memphré category-fr:Paradoxe_logique dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorème_de_Löb dbpedia-fr:Mathématicien dbpedia-fr:Logique_intuitionniste dbpedia-fr:Martin_Hugo_Löb
dbo:wikiPageExternalLink
n33: n34:
dbo:wikiPageLength
5187
dct:subject
category-fr:Paradoxe_auto-référentiel category-fr:Paradoxe_logique
prop-fr:wikiPageUsesTemplate
n17:Portail n17:Référence_nécessaire n17:En
prov:wasDerivedFrom
wikipedia-fr:Paradoxe_de_Curry?oldid=175802701&ns=0
foaf:depiction
n26:Memphre_simple.svg
dbo:thumbnail
n26:Memphre_simple.svg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Paradoxe_de_Curry
dbo:namedAfter
dbpedia-fr:Haskell_Curry
dbo:abstract
Le paradoxe de Curry fut présenté par le mathématicien Haskell Curry en 1942 et permet d'arriver à n'importe quelle conclusion à partir d'une phrase auto-référentielle et de quelques règles logiques simples. Une telle phrase s'énonce : Si cette phrase est vraie, alors le monstre du Memphrémagog existe. C'est une traduction, en logique minimale, du paradoxe de Russell (théorie des ensembles), ou de la phrase de Gödel (théorie de la démonstration).[réf. nécessaire] Il est aussi nommé le paradoxe de Löb puisque la preuve se déroule de manière semblable à celle du théorème de Löb publié en 1955 par le mathématicien Martin Löb.