منابع مشابه
A Constructive Critique of the Three Standard Systems
It has become conventional to say that our knowledge of fundamental physical law is summarized in a Standard Model. But this convention lumps together two quite different conceptual structures, and leaves out another. I think it is more accurate and informative to say that our current, working description of fundamental physics is based on three standard conceptual systems. These systems are ve...
متن کاملConstructive aspects of models for non-standard analysis
Reduced products are generalizations of ultraproducts where the filter used need not be an ultrafilter. With a suitable choice of filter, we can then get a more constructive model of non-standard analysis. We study properties of such reduced products and investigate what classical results are still valid in a constructive setting. A boundedness principle BD, not derivable in pure constructive m...
متن کاملA Connectionist Model for Constructive Modal Reasoning
We present a new connectionist model for constructive, intuitionistic modal reasoning. We use ensembles of neural networks to represent intuitionistic modal theories, and show that for each intuitionistic modal program there exists a corresponding neural network ensemble that computes the program. This provides a massively parallel model for intuitionistic modal reasoning, and sets the scene fo...
متن کاملModel Transformations with Constructive Type Theory
This report is the culmination of nine months of research into the feasibility of implementing model transformations with constructive type theory. Early signs are quite encouraging. In fact, by virtue of its embodiment of the twin notions of logic and computation, constructive type theory appears to be a natural language for specifying, validating and implementing model transformations. The bu...
متن کاملA Constructive Model of Uniform Continuity
We construct a continuous model of Gödel’s system T and its logic HA in which all functions from the Cantor space 2N to the natural numbers are uniformly continuous. Our development is constructive, and has been carried out in intensional type theory in Agda notation, so that, in particular, we can compute moduli of uniform continuity of T-definable functions 2N → N. Moreover, the model has a c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review D
سال: 2018
ISSN: 2470-0010,2470-0029
DOI: 10.1103/physrevd.98.016014