Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Impredicativity
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
Notion of self-reference in mathematics and philosophy
Property
Value
dbo:
description
поняття самореференції в математиці та філософії
(uk)
typ definicji rozważany w logice matematycznej
(pl)
notion of self-reference in mathematics and philosophy
(en)
dbo:
wikiPageExternalLink
http://math.stanford.edu/~feferman/papers/predicativity.pdf
https://planetmath.org/predicativism
https://zenodo.org/record/1447794
dbo:
wikiPageWikiLink
dbr
:Intuitionistic_type_theory
dbr
:Real_number
dbr
:Axiom_of_reducibility
dbr
:Bertrand_Russell
dbr
:Russell's_paradox
dbr
:Set_(mathematics)
dbr
:Richard's_paradox
dbr
:Cantor's_paradox
dbr
:Jean_van_Heijenoort
dbr
:Hermann_Weyl
dbr
:Paradox
dbr
:Naive_set_theory
dbc
:Concepts_in_logic
dbc
:Philosophy_of_mathematics
dbr
:Logic
dbr
:Mathematics
dbr
:Solomon_Feferman
dbr
:Begriffsschrift
dbc
:Mathematical_logic
dbc
:Recursion
dbc
:Self-reference
dbr
:Henri_Poincaré
dbr
:Definition
dbr
:Infinite_set
dbr
:Partially_ordered_set
dbr
:Empty_set
dbr
:Burali-Forti_paradox
dbr
:Logicism
dbr
:Hans_Reichenbach
dbr
:Philosophy_of_mathematics
dbr
:Stratification_(mathematics)
dbr
:Second-order_arithmetic
dbr
:Natural_number
dbr
:Ernst_Zermelo
dbr
:Cesare_Burali-Forti
dbr
:Gödel,_Escher,_Bach
dbr
:Greatest_lower_bound
dbr
:John_P._Burgess
dbr
:Vicious_circle_principle
dbr
:Axiomatic_set_theory
dbr
:Frege
dbr
:Frank_P._Ramsey
dbr
:Peano_arithmetic
dbr
:Stephen_C._Kleene
dbr
:Least_upper_bound
dbr
:Impredicative_polymorphism
dbr
:Self_reference
dbp:
quote
Norms which do not define classes I propose to call non-predicative; those which do define classes I shall call predicative.
(en)
dbp:
width
30.0
(dbd:perCent)
dbp:
wikiPageUsesTemplate
dbt
:Quotebox
dbt
:Quote
dbt
:Reflist
dbt
:Math
dbt
:Sfn
dbt
:Citation
dbt
:Var
dbt
:ISBN
dbt
:Cite_IEP
dbt
:Harv
dbt
:Short_description
dct:
subject
dbc
:Concepts_in_logic
dbc
:Philosophy_of_mathematics
dbc
:Mathematical_logic
dbc
:Recursion
dbc
:Self-reference
rdfs:
label
Impredicativity
(en)
Impredicatividad
(es)
Imprédicativité
(fr)
Definicja niepredykatywna
(pl)
Impredicatividade
(pt)
Непредикативность (математика)
(ru)
Непредикативність (математика)
(uk)
非直谓性
(zh)
owl:
sameAs
freebase
:Impredicativity
yago-res
:Impredicativity
wikidata
:Impredicativity
dbpedia-fr
:Impredicativity
dbpedia-zh
:Impredicativity
dbpedia-pt
:Impredicativity
dbpedia-es
:Impredicativity
dbpedia-ru
:Impredicativity
dbpedia-pl
:Impredicativity
dbpedia-uk
:Impredicativity
dbpedia-global
:Impredicativity
dbr
:Impredicativity
prov:
wasDerivedFrom
wikipedia-en
:Impredicativity?oldid=1293361014&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Impredicativity
is
dbo:
notableIdea
of
dbr
:Bertrand_Russell
is
dbo:
philosophicalSchool
of
dbr
:Solomon_Feferman
is
dbo:
wikiPageRedirects
of
dbr
:Predicativism
dbr
:Predicativism
dbr
:Predicative_arithmetic
dbr
:Predicative_mathematics
dbr
:Predicativity
dbr
:Impredicative
dbr
:Impredicative_definition
dbr
:Impredicative_property
is
dbo:
wikiPageWikiLink
of
dbr
:Induction-recursion
dbr
:Edmund_Husserl
dbr
:Gottlob_Frege
dbr
:Self-reference
dbr
:Parametric_polymorphism
dbr
:Intuitionistic_type_theory
dbr
:Set_theory
dbr
:Richard's_paradox
dbr
:Gödel's_incompleteness_theorems
dbr
:Hermann_Weyl
dbr
:Paul_Lorenzen
dbr
:Index_of_philosophy_articles_(I–Q)
dbr
:Henri_Poincaré
dbr
:Kripke–Platek_set_theory
dbr
:Kruskal's_tree_theorem
dbr
:Outline_of_mathematics
dbr
:Mathematical_logic
dbr
:Reverse_mathematics
dbr
:History_of_type_theory
dbr
:Logicism
dbr
:Bounded_quantifier
dbr
:Logical_framework
dbr
:Ordinal_collapsing_function
dbr
:Lambda_cube
dbr
:Arnon_Avron
dbr
:Predicative
dbr
:Morse–Kelley_set_theory
dbr
:Constructive_set_theory
dbr
:Axiom_schema_of_predicative_separation
dbr
:Vicious_circle_principle
dbr
:Predicativism
dbr
:Predicative_arithmetic
dbr
:Predicative_mathematics
dbr
:Predicativity
dbr
:Impredicative
dbr
:Impredicative_definition
dbr
:Impredicative_property
is
dbp:
notableIdeas
of
dbr
:Bertrand_Russell
is
dbp:
schoolTradition
of
dbr
:Solomon_Feferman
is
foaf:
primaryTopic
of
wikipedia-en
:Impredicativity
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International