Related papers: Nonstandard Analysis and Constructivism!
Someone knowledgeable in nonstandard analysis may get the feeling that in the nonlinear theory of generalized functions, too often one works directly on the nets and spends effort to obtain results that should be clear from general…
This is a survey of constructive and computable measure theory with an emphasis on the close connections with algorithmic randomness. We give a brief history of constructive measure theory from Brouwer to the present, emphasizing how…
In this paper we present two different results in the context of nonlinear analysis. The first one is essentially a nonlinear technique that, in view of its strong generality, may be useful in different practical problems. The second…
This work presents a framework for control theory based on constructive analysis to account for discrepancy between mathematical results and their implementation in a computer, also referred to as computational uncertainty. In control…
We propose a framework for analyzing the sensitivity of counterfactuals to parametric assumptions about the distribution of latent variables in structural models. In particular, we derive bounds on counterfactuals as the distribution of…
This paper focuses on a constructive treatment of the mathematical formalism of quantum theory and a possible role of constructivist philosophy in resolving the foundational problems of quantum mechanics, particularly, the controversy over…
There are still no interacting models of the Wightman axioms, suggesting that the axioms are too tightly drawn. Here a weakening of linearity for quantum fields is proposed, with the algebra still linear but with the quantum fields no…
We apply methods of nonstandard mathematics in order to regard analytic geometry in a very different way. For example, complex spaces are seen to be the "standard part" of certain algebraic nonstandard schemes. We construct a category of…
This is the first of two papers which attempt to comprehensively analyse superdeterministic hidden-variables models of Bell correlations. We first give an overview of superdeterminism and discuss various criticisms of it raised in the…
In the present study we attempt to incorporate the philosophical dialogue about physical reality into the instructional process of quantum mechanics. Taking into account that both scientific realism and constructivism represent, on the…
In "Caveats for using statistical significance tests in research assessments,"--Journal of Informetrics 7(1)(2013) 50-62, available at arXiv:1112.2516 -- Schneider (2013) focuses on Opthof & Leydesdorff (2010) as an example of the misuse of…
Our article described an experiment that adjudicates between different causal accounts of Bell inequality violations by a comparison of their predictive power, finding that certain types of models that are structurally radical but…
The paper is a continuation of our earlier article where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full…
In this paper, we present a constructive proof of Herschfeld's Convergence Theorem. Our formulation differs from Herschfeld's in a few ways: We consider radicals that nest transfinitely many times, as these are essential to the proof;…
Lecture notes on elements of nonequilibrium statistical mechanics: (1) a characterization of the nonequilibrium condition, largely by contrast to equilibrium; (2) a retelling of some of the great performances of the more distant past,…
We introduce a new framework for constructing tests of general semiparametric hypotheses which have nontrivial power on the $n^{-1/2}$ scale in every direction, and can be tailored to put substantial power on alternatives of importance. The…
A result of H.-W. Wiesbrock is extended from the case of a common cyclic and separating vector for the half-sided modular inclusion of von Neumann algebras to the case of a common faithful normal semifinite weight and at the same time a gap…
A critical literature review and comprehensive simulation study is used to show that (a) non-parametric bootstrap is a viable alternative to commonly taught and used methods in basic estimation tasks (mean, variance, quartiles, correlation)…
In this paper we review many interesting open problems in mathematical physics which may be attacked with the help of tools from constructive field theory. They could give work for future mathematical physicists trained with the…
We propose a constructive interpretation of truth which resolves the standard semantic paradoxes.