Атон
древнеегипетсекий бог Солнца.
способ систематического изложения знания в виде системы аксиом данной области знания. Очерчивает границы познанного данной наукой; важный, но частный прием исследования.
Аналогичная позиция ведет к другой крайности – абсолютизации способа аксиоматизации научных доктрин.
A sequential axiomatization for the set of all formulas which are dedusible in Smirnov’s quasi-minimal calculus is presented.
Свой научный индивидуальный подход к аксиоматизации квантовой механики он озвучил в работе на тему «математических...
Нейман заканчивает работу над аксиоматизацией теории множеств и переходит на квантовую механику.
Представлена аксиоматизация некоторых простых паралогик и дано решение проблемы разрешения для этих логик. Описывается связь этих логик с классической пропозициональной и интуиционистской логикой.
древнеегипетсекий бог Солнца.
(карельск.) — крыша, кровля, навес.
понятия, выходящие за рамки отраслевой науки; универсалии.