As in the physical sciences, theoretical modeling in the social sciences typically entails the
specification and analysis of parameterized systems of differential equations. Many critical …

The aim of this book is to characterize a notion of type which will cover both linguistic and
non-linguistic action and to lay the foundations for a theory of action based on a theory of …

In a recent article, Azzouni has argued in favor of a version of formalism according to which
ordinary mathematical proofs indicate mechanically checkable derivations. This is taken to …

Page 1 Definitions Derived from Neutrosophics Florentin Smarandache Department of
Mathematics University of New Mexico 200 College Road Gallup, NM 87301, USA Abstract …

The core idea of social constructivism in mathematics is that mathematical entities are social
constructs that exist in virtue of social practices, similar to more familiar social entities like …

We shall propose a conceptual-oriented discussion of the so-called Univalent Foundations
Program, that is, of Martin–Löf type theory enriched with a homotopic interpretation, together …

In his seminal book Foundations of Constructive Analysis [3] the great analyst Errett Bishop
(1928–1983) redeveloped constructively a large part of mathematical analysis. He used …

Intuitionism's disagreement with classical logic is standardly based on its specific
understanding of truth. But different intuitionists have actually explicated the notion of truth in …

The Ehlers-Pirani-Schild (EPS) constructive axiomatisation of general relativity, published in
1972, purports to build up the kinematical structure of that theory from only axioms which …

The existence of a maximal ideal in a general nontrivial commutative ring is tied together
with the axiom of choice. Following Berardi, Valentini and thus Krivine but using the relative …