03D15 (Mathematical logic and foundations / Recursion theory / Complexity of computation), 03E40 (Mathematical logic and foundations / Set theory / Other aspects of forcing and Boolean-valued models), 68Q15 (Computer science / Theory of computing / Complexity classes).

The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of inform...

since the renaissance contend ideas for a theory of a new understanding of the concept of science and knowledge. move omitted the role of knowledge-building and the formulation of the concept of science, which is created and consists of theory and shape so as to complement to be material technical and technological dimensions in the basic sciences. and is disclosure the role of the humanities a...