This HTML5 document contains 129 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/
n14http://www.nd.edu/~tbays/papers/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
n17http://www.princeton.edu/~hhalvors/teaching/phi520_f2012/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
n18https://books.google.com/
n5https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
n29https://www.math.ucla.edu/~asl/bsl/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
n31https://web.archive.org/web/20060503045926/http:/uk.geocities.com/frege@btinternet.com/cantor/
n28http://boole.stanford.edu/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n27https://www.math.ucla.edu/~asl/bsl/0602/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
n32http://www.digizeitschriften.de/download/PPN235181684_0076/

Statements

Subject Item
dbr:Skolem's_paradox
rdf:type
yago:Contradiction107206887 yago:Communication100033020 yago:Message106598915 yago:Statement106722453 yago:WikicatParadoxes yago:Falsehood106756407 yago:WikicatMathematicsParadoxes yago:Paradox106724559 yago:Abstraction100002137
rdfs:label
斯科伦悖论 Парадокс Скулема Paradoxa de Skolem Paradoxe de Skolem Skolem's paradox Paradoxo de Skolem Paradoks Skolema Paradox van Skolem Skolem-Paradox
rdfs:comment
Na lógica matemática e na filosofia, O paradoxo de Skolem é uma aparente contradição que surge a partir do Teorema Löwenheim–Skolem. Thoralf Skolem (1922) foi o primeiro a discutir os aspectos aparentemente contraditórios do teorema, e descobrir a relatividade das noções dos conjuntos teóricos hoje conhecida como não-absoluto. Embora não seja uma real antinomia como o paradoxo de russel, o resultado normalmente é chamado de paradoxo, e foi descrito como "um estado paradoxal das coisas" por Skolem (1922: p., 295). Paradoks Skolema – pozorna sprzeczność dotycząca teorii mnogości wynikająca z twierdzenia Löwenheima-Skolema. Jego autorem jest norweski logik Thoralf Skolem. In mathematical logic and philosophy, Skolem's paradox is a seeming contradiction that arises from the downward Löwenheim–Skolem theorem. Thoralf Skolem (1922) was the first to discuss the seemingly contradictory aspects of the theorem, and to discover the relativity of set-theoretic notions now known as non-absoluteness. Although it is not an actual antinomy like Russell's paradox, the result is typically called a paradox and was described as a "paradoxical state of affairs" by Skolem (1922: p. 295). In de wiskundige logica en filosofie, is de paradox van Skolem een schijnbare tegenstrijdigheid die voortvloeit uit de neerwaartse stelling van Löwenheim-Skolem. Thoralf Skolem was in 1922 de eerste die de schijnbaar tegenstrijdige aspecten van deze stelling besprak en die de relativiteit van de verzamelingtheoretische noties ontdekte die nu bekendstaan als niet-. Hoewel de paradox van Skolem geen werkelijke antinomie is, zoals de Russellparadox, wordt het resultaat meestal een paradox genoemd, en werd hij door Skolem beschreven als een "paradoxale stand van zaken". En logique mathématique et en philosophie analytique, le paradoxe de Skolem est une conséquence troublante du théorème de Löwenheim-Skolem en théorie des ensembles. Il affirme qu'une théorie des ensembles, comme ZFC, si elle a un modèle, a un modèle dénombrable, bien que l'on puisse par ailleurs définir une formule qui exprime l'existence d'ensembles non dénombrables. C'est un paradoxe au sens premier de ce terme : il va contre le sens commun, mais ce n'est pas une antinomie, une contradiction que l'on pourrait déduire dans la théorie. Парадокс Скулема — противоречивое рассуждение, описанное впервые норвежским математиком Туральфом Скулемом, связанное с использованием теоремы Лёвенгейма — Скулема для аксиоматической теории множеств. В отличие от парадокса Рассела, парадокса Кантора, парадокса Бурали-Форти, где при помощи логически верных выводов обнаруживается противоречие, «замаскированное» в исходных посылках, «противоречие» парадокса Скулема возникает от ошибки в рассуждениях, и аккуратное рассмотрение вопроса показывает, что это лишь мнимый парадокс. Тем не менее, рассмотрение парадокса Скулема имеет большую дидактическую ценность. La paradoxa de Skolem és una paradoxa que apareix a teoria de conjunts i lògica com a conseqüència paradoxal del . La paradoxa va ser introduïda en la discussió del matemàtic noruec Thoralf Skolem en un article de 1922. D'acord amb el teorema de Löwenheim-Skolem tota axiomatització d'una teoria matemàtica utilitzant un llenguatge de primer ordre que tingui un nombre finit de signes distints admet un model numerable. Per exemple, la formalització de la teoria de conjunts usual de Zermelo-Fraenkel afirma l'existència de conjunts no numerables. Però existeix un model que satisfà els axiomes d'aquesta teoria que és ell mateix numerable. La resolució de la paradoxa requereix distingir adequadament entre els conjunts com objecte descrit per la teoria i els conjunts com a instrument utilitzat per 在数理逻辑中，特别是集合论中，Skolem 悖论是向下 Löwenheim-Skolem定理的直接结果，它声称所有一阶语言的句子的模型都有一个初等等价的可数子模型。 这个悖论见于Zermelo-Fraenkel 集合论中。康托尔在 1874年发表的更早的结果是，存在不可数集合比如自然数的幂集，实数的集合，和著名的康托爾集。这些集合存在于任何 Zermelo-Fraenkel 全集中，因为它们的存在可从公理得出。使用 Löwenheim-Skolem 定理，我们可以得到只包含可数个对象的集合论的模型。但是，它必须包含上述提及到的不可数集合，这似乎是个矛盾。但是正在讨论的这些集合是不可数的，只是在模型内不存在从自然数到这些集合的双射(注意到雙射函數也是集合，也就是一種特殊的关系)。而模型外的確有這樣的双射。
dcterms:subject
dbc:Model_theory dbc:Inner_model_theory dbc:Mathematical_paradoxes
dbo:wikiPageID
1348798
dbo:wikiPageRevisionID
1108978273
dbo:wikiPageWikiLink
dbr:Real_number dbr:Real_numbers dbc:Inner_model_theory dbr:Stephen_Cole_Kleene dbr:Springer_Science+Business_Media dbc:Mathematical_paradoxes dbr:Powerset dbr:Gödel's_completeness_theorem dbc:Model_theory dbr:Compactness_theorem dbr:Georg_Cantor dbr:John_von_Neumann dbr:Leon_Henkin dbr:Axiomatisation dbr:Ernst_Zermelo dbr:Philosophy dbr:Consistent dbr:Paradox dbr:One-to-one_correspondence dbr:Second-order_logic dbr:Forcing_(set_theory) dbr:New_York_City dbr:Metamathematics dbr:Oxford_University_Press dbr:Natural_numbers dbr:Higher-order_logic dbr:Cantor_set dbr:Absoluteness_(mathematical_logic) dbr:Uncountable dbr:Satisfiability dbr:Structure_(mathematical_logic) dbr:Löwenheim–Skolem_theorem dbr:Russell's_paradox dbr:Hilary_Putnam dbr:Mathematische_Annalen dbr:Set_theory dbr:Finitism dbr:Morley's_categoricity_theorem dbr:Gödel's_incompleteness_theorem dbr:Transitive_model dbr:Countable_set dbr:Thoralf_Skolem dbr:Cumulative_hierarchy dbr:Mathematical_logic dbr:Definable_real_number dbr:Infinitary_logic dbr:NBG_set_theory dbr:Helsinki dbr:Antinomy dbr:First-order_logic dbr:Cantor's_theorem
dbo:wikiPageExternalLink
n14:pthesis.pdf n17:putnam1980.pdf n18:books%3Fid=dVncCl_EtUkC&pg=PR9%7Cedition=2nd%7Cdate=2001%7Cpublisher=Elsevier%7Cisbn=978-0-08-049646-7 n27:0602-001.ps n28:skolem n29:1004-toc.htm n31:skolem_moore.htm n32:log39.pdf
owl:sameAs
n5:AVWR dbpedia-de:Skolem-Paradox freebase:m.04vr52 dbpedia-ru:Парадокс_Скулема dbpedia-pl:Paradoks_Skolema yago-res:Skolem's_paradox dbpedia-fr:Paradoxe_de_Skolem wikidata:Q1096353 dbpedia-ca:Paradoxa_de_Skolem dbpedia-zh:斯科伦悖论 dbpedia-nl:Paradox_van_Skolem dbpedia-pt:Paradoxo_de_Skolem
dbp:wikiPageUsesTemplate
dbt:Annotated_link dbt:Springer dbt:Short_description dbt:Mathematical_logic dbt:Cite_conference dbt:Cite_book dbt:Isbn dbt:Cite_thesis dbt:No_footnotes dbt:Cite_journal dbt:Citation
dbo:wikiPageInterLanguageLink
dbpedia-de:Löwenheim-Skolem-Theorem
dbp:first
A.G.
dbp:id
S/s085750
dbp:last
Dragalin
dbo:abstract
Na lógica matemática e na filosofia, O paradoxo de Skolem é uma aparente contradição que surge a partir do Teorema Löwenheim–Skolem. Thoralf Skolem (1922) foi o primeiro a discutir os aspectos aparentemente contraditórios do teorema, e descobrir a relatividade das noções dos conjuntos teóricos hoje conhecida como não-absoluto. Embora não seja uma real antinomia como o paradoxo de russel, o resultado normalmente é chamado de paradoxo, e foi descrito como "um estado paradoxal das coisas" por Skolem (1922: p., 295). O paradoxo de Skolem diz que cada axiomatização contável da teoria dos conjuntos na lógica de primeira ordem, se é consistente, tem um modelo que é contável. Isso parece contraditório porque é possível provar, a partir desses mesmos axiomas, uma frase que diz intuitivamente (ou que diz precisamente o modelo padrão da teoria) que existem conjuntos que não são contáveis. Assim, a aparente contradição é que um modelo que é a própria contabilidade, e que, portanto, contém apenas conjuntos contáveis, satisfaz a primeira frase para que intuitivamente afirma "há incontáveis conjuntos". Uma explicação matemática do paradoxo, mostrando que não é uma contradição na matemática, foi apresentada por Skolem (1922). O trabalho de Skolem foi recebido por Ernst Zermelo, que argumentou contra as limitações da lógica de primeira ordem, mas o resultado rapidamente veio a ser aceito pela comunidade matemática. As implicações filosóficas do paradoxo de Skolem foram bastante estudadas. Uma linha de pesquisa questiona se é correto afirmar que qualquer sentença da lógica de primeira ordem de fato afirma "há incontáveis conjuntos". Essa linha de pensamento pode ser estendida para questionar se qualquer conjunto é incontável em um sentido absoluto. Mais recentemente, o artigo "Models and Reality" de Hilary Putnam e as respostar a ele, levou a um renovado interesse nos aspectos filosóficos dos resultados de Skolem. Парадокс Скулема — противоречивое рассуждение, описанное впервые норвежским математиком Туральфом Скулемом, связанное с использованием теоремы Лёвенгейма — Скулема для аксиоматической теории множеств. В отличие от парадокса Рассела, парадокса Кантора, парадокса Бурали-Форти, где при помощи логически верных выводов обнаруживается противоречие, «замаскированное» в исходных посылках, «противоречие» парадокса Скулема возникает от ошибки в рассуждениях, и аккуратное рассмотрение вопроса показывает, что это лишь мнимый парадокс. Тем не менее, рассмотрение парадокса Скулема имеет большую дидактическую ценность. Paradoks Skolema – pozorna sprzeczność dotycząca teorii mnogości wynikająca z twierdzenia Löwenheima-Skolema. Jego autorem jest norweski logik Thoralf Skolem. La paradoxa de Skolem és una paradoxa que apareix a teoria de conjunts i lògica com a conseqüència paradoxal del . La paradoxa va ser introduïda en la discussió del matemàtic noruec Thoralf Skolem en un article de 1922. D'acord amb el teorema de Löwenheim-Skolem tota axiomatització d'una teoria matemàtica utilitzant un llenguatge de primer ordre que tingui un nombre finit de signes distints admet un model numerable. Per exemple, la formalització de la teoria de conjunts usual de Zermelo-Fraenkel afirma l'existència de conjunts no numerables. Però existeix un model que satisfà els axiomes d'aquesta teoria que és ell mateix numerable. La resolució de la paradoxa requereix distingir adequadament entre els conjunts com objecte descrit per la teoria i els conjunts com a instrument utilitzat per construir un model. La paradoxa a més reflecteix una limitació de la lògica de primer ordre que implica que per una mateixa teoria poden existir models de cardinalitat molt diferents. A més de models numerables, naturalment l'axiomatització de Zermelo-Fraenkel admet models no numerables, que intuïtivament no resulten paradoxals. In mathematical logic and philosophy, Skolem's paradox is a seeming contradiction that arises from the downward Löwenheim–Skolem theorem. Thoralf Skolem (1922) was the first to discuss the seemingly contradictory aspects of the theorem, and to discover the relativity of set-theoretic notions now known as non-absoluteness. Although it is not an actual antinomy like Russell's paradox, the result is typically called a paradox and was described as a "paradoxical state of affairs" by Skolem (1922: p. 295). Skolem's paradox is that every countable axiomatisation of set theory in first-order logic, if it is consistent, has a model that is countable. This appears contradictory because it is possible to prove, from those same axioms, a sentence that intuitively says (or that precisely says in the standard model of the theory) that there exist sets that are not countable. Thus the seeming contradiction is that a model that is itself countable, and which therefore contains only countable sets, satisfies the first-order sentence that intuitively states "there are uncountable sets". A mathematical explanation of the paradox, showing that it is not a contradiction in mathematics, was given by Skolem (1922). Skolem's work was harshly received by Ernst Zermelo, who argued against the limitations of first-order logic, but the result quickly came to be accepted by the mathematical community. The philosophical implications of Skolem's paradox have received much study. One line of inquiry questions whether it is accurate to claim that any first-order sentence actually states "there are uncountable sets". This line of thought can be extended to question whether any set is uncountable in an absolute sense. More recently, the paper "Models and Reality" by Hilary Putnam, and responses to it, led to renewed interest in the philosophical aspects of Skolem's result. En logique mathématique et en philosophie analytique, le paradoxe de Skolem est une conséquence troublante du théorème de Löwenheim-Skolem en théorie des ensembles. Il affirme qu'une théorie des ensembles, comme ZFC, si elle a un modèle, a un modèle dénombrable, bien que l'on puisse par ailleurs définir une formule qui exprime l'existence d'ensembles non dénombrables. C'est un paradoxe au sens premier de ce terme : il va contre le sens commun, mais ce n'est pas une antinomie, une contradiction que l'on pourrait déduire dans la théorie. 在数理逻辑中，特别是集合论中，Skolem 悖论是向下 Löwenheim-Skolem定理的直接结果，它声称所有一阶语言的句子的模型都有一个初等等价的可数子模型。 这个悖论见于Zermelo-Fraenkel 集合论中。康托尔在 1874年发表的更早的结果是，存在不可数集合比如自然数的幂集，实数的集合，和著名的康托爾集。这些集合存在于任何 Zermelo-Fraenkel 全集中，因为它们的存在可从公理得出。使用 Löwenheim-Skolem 定理，我们可以得到只包含可数个对象的集合论的模型。但是，它必须包含上述提及到的不可数集合，这似乎是个矛盾。但是正在讨论的这些集合是不可数的，只是在模型内不存在从自然数到这些集合的双射(注意到雙射函數也是集合，也就是一種特殊的关系)。而模型外的確有這樣的双射。 In de wiskundige logica en filosofie, is de paradox van Skolem een schijnbare tegenstrijdigheid die voortvloeit uit de neerwaartse stelling van Löwenheim-Skolem. Thoralf Skolem was in 1922 de eerste die de schijnbaar tegenstrijdige aspecten van deze stelling besprak en die de relativiteit van de verzamelingtheoretische noties ontdekte die nu bekendstaan als niet-. Hoewel de paradox van Skolem geen werkelijke antinomie is, zoals de Russellparadox, wordt het resultaat meestal een paradox genoemd, en werd hij door Skolem beschreven als een "paradoxale stand van zaken". De paradox is dat elke consistente aftelbare eersteordeaxiomatisering van de verzamelingenleer een aftelbaar model heeft. Dit lijkt in tegenspraak met het feit, dat men in de verzamelingenleer kan uitdrukken dat een verzameling overaftelbaar is. Het is dus zo dat een model dat slechts aftelbare verzamelingen bevat een eerste-ordezin vervult, die zegt dat een verzameling overaftelbaar is.
gold:hypernym
dbr:Contradiction
prov:wasDerivedFrom
wikipedia-en:Skolem's_paradox?oldid=1108978273&ns=0
dbo:wikiPageLength
16897
foaf:isPrimaryTopicOf
wikipedia-en:Skolem's_paradox