Bedeutung von "impredicative" im Wörterbuch Englisch

AUSSPRACHE VON IMPREDICATIVE AUF ENGLISCH

impredicative  [ˌɪmprəˈdɪkətɪv]

GRAMMATIKALISCHE KATEGORIE VON IMPREDICATIVE

Impredicative ist ein Adjektiv.

Das Adjektiv ist das Wort, das das Nomen begleitet, um es genauer zu bestimmen oder zu bewerten.

WAS BEDEUTET IMPREDICATIVE AUF ENGLISCH

Impredicativity

Impredicativity

In Mathematik und Logik wird eine selbstreferenzierende Definition als impredizativ bezeichnet. Genauer gesagt wird eine Definition als impredizativ bezeichnet, wenn sie die eingestellte Menge aufruft oder eine andere Menge, die das zu definierende Ding enthält. Das Gegenteil von Impredicativity ist die Prädikativität, die im Wesentlichen die Bildung von geschichteten Theorien mit sich bringt, wo die Quantifizierung über niedrigere Ebenen zu Variablen eines neuen Typs führt, unterscheidet sich von den niedrigeren Typen, die die Variable überschreitet. Ein prototypisches Beispiel ist eine intuitionistische Typentheorie, die die Verzweigung beibehält, aber die Unredlichkeit beeinträchtigt. Russells Paradoxon ist ein berühmtes Beispiel für eine impredikative Konstruktion, nämlich die Menge aller Sätze, die sich nicht enthalten. Das Paradoxon ist, ob ein solches Set sich selbst enthält oder nicht - wenn es dann definitionsgemäß nicht geht, und wenn es dann nicht per definitionem geht, sollte es sein. Die größte untere Grenze eines Satzes X, glb, hat auch eine impredikative Definition; Y = glb genau dann, wenn für alle Elemente x von X, y kleiner oder gleich x ist und jedes z kleiner oder gleich allen Elementen von X kleiner oder gleich y ist.

In mathematics and logic, a self-referencing definition is called impredicative. More precisely, a definition is said to be impredicative if it invokes the set being defined, or another set which contains the thing being defined. The opposite of impredicativity is predicativity, which essentially entails building stratified 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, also has an impredicative definition; y = glb 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.

ÜBERSETZUNG VON IMPREDICATIVE

Erfahre, wie die Übersetzung von impredicative auf 25 Sprachen mit unserem mehrsprachigen Übersetzer Englisch lautet.

Die Übersetzungen von impredicative auf andere Sprachen, die in diesem Bereich vorgestellt werden, sind zustande gekommen durch automatische statistische Übersetzung, wobei die Basiseinheit der Übersetzung das Wort «impredicative» in Englisch ist.

• Übersetzer Deutsch - Chinesisch: impredicative
• Übersetzer Deutsch - Spanisch: impredicativos
• Englisch: impredicative
• Übersetzer Deutsch - Hindi: impredicative
• Übersetzer Deutsch - Arabisch: impredicative
• Übersetzer Deutsch - Russisch: непредикативных
• Übersetzer Deutsch - Portugiesisch: impredicative
• Übersetzer Deutsch - Bengalisch: impredicative
• Übersetzer Deutsch - Französisch: imprédicative
• Übersetzer Deutsch - Malaysisch: Impedifatif
• Übersetzer Deutsch - Deutsch: imprädikative
• Übersetzer Deutsch - Japanisch: impredicative
• Übersetzer Deutsch - Koreanisch: impredicative
• Übersetzer Deutsch - Javanisch: Impen
• Übersetzer Deutsch - Vietnamesisch: impredicative
• Übersetzer Deutsch - Tamil: இம்ப்ரிடிகேடிவ்
• Übersetzer Deutsch - Marathi: अघोषित करणारा
• Übersetzer Deutsch - Türkisch: impredicative
• Übersetzer Deutsch - Italienisch: impredicativa
• Übersetzer Deutsch - Polnisch: impredicative
• Übersetzer Deutsch - Ukrainisch: непредікатівних
• Übersetzer Deutsch - Rumänisch: impredicative
• Übersetzer Deutsch - Griechisch: impredicative
• Übersetzer Deutsch - Afrikaans: impredicative
• Übersetzer Deutsch - Schwedisch: impredicative
• Übersetzer Deutsch - Norwegisch: impredicative

10 BÜCHER, DIE MIT «IMPREDICATIVE» IM ZUSAMMENHANG STEHEN

Entdecke den Gebrauch von impredicative in der folgenden bibliographischen Auswahl. Bücher, die mit impredicative im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.

Mathematical Fallacies and Paradoxes

REPAIRING THE DAMAGE In fact, it was to avoid this sort of thing that Poincaré introduced the concept of impredicative definitions. The definition of the set of all normal sets is impredicative. Using Poincaré's rule, it would not be allowed into ...

Bryan Bunch, 1997

Advances in Modeling Adaptive and Cognitive Systems

Rosen's central argument is that organisms will have impredicative models, which he takes to mean say that they have models that are not Turing computable, which is to say that they are not machines. We have demonstrated using hypersets ...

Angelo Loula and João Queiroz

Set Theory and Its Logic, Revised Edition

sets and classes is what we get from the skeletal Zermelo system if, instead of adding Zermelo's further axioms, we take another turning and add the deviant axiom IN e *0\ I momentarily present the skeletal impredicative theory of sets and  ...

Willard Van O QUINE, 2009

Mathematics: The Loss of Certainty

Another example of an impredicative definition is that of the maximum value of a function in a given interval. The maximum value is the largest of the values which the function takes on in that interval. Both of these concepts are fundamental in ...

Morris Kline, 1982

Multi-Scale Integrated Analysis of Agroecosystems

Similarly when a property P is possessed by an object m whose definition depends on P (here M is the set of objects which possess the property P), an impredicative definition is circular, at least on its face, as what is defined participates in its ...

Mario Giampietro, 2003

Hermann Weyl's Raum-Zeit-Materie and a General Introduction ...

Examples (6.2.23)-(6.2.25) of impredicative definitions in a theory of (simple) types were discussed above in subsection 6.2. In addition, it was shown how the theory of ramified types prevents impredicative definition by forcing a defined ...

Hermann Weyl, Erhard Scholz, 2001

Foundations of Set Theory

Derivatively, we shall call impredicative also those conditions ip(x) themselves which contain bound variables of higher level than that of x l) and also the corresponding classes and the process of forming them, i.e. of proving their existence.

A.A. Fraenkel, Y. Bar-Hillel, A. Levy, 1973

Typed Lambda Calculi and Applications: 7th International ...

A typical example of impredicative definition is Leibnitz definition of equality, which defines “a is equal to b” by the formula rag ∀X.X(a) → X(b) (∗) Here X(x) ranges over all possible properties. In particular it could be the property P(x) P(x)  ...

Pawel Urzyczyn, 2005

Basic Questions on Truth

Secondly, we can regard the contradiction [x(x) <-> -x(x)] derivable from (Vy)[*(y) <^> -My)] as a means to a reductio ad absurdum and for this reason reject these impredicative definitions as false. In this case one may call impredicative ...

P. Weingartner, 2000

Logic: A History of its Central Concepts: LOGIC: HISTORY OF ...

Such a definition is called an impredicative definition. The relation with the notion of impredicative type is immediate:42 an object defined by an impredicative definition is of a higher order than the order of the elements of the class to which this ...

Dov M. Gabbay, Francis Jeffry Pelletier, John Woods, 2012