Bedeutung von "realizability" im Wörterbuch Englisch

AUSSPRACHE VON REALIZABILITY AUF ENGLISCH

realizability  [ˌrɪəˌlaɪzəˈbɪlɪtɪ]

GRAMMATIKALISCHE KATEGORIE VON REALIZABILITY

Realizability ist ein Substantiv.

Das Nomen oder Substantiv ist die Art Wort, dessen Bedeutung die Wirklichkeit bestimmt. Substantive benennen alle Dinge: Personen, Objekte, Empfindungen, Gefühle usw.

WAS BEDEUTET REALIZABILITY AUF ENGLISCH

Realisierbarkeit

Realizability

In der mathematischen Logik ist die Realisierbarkeit eine Sammlung von Methoden in der Beweis-Theorie, die verwendet werden, um konstruktive Beweise zu studieren und zusätzliche Informationen von ihnen zu extrahieren. Formeln aus einer formalen Theorie werden von Objekten, die als "Realisierer" bezeichnet werden, "realisiert", so dass die Erkenntnis des Realisten über die Wahrheit der Formel bekannt ist. Es gibt viele Variationen der Realisierbarkeit; Genau welche Klasse von Formeln untersucht wird und welche Objekte Realisatoren sind, unterscheiden sich von einer Variation zu einer anderen. Die Realisierbarkeit kann als eine Formalisierung der BHK-Interpretation der intuitionistischen Logik angesehen werden; In realisierbarkeit wird der Begriff "Beweis" durch einen formalen Begriff von "realizer" ersetzt. Die meisten Varianten der Realisierbarkeit beginnen mit einem Theorem, dass jede Aussage, die in dem formalen System, das studiert wird, nachweisbar ist, realisierbar ist. Der Realizer gibt jedoch in der Regel mehr Informationen über die Formel, als ein formaler Beweis direkt liefern würde. Über die Einsicht in die intuitionistische Beweglichkeit hinaus kann die Realisierbarkeit angewendet werden, um die Disjunktion und Existenzeigenschaften für intuitionistische Theorien zu beweisen und Programme aus Beweisen zu extrahieren, wie im Proof-Mining.

In mathematical logic, realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them. Formulas from a formal theory are "realized" by objects, known as "realizers", in a way that knowledge of the realizer gives knowledge about the truth of the formula. There are many variations of realizability; exactly which class of formulas is studied and which objects are realizers differ from one variation to another. Realizability can be seen as a formalization of the BHK interpretation of intuitionistic logic; in realizability the notion of "proof" is replaced with a formal notion of "realizer". Most variants of realizability begin with a theorem that any statement that is provable in the formal system being studied is realizable. The realizer, however, usually gives more information about the formula than a formal proof would directly provide. Beyond giving insight into intuitionistic provability, realizability can be applied to prove the disjunction and existence properties for intuitionistic theories and to extract programs from proofs, as in proof mining.

Definition von realizability im Wörterbuch Englisch

Die Definition von Realisierbarkeit im Wörterbuch ist die Fähigkeit von etwas realisiert zu werden.

ÜBERSETZUNG VON REALIZABILITY

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

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

• Übersetzer Deutsch - Chinesisch: 可实现
• Übersetzer Deutsch - Spanisch: realizabilidad
• Englisch: realizability
• Übersetzer Deutsch - Hindi: साकार
• Übersetzer Deutsch - Arabisch: realizability
• Übersetzer Deutsch - Russisch: реализуемость
• Übersetzer Deutsch - Portugiesisch: capacidade de realização
• Übersetzer Deutsch - Bengalisch: realizability
• Übersetzer Deutsch - Französisch: réalisabilité
• Übersetzer Deutsch - Malaysisch: Realizability
• Übersetzer Deutsch - Deutsch: Realisierbarkeit
• Übersetzer Deutsch - Japanisch: 実現可能性
• Übersetzer Deutsch - Koreanisch: 실현 가능성
• Übersetzer Deutsch - Javanisch: Realizability
• Übersetzer Deutsch - Vietnamesisch: realizability
• Übersetzer Deutsch - Tamil: realizability
• Übersetzer Deutsch - Marathi: वास्तविकता
• Übersetzer Deutsch - Türkisch: gerçeklenebilirlik
• Übersetzer Deutsch - Italienisch: realizzabilità
• Übersetzer Deutsch - Polnisch: Realność
• Übersetzer Deutsch - Ukrainisch: реалізованість
• Übersetzer Deutsch - Rumänisch: realizability
• Übersetzer Deutsch - Griechisch: πραγματοποιήσιμο
• Übersetzer Deutsch - Afrikaans: realiseerbaarheid
• Übersetzer Deutsch - Schwedisch: realiserbarhet
• Übersetzer Deutsch - Norwegisch: realiserbarheten

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

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

Realizability: An Introduction to its Categorical Side

- The first book to date on this subject area - Provides an clear introduction to Realizability with a comprehensive bibliography - Easy to read and mathematically rigorous - Written by an expert in the field

Jaap van Oosten, 2008

Realizability theory for continuous linear systems

(A) of 'J1 is a small space with a strong topology [as compared to other spaces, say L2(A) or é"°(A) that one might choose for a realizability theory] and that the range of')? is contained in a large space [9,...; B] with a weak topology implies that a ...

Zemanian, 1973

On the realizability and channel capacity of passive two-ports

The LLFPB two-port network is considered as a communication channel and an integral relation, for its communication capacity is derived.

Thomas Bernard Horgan, 1961

Turbulence and Transition Modelling: Lecture Notes from the ...

4.2 Realizability in turbulence modeling In constructing turbulence models, various model constraints have been proposed by different researchers in an attempt to make the model equations as general (or universal) as possible. Among them ...

Magnus Hallbäck, 1996

Turbulent Flows

(£L>0. ,n.55). Clearly, if this condition is satisfied all along the two-component line, no trajectory can cross the line and realizability is guaranteed.4 Trajectory (c ) osculates the two-component line and is characterized by Schumann (1977) and ...

S. B. Pope, 2000

Natural Minds

Minds, Brains, and Multiple Realizability whether the unrestricted multiple readability licensed by function- alism is desirable. We need to know how much generality is required if we are to assess whether or not identity theory is compatible ...

Polger

Realizability

High Quality Content by WIKIPEDIA articles! Realizability is a part of proof theory which can be used to handle information about formulas instead of about the proofs of formulas.

Jesse Russell, Ronald Cohn, 2012

Powell's Realizability Universe

Using the model above, we shall establish some independence and consistency results. The main result of the essay is to show that Strong Church's Thesis is consistent with IZF relative to IZF.

Sherif Nashaat, 2007

Applied Proof Theory: Proof Interpretations and their Use in ...

Chapter. 7. Semi-intuitionistic. systems. and. monotone. modified. realizability. 7.1 The soundness and bound extraction theorems In the following we show that the results from chapter 6 even extend to the situation where large classes of ...

Ulrich Kohlenbach, 2008

Implementing Semantic Web Services: The SESA Framework

Realizability We can now define realizability of a description as the corresponding notion to satisfiability in a logic. In logic a set of formulae is satisfiable if it has a model, i.e., if there exists an interpretation of the formulae that is true. The very ...

Dieter Fensel, Mick Kerrigan, Michal Zaremba, 2008

10 NACHRICHTEN, IN DENEN DER BEGRIFF «REALIZABILITY» VORKOMMT

Erfahre, worüber man in den einheimischen und internationalen Medien spricht und wie der Begriff realizability im Kontext der folgenden Nachrichten gebraucht wird.

Financial Reporting Implications: Greece, Puerto Rico and Other …

... purpose (e.g., forecasted revenues may be an assumption used in multiple impairment tests and in assessments of the realizability of deferred tax assets and ... «Wall Street Journal, Jul 15»

Webster Reports 2015 Second Quarter Earnings

The $3.7 million net tax benefit included a net non-cash benefit of $4.4 million from a change in the estimated realizability of the Company's state deferred tax ... «Stockhouse, Jul 15»

Dutch students reveal solar-powered family car

... itself is a 3,000 km (1,864 mi)-long race from Darwin to Adelaide, with the Cruiser Class involving an additional focus on comfort, practicality and "realizability". «Gizmag, Jul 15»

Istvan Meszaros and the “Withering Away of the State”: Review of …

The continued historical significance of the Marxian theoretical framework hinges on the realizability (or not) of his concern with the withering away of the state. «Anarkismo.net, Mai 15»

Youngevity International, Inc. (YGYI) Reports Record Revenues and …

As of December 31, 2014, the Company evaluated the realizability of the deferred tax asset and determined that it is more likely than not that the deferred tax ... «Yahoo Finance UK, Mär 15»

Perry Ellis International Reports Preliminary Fourth Quarter Fiscal …

... also reviewing its deferred tax asset balance totaling $48 million for valuation in conjunction with its future domestic taxable position and the realizability of the ... «GlobeNewswire, Feb 15»

hhgregg Swings to Loss

While the Company believes positive evidence exists with regard to the realizability of these deferred tax assets, it is not considered sufficient to outweigh the ... «Inside Indiana Business, Jan 15»

What are the limits of mathematical explanation? (25min)

Concerning the foundations of mathematics and logic, he has published on intuitionism, antirealism, realizability, potentially infinite sets, denotational semantics, ... «Institute for Ethics and Emerging Technologies, Jan 15»

Problems with Defining an Existential Risk

In addition, given the multiple realizability of cognitive systems, let's say this mind clones itself to produce a large population of artificial intelligences (identical ... «Institute for Ethics and Emerging Technologies, Jan 15»

Heidelberg Initiates Next Stage of Group's Reorganization - Target …

The extent of the improvement in the current financial year 2014/2015 will essentially depend on the realizability and timing of the portfolio optimization ... «PR Newswire UK, Jun 14»