# Experimental computation of real numbers by Newtonian machines

@article{Beggs2007ExperimentalCO, title={Experimental computation of real numbers by Newtonian machines}, author={Edwin J. Beggs and J. V. Tucker}, journal={Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences}, year={2007}, volume={463}, pages={1541 - 1561} }

- Published in Proceedings of the Royal…2007
DOI:10.1098/rspa.2007.1835

Following a methodology we have proposed for analysing the nature of experimental computation, we prove that there is a 3-dimensional Newtonian machine which given any point x 2 [0,1] can generate an infinite sequence [pn,qn], for n = 1,2,..., of rational number interval approximations that converges to x as n ! 1. The machine is a system for scattering and collecting particles. The theorem implies that every point x 2 [0,1] is computable by a simple Newtonian kinematic system that is bounded… CONTINUE READING

#### Citations

##### Publications citing this paper.

SHOWING 1-10 OF 26 CITATIONS

## The Slowdown Theorem: A Lower Bound for Computational Irreducibility in Physical Systems

VIEW 7 EXCERPTS

CITES METHODS

HIGHLY INFLUENCED

## Some surprising instabilities in idealized dynamical systems

VIEW 5 EXCERPTS

CITES BACKGROUND

HIGHLY INFLUENCED

## Five Views of Hypercomputation

VIEW 4 EXCERPTS

CITES BACKGROUND

HIGHLY INFLUENCED

## On the Complexity of Measurement in Classical Physics

VIEW 4 EXCERPTS

CITES BACKGROUND & METHODS

## On More or Less Appropriate Notions of ‘Computation’

VIEW 2 EXCERPTS

CITES BACKGROUND

HIGHLY INFLUENCED

## Computations with oracles that measure vanishing quantities

VIEW 4 EXCERPTS

CITES METHODS

## The Computational Roots of Hyper-Causality?

VIEW 2 EXCERPTS

CITES BACKGROUND

HIGHLY INFLUENCED

## Computational complexity with experiments as oracles

VIEW 13 EXCERPTS

CITES METHODS & BACKGROUND

## A Survey on Analog Models of Computation

VIEW 1 EXCERPT

CITES METHODS

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 38 REFERENCES

## Computations via experiments with kinematic systems 1

VIEW 5 EXCERPTS

## Dynamical Systems and Their Associated Automata

VIEW 1 EXCERPT

HIGHLY INFLUENTIAL

## Dynamical systems that sort lists, diagonalize matrices, and solve linear programming problems

VIEW 1 EXCERPT

HIGHLY INFLUENTIAL

## Church's thesis meets the N-body problem

VIEW 1 EXCERPT

## The myth of hypercomputation

VIEW 2 EXCERPTS

## The myth of hypercomputation. In Alan Turing: life and legacy of a great thinker (ed

VIEW 3 EXCERPTS

## Analog computers and recursive functions over the reals

VIEW 1 EXCERPT