- essential undecidability
- существенная неразрешимость
Большой англо-русский и русско-английский словарь. 2001.
essential undecidability
Смотреть что такое "essential undecidability" в других словарях:
Raphael M. Robinson — Raphael Mitchel Robinson (November 2 1911, National City California January 27 1995. Berkeley California) was an American mathematician.Born in National City, California, Robinson was the youngest of four children of a lawyer and a teacher. He… … Wikipedia
МОСТОВСКИЙ — (Mostowski), Анджей (р. 1 нояб. 1913) – польский логик и математик, чл. корр. Польской АН (с 1956), проф. ун та в Варшаве. М. принадлежат труды по математич. логике, логич. основаниям теории множеств, по топологии и алгебре. М. написал также ряд… … Философская энциклопедия
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
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
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
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
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
BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon … Encyclopedia of Judaism
Bertrand Russell — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE image caption = Russell in 1907 image size = 150px name = Bertrand Arthur William Russell, 3rd Earl Russell birth = birth date|df=yes|1872|5|18 Trellech … Wikipedia
Nassim Nicholas Taleb — Born 1960 (age 50–51) Amioun, Lebanon … Wikipedia
Markov chain — A simple two state Markov chain. A Markov chain, named for Andrey Markov, is a mathematical system that undergoes transitions from one state to another, between a finite or countable number of possible states. It is a random process characterized … Wikipedia
