Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Impredicativity> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Impredicativity abstract "In mathematics and logic, a self-referencing definition is called impredicative. More precisely, a definition is said to be impredicative if it invokes (mentions or quantifies over) the set being defined, or (more commonly) another set which contains the thing being defined.The opposite of impredicativity is predicativity, which essentially entails building stratified (or ramified) theories where quantification over lower levels results in variables of some new type, distinguished from the lower types that the variable ranges over. A prototypical example is intuitionistic type theory, which retains ramification but discards impredicativity.Russell's paradox is a famous example of an impredicative construction, namely the set of all sets which do not contain themselves. The paradox is whether such a set contains itself or not — if it does then by definition it should not, and if it does not then by definition it should.The greatest lower bound of a set X, glb(X), also has an impredicative definition; y = glb(X) if and only if for all elements x of X, y is less than or equal to x, and any z less than or equal to all elements of X is less than or equal to y. But this definition also quantifies over the set (potentially infinite, depending on the order in question) whose members are the lower bounds of X, one of which being the glb itself. Hence predicativism would reject this definition.".
- Impredicativity wikiPageExternalLink predicativity.pdf.
- Impredicativity wikiPageExternalLink Predicativism.html.
- Impredicativity wikiPageID "1930406".
- Impredicativity wikiPageRevisionID "595786161".
- Impredicativity hasPhotoCollection Impredicativity.
- Impredicativity subject Category:Concepts_in_logic.
- Impredicativity subject Category:Mathematical_logic.
- Impredicativity subject Category:Philosophy_of_mathematics.
- Impredicativity subject Category:Self-reference.
- Impredicativity comment "In mathematics and logic, a self-referencing definition is called impredicative.".
- Impredicativity label "Impredicativity".
- Impredicativity label "Impredicativo".
- Impredicativity label "Imprédicativité".
- Impredicativity label "非直谓性".
- Impredicativity sameAs Imprédicativité.
- Impredicativity sameAs Impredicativo.
- Impredicativity sameAs m.066zg4.
- Impredicativity sameAs Q3149511.
- Impredicativity sameAs Q3149511.
- Impredicativity wasDerivedFrom Impredicativity?oldid=595786161.
- Impredicativity isPrimaryTopicOf Impredicativity.