- effective undecidability
- мат. эффективная неразрешимость
Большой англо-русский и русско-английский словарь. 2001.
effective undecidability
Смотреть что такое "effective undecidability" в других словарях:
Halting problem — In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever. This is equivalent to the problem of deciding, given a… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Decidability (logic) — In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Undecidable problem — In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is impossible to construct an algorithm that leads to a yes or no answer the problem is not decidable.A decision problem is any … Wikipedia
Feminist philosophy (french) — French feminist philosophy De Beauvoir, Kristeva, Irigaray, Le Doeuff, Cixous Alison Ainley INTRODUCTION Although women have been active philosophers for many centuries,1 the development of a specifically feminist viewpoint in the context of… … History of philosophy
Hermeneutics — Gadamer and Ricoeur G.B.Madison THE HISTORICAL BACKGROUND: ROMANTIC HERMENEUTICS Although the term ‘hermeneutics’ (hermeneutica) is, in its current usage, of early modern origin,1 the practice it refers to is as old as western civilization itself … History of philosophy
Psychoanalysis — is a body of ideas developed by Austrian physician Sigmund Freud and his followers, which is devoted to the study of human psychological functioning and behavior. It has three applications: 1) a method of investigation of the mind; 2) a… … Wikipedia
Nassim Nicholas Taleb — Born 1960 (age 50–51) Amioun, Lebanon … Wikipedia
