English
Related papers

Related papers: Conway's cosmological theorem and automata theory

200 papers

Consider a finite positive integer. If it is even, divide it by 2, and if it is odd, multiply it by 3 and add 1. This will give you a new integer. Following the procedure for the new integer, you will receive another integer. Repeat the…

General Mathematics · Mathematics 2021-05-26 Hassan Rezai Soleymanpour

In a one-counter automaton (OCA), one can produce a letter from some finite alphabet, increment and decrement the counter by one, or compare it with constants up to some threshold. It is well-known that universality and language inclusion…

Formal Languages and Automata Theory · Computer Science 2016-07-20 Benedikt Bollig

Conways Game of Life is a cellular automaton noted for its rich, complex, and emergent behavior, which seems qualitatively lifelike it exists within a wider space of different rule-sets of cellular automata none of which have been found to…

Cellular Automata and Lattice Gases · Physics 2024-10-31 James McCrum , Terence P Kee

Recently a phenomenological relationship for the observed cosmological constant has been discussed by Motl and Carroll in the context of treating the cosmological constant as a $2\times 2$ matrix but no specific realization of the idea was…

High Energy Physics - Theory · Physics 2007-05-23 Michael McGuigan

A deterministic finite automaton is synchronizing if there exists a word that sends all states of the automaton to the same state. \v{C}ern\'y conjectured in 1964 that a synchronizing automaton with $n$ states has a synchronizing word of…

Combinatorics · Mathematics 2016-09-23 Henk Don

A methodology based upon recurrence quantification analysis is proposed for the study of orthographic structure of written texts. Five different orthographic data sets (20th century Italian poems, 20th century American poems, contemporary…

cmp-lg · Computer Science 2012-08-27 F. Orsucci , K. Walter , A. Giuliani , C. L. Webber, , J. P. Zbilut

Monadic decomposibility --- the ability to determine whether a formula in a given logical theory can be decomposed into a boolean combination of monadic formulas --- is a powerful tool for devising a decision procedure for a given logical…

Formal Languages and Automata Theory · Computer Science 2019-05-09 Pablo Barcelo , Chih-Duo Hong , Xuan-Bach Le , Anthony W. Lin , Reino Niskanen

We develop a classical propositional logic for reasoning about combinatory logic. We define its syntax, axiomatic system and semantics. The syntax and axiomatic system are presented based on classical propositional logic, with typed…

Logic · Mathematics 2022-12-14 Simona Kašterović , Silvia Ghilezan

We present an active automata learning algorithm which learns a decomposition of a finite state machine, based on projecting onto individual outputs. This is dual to a recent compositional learning algorithm by Labbaf et al. (2023). When…

Logic in Computer Science · Computer Science 2024-05-15 Rick Koenders , Joshua Moerman

What is the quantum state of the universe? That is the central question of quantum cosmology. This essay describes the place of that quantum state in a final theory governing the regularities exhibited universally by all physical systems in…

General Relativity and Quantum Cosmology · Physics 2020-04-29 James B. Hartle

The cosmological constant, i.e., the energy density stored in the true vacuum state of all existing fields in the Universe, is the simplest and the most natural possibility to describe the current cosmic acceleration. However, despite its…

Astrophysics · Physics 2008-11-26 S. Carneiro , M. A. Dantas , C. Pigozzo , J. S. Alcaniz

When a physicist performs a quantic measurement, new information about the system at hand is gathered. This paper studies the logical properties of how this new information is combined with previous information. It presents Quantum Logic as…

Quantum Physics · Physics 2008-02-24 Daniel Lehmann

The problems encountered in trying to quantize the various cosmological models, are brought forward by means of a concrete example. The Automorphism groups are revealed as the key element through which G.C.T.'s can be used for a general…

General Relativity and Quantum Cosmology · Physics 2011-07-19 T. Christodoulakis

A type of mechanics will be presented that possesses some distinctive properties. On the one hand, its physical description & rules of operation are readily comprehensible & intuitively clear. On the other, it fully satisfies all observable…

Quantum Physics · Physics 2026-02-05 Eric Tesse

Quantization of a dust-like closed isotropic cosmological model with a cosmological constant is realized by the method of B. DeWitt \cite{1}. It is shown that such quantization leads to interesting results, in particular, to a finite…

General Relativity and Quantum Cosmology · Physics 2009-09-25 M. I. Kalinin , V. N. Melnikov

There is a striking relationship between a three hundred years old Political Science theorem named "Condorcet's jury theorem" (1785), which states that majorities are more likely to choose correctly when individual votes are often correct…

Machine Learning · Computer Science 2020-02-17 Hanan Shteingart , Eran Marom , Igor Itkin , Gil Shabat , Michael Kolomenkin , Moshe Salhov , Liran Katzir

The tool of functional averaging over some ``large'' diffeomorphisms is used to describe quantum systems with constraints, in particular quantum cosmology, in the language of quantum Effective Action. Simple toy models demonstrate a…

General Relativity and Quantum Cosmology · Physics 2009-10-28 B. L. Altshuler , A. M. Boyarsky , A. Yu. Neronov

A complete model of the universe needs at least three parts: (1) a complete set of physical variables and dynamical laws for them, (2) the correct solution of the dynamical laws, and (3) the connection with conscious experience. In quantum…

High Energy Physics - Theory · Physics 2007-05-23 Don N. Page

In a recent series of papers and lectures, John Conway and Simon Kochen presented The Free Will Theorem. "It asserts, roughly, that if indeed we humans have free will, then elementary particles already have their own small share of this…

Quantum Physics · Physics 2020-12-15 Stephen Boughn

Set theory reduces all processes to assembly and disassembly. A similar architecture is proposed for nature as quantum computer. It resolves the classical space-time underlying Feynman diagrams into a quantum network of creation and…

Quantum Physics · Physics 2012-01-10 David Ritz Finkelstein
‹ Prev 1 3 4 5 6 7 10 Next ›