Physical systems as constructive logics

Authors:
Peter Hines
Affiliations:
York University, York, North Yorkshire, U.K.
Venue:
UC'06 Proceedings of the 5th international conference on Unconventional Computation
Year:
2006

Citing 5
Cited 1

Topology via logic

Topology via logic
Domain theory

Handbook of logic in computer science (vol. 3)
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
A new kind of science

A new kind of science
Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)

Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)

Machine semantics

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is an investigation of S. Wolfram's Principle of Computational Equivalence' – that (discrete) systems in the natural world should be thought of as performing computations. We take a logical approach, and demonstrate that under almost trivial (physically reasonable) assumptions, discrete evolving physical systems give a class of logical models. Moreover, these models are of intuitionistic, or constructive logics – that is, exactly those logics with a natural computational interpretation under the Curry-Howard ‘proofs as programs' isomorphism.