After having laid down the Axiom of Algebra, bringing the creation of the square root of -1 by Euler to the entire circle and thus authorizing a simple notation of the nth roots of unity, the author uses it to organiz...
After posing the axiom of linear algebra, the author develops how this allows the calculation of arbitrary base powers, which provides an instantaneous calculation of powers in a particular base such as base ten;first...
supported by the National Natural Science Foundation of China(NSFC)(Grant Nos.42050103,62076108,and U19A2061).
In description logic,axiom pinpointing is used to explore defects in ontologies and identify hidden justifications for a logical consequence.In recent years,SAT-based axiom pinpointing techniques,which rely on the enu...
supported by the National Natural Science Foundation Innovation Group Project(61521003)。
Uncertain security threats caused by vulnerabilities and backdoors are the most serious and difficult problem in cyberspace.This paper analyzes the philosophical and technical causes of the existence of so-called"dark...
This work was supported by the“Construction of a Leading Innovation Team”project by the Hangzhou Municipal government,and the startup funding of New-Joined PI of Westlake University with grant number(041030150118).
To understand what the relation between the mind and body is,philosophers and scientists have done quite a lot of work,but their opinions are controversial and this problem is known as mind-body dichotomy.Mind and bod...
Whether a unified theory of everything(TOE)is possible or not is a philosophical question and yes or no can be chosen in a two-valued logic system.Currently the two schools are in conflict with each other.Based on the...
A magneto-electric field appearing in a laboratory due to moving charges has unusual properties. In particular, such a field of kinematical origin does not obey the wave equation with a non-relativistic velocity inste...
In this paper, we study distributive proper forcing axiom(DPFA) and prove its consistency with a dichotomy of the Cichon's diagram, relative to certain large cardinal assumption. Namely, we evaluate the cardinal invar...