Impredicativity
Definicja niepredykatywna – w logice matematycznej definicja zawierająca element samoodniesienia. Ściślej mówiąc definicja obiektu m jest niepredykatywna, jeśli m należy do zbioru M i jednocześnie definicja m zależy od zbioru M. Wiele antynomii logicznych związanych jest z obiektami definiowanymi niepredykatywnie. W paradoksie Richarda rozważamy zbiór M wszystkich wyrażeń języka definiujących właściwości arytmetyczne liczb naturalnych. Właściwość bycia liczbą Richarda jest definicją należącą do M i jednocześnie zależy od M.
known for
notableIdea
philosophicalSchool
Arnon AvronAxiom of power setAxiom schema of predicative separationBenacerraf's identification problemBertrand_RussellBounded quantifierCalculus of constructionsCategorical logicClassical mathematicsConstructive set theoryEdmund_HusserlFeferman–Schütte ordinalGlossary of areas of mathematicsGottlob_FregeGödel's incompleteness theoremsHenri_PoincaréHermann_WeylHistory of the function conceptHistory of type theoryImpredicativeImpredicative definitionImpredicative propertyIndex of philosophy articles (I–Q)Induction-recursionInductive typeIntuitionistic type theoryKripke–Platek set theoryKruskal's tree theoremLambda cubeLarge countable ordinalList of mathematical logic topicsLogical frameworkLogicismMathematical logicMorse–Kelley set theoryNew FoundationsOrdinal collapsing functionOutline of mathematicsParametric polymorphismPaul Lorenzen
Link from a Wikipage to another Wikipage
known for
notable ideas
school tradition
primaryTopic
Impredicativity
Definicja niepredykatywna – w logice matematycznej definicja zawierająca element samoodniesienia. Ściślej mówiąc definicja obiektu m jest niepredykatywna, jeśli m należy do zbioru M i jednocześnie definicja m zależy od zbioru M. Wiele antynomii logicznych związanych jest z obiektami definiowanymi niepredykatywnie. W paradoksie Richarda rozważamy zbiór M wszystkich wyrażeń języka definiujących właściwości arytmetyczne liczb naturalnych. Właściwość bycia liczbą Richarda jest definicją należącą do M i jednocześnie zależy od M.
has abstract
Definicja niepredykatywna – w ...... książce Weylea The Continuum.
@pl
Em matemática e lógica, impred ...... descarta a impredicatividade.
@pt
En el ámbito de las matemática ...... definición es impredicativa.
@es
L'imprédicativité est un terme ...... dans la définition elle-même.
@fr
Непредикати́вность определения ...... может повлиять на его состав.
@ru
一个数学定义是非直谓性的，如果它依赖于一个事物的集合，至少其 ...... ) 当且仅当对于 X 的所有元素 x 有 y 小于等于 x。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,018,396,336
Link from a Wikipage to another Wikipage
quote
Norms which do not define cla ...... sses I shall call predicative.
@en
width
wikiPageUsesTemplate
comment
Definicja niepredykatywna – w ...... M i jednocześnie zależy od M.
@pl
Em matemática e lógica, impred ...... junto que está sendo definido.
@pt
En el ámbito de las matemática ...... edicativo de lo impredicativo.
@es
L'imprédicativité est un terme ...... dans la définition elle-même.
@fr
Непредикати́вность определения ...... риводит более строгий вариант:
@ru
一个数学定义是非直谓性的，如果它依赖于一个事物的集合，至少其 ...... ) 当且仅当对于 X 的所有元素 x 有 y 小于等于 x。
@zh
label
Definicja niepredykatywna
@pl
Impredicatividad
@es
Impredicatividade
@pt
Impredicativity
@en
Imprédicativité
@fr
Непредикативность (математика)
@ru
非直谓性
@zh