Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userConstraints on physical reality arising from a formalization of knowledge
59
0
0.0
(
0
)
Authors
David Wolpert
Ask ChatGPT about the research
No Arabic abstract
There are (at least) four ways that an agent can acquire information concerning the state of the universe: via observation, control, prediction, or via retrodiction, i.e., memory. Each of these four ways of acquiring information seems to rely on a different kind of physical device (resp., an observation device, a control device, etc.). However it turns out that certain mathematical structure is common to those four types of device. Any device that possesses a certain subset of that structure is known as an inference device (ID). Here I review some of the properties of IDs, including their relation with Turing machines, and (more loosely) quantum mechanics. I also review the bounds of the joint abilities of any set of IDs to know facts about the physical universe that contains them. These bounds constrain the possible properties of any universe that contains agents who can acquire information concerning that universe. I then extend this previous work on IDs, by adding to the definition of IDs some of the other mathematical structure that is common to the four ways of acquiring information about the universe but is not captured in the (minimal) definition of IDs. I discuss these extensions of IDs in the context of epistemic logic (especially possible worlds formalisms like Kripke structures and Aumann structures). In particular, I show that these extensions of IDs are not subject to the problem of logical omniscience that plagues many previously studied forms of epistemic logic.
rate research
Read More
It is shown that there exists a new physical reality -- the $Psi$--ether. All the achievements of quantum mechanics and quantum field theory are due to the fact that both the theories include the influence of $Psi$--ether on the physical processes occurring in the Universe. Physics of the XXth century was first of all the physics of $Psi$--ether.
We will read, through the Emmy Noether paper and the two concepts of `proper and `improper conservation laws, the problem, posed by Hilbert, of the nature of the law of conservation of energy in the theory of General Relativity. Epistemological issues involved with the two kind of conservation laws will be enucleate.
We give a new syntax independent definition of the notion of a generalized algebraic theory as an initial object in a category of categories with families (cwfs) with extra structure. To this end we define inductively how to build a valid signature $Sigma$ for a generalized algebraic theory and the associated category of cwfs with a $Sigma$-structure and cwf-morphisms that preserve this structure on the nose. Our definition refers to uniform families of contexts, types, and terms, a purely semantic notion. Furthermore, we show how to syntactically construct initial cwfs with $Sigma$-structures. This result can be viewed as a generalization of Birkhoffs completeness theorem for equational logic. It is obtained by extending Castellan, Clairambault, and Dybjers construction of an initial cwf. We provide examples of generalized algebraic theories for monoids, categories, categories with families, and categories with families with extra structure for some type formers of dependent type theory. The models of these are internal monoids, internal categories, and internal categories with families (with extra structure) in a category with families.
The hard problem in consciousness is the problem of understanding how physical processes in the brain could give rise to subjective conscious experience. In this paper, I suggest that in order to understand the relationship between consciousness and the physical world, we need to probe deeply into the nature of physical reality. This leads us to quantum physics and to a second explanatory gap: that between quantum and classical reality. I will seek a philosophical framework that can address these two gaps simultaneously. Our analysis of quantum mechanics will naturally lead us to the notion of a hidden reality and to the postulate that consciousness is an integral component of this reality. The framework proposed in the paper provides the philosophical underpinnings for a theory of consciousness while satisfactorily resolving the interpretation problem in quantum mechanics without the need to alter its mathematical structure. I also discuss some implications for a scientific theory of consciousness.
This survey paper examines the effective model theory obtained with the BSS model of real number computation. It treats the following topics: computable ordinals, satisfaction of computable infinitary formulas, forcing as a construction technique, effective categoricity, effective topology, and relations with other models for the effective theory of uncountable structures.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
