Computation Environments (2) Persistently Evolutionary Semantics
Rasoul Ramezanian

TL;DR
This paper introduces persistently evolutionary semantics within an interactive model of computation, where meanings of symbols evolve through interaction, challenging traditional static interpretations and suggesting a new paradigm called Interactive Model Theory.
Contribution
It proposes a novel semantics for predicate logic where meanings evolve interactively, and develops a new Kripke structure to model persistent evolution in computation and logic.
Findings
Meanings of symbols evolve through interaction.
Subjects can never determine P = NP in this model.
Introduces a new paradigm called Interactive Model Theory.
Abstract
In the manuscript titled "Computation environment (1)", we introduced a notion called computation environment as an interactive model for computation and complexity theory. In this model, Turing machines are not autonomous entities and find their meanings through the interaction between a computist and a universal processor, and thus due to evolution of the universal processor, the meanings of Turing machines could change. In this manuscript, we discuss persistently evolutionary intensions. We introduce a new semantics, called persistently evolutionary semantics, for predicate logic that the meaning of function and predicate symbols are not already predetermined, and predicate and function symbols find their meaning through the interaction of the subject with the language. In (classic) model theory, the mathematician who studies a structure is assumed as a god who lives out of the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Evolutionary Algorithms and Applications
