- limitative theorem
- мат. ограничительная теорема
Большой англо-русский и русско-английский словарь. 2001.
limitative theorem
Смотреть что такое "limitative theorem" в других словарях:
Holevo's theorem — In physics, in the area of quantum information theory, Holevo s theorem (sometimes called Holevo s bound, since it establishes an upper bound) is an important limitative theorem in quantum computing which was published by Alexander Holevo in 1973 … Wikipedia
Tarski's undefinability theorem — Tarski s undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that arithmetical truth… … Wikipedia
List of independent discoveries — Independent discoveries in science, termed multiples by Robert K. Merton, are instances in which similar discoveries are made by scientists working independently of each other. [http://books.google.com/books?vid=ISBN0226520714 id=eprv7hMdO IC… … Wikipedia
List of multiple discoveries — Main article: Multiple discovery Copernicus … Wikipedia
Raymond Smullyan — Infobox Writer name = Raymond Merrill Smullyan imagesize = caption = pseudonym = birthdate = birth year and age|1919 birthplace = Far Rockaway, New York occupation = mathematician, logician, philosopher, and magician nationality = American period … Wikipedia
Diagonal lemma — In mathematical logic, the diagonal lemma or fixed point theorem establishes the existence of self referential sentences in certain formal theories of the natural numbers specifically those theories that are strong enough to represent all… … Wikipedia
Logical quality — In many philosophies of logic statements are categorized into different logical qualities based on how they go about saying what they say. Doctrines of logical quality are an attempt to answer the question: “How many qualitatively different ways… … Wikipedia
Methode formelle appliquee a l'electronique — Méthode formelle appliquée à l électronique Attention : En cours Cette page a été créé pour pouvoir amener des notions propres à l application des méthodes formelles au cas de la conception électronique. Plusieurs notions développés ici… … Wikipédia en Français
Méthode Formelle Appliquée À L'électronique — Attention : En cours Cette page a été créé pour pouvoir amener des notions propres à l application des méthodes formelles au cas de la conception électronique. Plusieurs notions développés ici pourront d ailleurs être intégrées dans la page… … Wikipédia en Français
Méthode formelle (informatique)/Application: électronique — Méthode formelle appliquée à l électronique Attention : En cours Cette page a été créé pour pouvoir amener des notions propres à l application des méthodes formelles au cas de la conception électronique. Plusieurs notions développés ici… … Wikipédia en Français
