Аксиоматика колмогорова - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
содержательная аксиоматика - informal axiomatics
аксиоматика термодинамики - axiomatic thermodynamics
Было по крайней мере две успешные попытки формализовать вероятность, а именно формулировка Колмогорова и формулировка Кокса. |
There have been at least two successful attempts to formalize probability, namely the Kolmogorov formulation and the Cox formulation. |
Одна из таких аксиоматизаций начинается со следующих аксиом, описывающих дискретное упорядоченное полукольцо. |
One such axiomatization begins with the following axioms that describe a discrete ordered semiring. |
Строки, подобные приведенному выше примеру abab, сложность которых по Колмогорову мала относительно размера строки, не считаются сложными. |
Strings like the abab example above, whose Kolmogorov complexity is small relative to the string's size, are not considered to be complex. |
В 1991 году Декстер Козен аксиоматизировал регулярные выражения как алгебру Клейна, используя аксиомы уравнения и предложения Хорна. |
In 1991, Dexter Kozen axiomatized regular expressions as a Kleene algebra, using equational and Horn clause axioms. |
Более широкая область, охватывающая описательную сложность и вероятность, часто называется Колмогоровской сложностью. |
The broader area encompassing descriptional complexity and probability is often called Kolmogorov complexity. |
Однако можно спросить, является ли некоторое рекурсивно аксиоматизируемое расширение его полным и последовательным. |
However, one can ask if some recursively axiomatizable extension of it is complete and consistent. |
Существует также подход Александра Гротендика, показывающий, что аксиоматически нужно только определить случай линейного расслоения. |
There is also an approach of Alexander Grothendieck showing that axiomatically one need only define the line bundle case. |
Позже Андрей Колмогоров самостоятельно опубликовал эту теорему в журнале Problems Inform. |
Andrey Kolmogorov later independently published this theorem in Problems Inform. |
Традиционные исследователи суфизма считают абсолютно аксиоматичным, что знание о Боге-это не психологическое состояние, порожденное контролем дыхания. |
The traditional scholars of Sufism hold it as absolutely axiomatic that knowledge of God is not a psychological state generated through breath control. |
Аксиоматическая теория множеств тогда еще не была сформулирована. |
Axiomatic set theory was at that point not yet formulated. |
Во-первых, зафиксируйте определенную аксиоматическую систему S для натуральных чисел. |
First, fix a particular axiomatic system S for the natural numbers. |
Это теорема представления Колмогорова-Арнольда. |
This is the Kolmogorov–Arnold representation theorem. |
Нормируемость топологических векторных пространств характеризуется критерием нормируемости Колмогорова. |
Normability of topological vector spaces is characterized by Kolmogorov's normability criterion. |
В разделе, посвященном аксиоматизации, перечислены другие аксиоматизации, любая из которых может быть положена в основу эквивалентного определения. |
The section on axiomatization lists other axiomatizations, any of which can be made the basis of an equivalent definition. |
Позже этот процесс был описан как переход от механики к аксиоматике. |
The process was later described as moving from mechanics to axiomatics. |
Поэтому никакая формальная система не является полной аксиоматизацией полной теории чисел. |
Therefore, no formal system is a complete axiomatization of full number theory. |
Другую аксиоматизацию ℝ смотрите в книге Тарского аксиоматизация реальностей. |
For another axiomatization of ℝ, see Tarski's axiomatization of the reals. |
В статьях высказывается предположение о связи между бритвой Оккама и Колмогоровской сложностью. |
Papers have suggested a connection between Occam's razor and Kolmogorov complexity. |
Затем можно проверить, совпадает ли это альтернативное определение с любым другим определением, которое можно выбрать, или использовать предыдущую аксиоматическую характеристику. |
One then may check that this alternative definition coincides with whatever other definition one may favor, or use the previous axiomatic characterization. |
Несмотря на этот успех, теория Колмогорова в настоящее время пересматривается. |
In spite of this success, Kolmogorov theory is at present under revision. |
Константин Каратеодори сформулировал термодинамику на чисто математической аксиоматической основе. |
Constantin Carathéodory formulated thermodynamics on a purely mathematical axiomatic foundation. |
С этой точки зрения геометрия эквивалентна аксиоматической алгебре, заменяющей ее элементы символами. |
From this perspective, geometry is equivalent to an axiomatic algebra, replacing its elements by symbols. |
Это было бы так, если бы мы использовали машины для работы с аксиоматическими системами. |
This would be the case if we were using machines to deal with axiomatic systems. |
Это явно не противоречит математической аксиоматизации этих анализов. |
This is clearly not incompatible with a mathematical axiomatization of those analyses. |
Даже бесконечный список аксиом не может быть полным, последовательным и эффективно аксиоматизированным. |
It is not even possible for an infinite list of axioms to be complete, consistent, and effectively axiomatized. |
Именно так вводятся новые линии в некоторые аксиоматические системы. |
This is how new lines are introduced in some axiomatic systems. |
Мы говорим, что булева алгебра конечно аксиоматизируема или конечно базируется. |
We say that Boolean algebra is finitely axiomatizable or finitely based. |
или с помощью тестов, которые полностью выведены из Колмогоровской сложности. |
or by tests which are completely derived from Kolmogorov complexity. |
Алгоритмическая проблема аксиоматизации табличной нормальной модальной логики. |
Algorithmic Problem of Axiomatization of Tabular Normal Modal Logic. |
Первые формализации модальной логики были аксиоматическими. |
The first formalizations of modal logic were axiomatic. |
Более того, любая аксиоматизируемая и полная теория разрешима. |
Moreover, any axiomatizable and complete theory is decidable. |
Необходимость конкретизировать аксиомы фрейма давно признана проблемой аксиоматизации динамических миров и известна как проблема фрейма. |
The need to specify frame axioms has long been recognised as a problem in axiomatizing dynamic worlds, and is known as the frame problem. |
Кроме того, никакое эффективно аксиоматизированное, последовательное расширение арифметики Пеано не может быть полным. |
In addition, no effectively axiomatized, consistent extension of Peano arithmetic can be complete. |
Теперь предположим, что аксиоматическая система является ω-последовательной, и пусть p-утверждение, полученное в предыдущем разделе. |
Now, assume that the axiomatic system is ω-consistent, and let p be the statement obtained in the previous section. |
В XX веке советские математики, такие как Андрей Колмогоров, Израиль Гельфанд и Сергей Соболев, внесли значительный вклад в различные области математики. |
In the 20th century Soviet mathematicians, such as Andrey Kolmogorov, Israel Gelfand, and Sergey Sobolev, made major contributions to various areas of mathematics. |
Элементы Евклида являются самым ранним дошедшим до нас документом аксиом плоской геометрии— хотя Прокл говорит о более ранней аксиоматизации Гиппократа Хиосского. |
Euclid's Elements being the earliest extant documentation of the axioms of plane geometry— though Proclus tells of an earlier axiomatisation by Hippocrates of Chios. |
Древние китайские математики не развивали аксиоматический подход, но сделали успехи в разработке алгоритмов и алгебры. |
Ancient Chinese mathematicians did not develop an axiomatic approach, but made advances in algorithm development and algebra. |
Два года спустя Генри Бейкер и Хьюитт опубликовали свод аксиоматических законов для актерских систем. |
Two years later, Henry Baker and Hewitt published a set of axiomatic laws for actor systems. |
В шестой задаче Гильберта он поставил перед исследователями задачу найти аксиоматическую основу для всей физики. |
In Hilbert's sixth problem, he challenged researchers to find an axiomatic basis to all of physics. |
На самом деле это традиционная аксиоматизация булевой алгебры как дополненной дистрибутивной решетки. |
In fact this is the traditional axiomatization of Boolean algebra as a complemented distributive lattice. |
Аксиоматизация является здравой, когда каждая теорема является тавтологией, и завершенной, когда каждая тавтология является теоремой. |
An axiomatization is sound when every theorem is a tautology, and complete when every tautology is a theorem. |
Полуклассическая гравитация также может быть выведена из аксиоматического подхода. |
Semiclassical gravity can also be deduced from an axiomatic approach. |
В результате в его честь были названы микроскалы Колмогорова. |
As a result, the Kolmogorov microscales were named after him. |
Аксиоматизация пропозиционального исчисления - это набор тавтологий, называемых аксиомами, и одно или несколько правил вывода для получения новых тавтологий из старых. |
An axiomatization of propositional calculus is a set of tautologies called axioms and one or more inference rules for producing new tautologies from old. |
Он назван в честь Андрея Колмогорова, который впервые опубликовал статью на эту тему в 1963 году. |
It is named after Andrey Kolmogorov, who first published on the subject in 1963. |
Колмогоров использовал эту теорему для определения нескольких функций строк, включая сложность, случайность и информацию. |
Kolmogorov used this theorem to define several functions of strings, including complexity, randomness, and information. |
Классическая аксиоматическая модель с аутоволнами в миокарде была опубликована в 1946 году Норбертом Винером и Артуро Розенблутом. |
The classical axiomatic model with autowaves in myocardium was published in 1946 by Norbert Wiener and Arturo Rosenblueth. |
В 1881 году Чарльз Сандерс Пирс предложил аксиоматизацию арифметики натуральных чисел. |
In 1881, Charles Sanders Peirce provided an axiomatization of natural-number arithmetic. |
Аксиоматизации первого порядка арифметики Пеано имеют еще одно техническое ограничение. |
First-order axiomatizations of Peano arithmetic have another technical limitation. |
Существует много различных, но эквивалентных аксиоматизаций арифметики Пеано. |
There are many different, but equivalent, axiomatizations of Peano arithmetic. |
Теорема чайтина о неполноте дает другой метод получения независимых предложений, основанный на сложности Колмогорова. |
Chaitin's incompleteness theorem gives a different method of producing independent sentences, based on Kolmogorov complexity. |
Аксиоматизация арифметической индукции в логике первого порядка требует схемы аксиомы, содержащей отдельную аксиому для каждого возможного предиката. |
Axiomatizing arithmetic induction in first-order logic requires an axiom schema containing a separate axiom for each possible predicate. |
Ранее Менгер и Биркофф аксиоматизировали сложную проективную геометрию в терминах свойств ее решетки линейных подпространств. |
Earlier, Menger and Birkhoff had axiomatized complex projective geometry in terms of the properties of its lattice of linear subspaces. |
После завершения аксиоматизации теории множеств он начал сталкиваться с аксиоматизацией квантовой механики. |
After having completed the axiomatization of set theory, he began to confront the axiomatization of quantum mechanics. |
Его попытка подкрепить аксиоматизированную математику определенными принципами, которые могли бы устранить теоретическую неопределенность, закончилась неудачей. |
His attempt to support axiomatized mathematics with definitive principles, which could banish theoretical uncertainties, ended in failure. |
Арифметика Пеано и теория множеств Цермело-Френкеля являются аксиоматизациями теории чисел и теории множеств соответственно в логику первого порядка. |
Peano arithmetic and Zermelo–Fraenkel set theory are axiomatizations of number theory and set theory, respectively, into first-order logic. |
Но я пытаюсь обратить внимание на место этих вещей в аксиоматике термодинамики. |
But I am trying to draw attention to the place of these things in the axiomatics of thermodynamics. |
Это не было частью систематического упражнения в аксиоматике. |
It was not part of a systematic exercise in axiomatics. |
Затем он поступил в Московский государственный университет в качестве студента Британского Совета по обмену, где изучал машинный перевод под руководством Андрея Колмогорова. |
He then went to Moscow State University as a British Council exchange student, where he studied machine translation under Andrey Kolmogorov. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «аксиоматика колмогорова».
А именно, здесь можно найти перевод (значение) «аксиоматика колмогорова» на английском языке, синонимы, антонимы, краткое определение слов: аксиоматика, колмогорова . Также, к фразе «аксиоматика колмогорова» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
