-
Английский
-
Русский
-
Английский
-
Русский
Axiomatics
Перевод axiomatics на русский язык
axiomatics
Существительное
The study of axiomatics is fundamental in understanding mathematical theories.
Изучение аксиоматики является основополагающим для понимания математических теорий.
Опеределения
axiomatics
Существительное
The study or a system of axioms, which are basic principles or statements accepted as true without proof, used as the foundation for further reasoning or arguments.
The mathematician specialized in axiomatics, developing a new set of axioms for geometric theories.
Идиомы и фразы
mathematical axiomatics
He is studying mathematical axiomatics for his thesis.
математическая аксиоматика
Он изучает математическую аксиоматику для своей диссертации.
logical axiomatics
Logical axiomatics is fundamental to understanding formal systems.
логическая аксиоматика
Логическая аксиоматика является основой для понимания формальных систем.
modern axiomatics
Modern axiomatics explores new foundations in mathematics.
современная аксиоматика
Современная аксиоматика исследует новые основы в математике.
Примеры
Leonard Nelson realized that Kant's theory implies a prediction of non-Euclidean geometry, not a denial of it, and that the existence of non-Euclidean geometry vindicates Kant's claim that the axioms of geometry are synthetic [Leonard Nelson, "Philosophy and Axiomatics," Socratic Method and Critical Philosophy, Dover, 1965; p.164], as quoted above.
Леонард Нельсон осознал, что Кантовская теория подразумевает предсказание неевклидовой геометрии, а не ее отвержение, и что существование неевклидовой геометрии подтверждает заявление Канта о том, что аксиомы геометрии синтетические [Leonard Nelson, "Philosophy and Axiomatics," Socratic Method and Critical Philosophy, Dover, 1965; p.164].
And from this is already a direct path to the axiomatic method in science, which in turn becomes an instrument of abstraction and analysis and as meaningful axiomatics that retains an explicit link with empirical experience, and as axiomatics of a formal one that does not preserve such a connection.
А отсюда уже прямой путь к аксиоматическому методу в науке, который в свою очередь становится инструментом абстракции и анализа и в качестве содержательной аксиоматики, сохраняющей явную связь с эмпирическим опытом, и в качестве аксиоматики формальной, не сохраняющей такой связи.
In this manner, classical mechanics and atomic mechanics enter into our axiomatics as two extreme systems.
Таким образом, классическая механика и атомная механика входят в нашу аксиоматику как две крайние схемы.
For him science is axiomatics plus model theory plus correspondence rules plus observation language.
Наука для него есть аксиоматика плюс теория моделей плюс правила соответствия плюс язык наблюдения.
Moreover, the instruction sequence is absolutely fundamental (unlike many mathematical formulations, for example, axiomatics).
Кроме того, последовательность команд абсолютно фундаментально (в отличие от многих математических формулировок, например, аксиоматика).