Programming infinite machines

02/06/2018
by   Anton Kutsenko, et al.
0

For infinite machines which are free from the classical Thompson's lamp paradox we show that they are not free from its inverted version. We provide a program for infinite machines and an infinite mechanism which simulate this paradox. While their finite analogs work predictably, the program and the infinite mechanism demonstrate an undefined behavior. As in the case of infinite Davies's machines, our examples are free from infinite masses, infinite velocities, infinite forces, etc. Only infinite divisibility of space and timeis assumed. Thus, the considered infinite devices are possible in a continuous Newtonian Universe and they do not conflict with continuous Newtonian mechanics. Some possible applications to the analysis of the Navier-Stokes equations are discussed.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/06/2020

Parametric machines: a fresh approach to architecture search

Using tools from category theory, we provide a framework where artificia...
research
05/29/2023

The characterization of infinite Eulerian graphs, a short and computable proof

In this paper we present a short proof of a theorem by Erdős, Grünwald a...
research
06/21/2021

Abstract Geometrical Computation 11: Slanted Firing Squad Synchronisation on Signal Machines

Firing Squad Synchronisation on Cellular Automata is the dynamical synch...
research
09/21/2021

Query Evaluation in DatalogMTL – Taming Infinite Query Results

In this paper, we investigate finite representations of DatalogMTL. Firs...
research
11/04/2017

Noise-induced synchronization of self-organized systems: Hegselmann-Krause dynamics in infinite space

It has been well established the theoretical analysis for the noise-indu...
research
03/22/2015

The concept of free will as an infinite metatheoretic recursion

It is argued that the concept of free will, like the concept of truth in...
research
01/24/2023

Tight infinite matrices

We give a simple proof of a recent result of Gollin and Joó: if a possib...

Please sign up or login with your details

Forgot password? Click here to reset