Abstract
Intuitionistic real numbers are constructed as sheaves on the state space of the Schrodinger representation of a CCRalgebra with a finite number of degrees of freedom. These numbers are used as the values of position and momentum variables that obey Newton's equations of motion. Heisenberg's operator equations of motion are shown to give rise to numerical equations that, on a family of open subsets of state space, are local approximations to Newton's equations of motion for the intuitionistically valued variables.
Information
Published: 1 January 2001
First available in Project Euclid: 17 November 2014
zbMATH: 1122.81303
MathSciNet: MR1852691
Rights: Copyright © 2001, Centre for Mathematics and its Applications, Mathematical Sciences Institute, The Australian National University. This book is copyright. Apart from any fair dealing for the purpose of private study, research, criticism or review as permitted under the Copyright Act, no part may be reproduced by any process without permission. Inquiries should be made to the publisher.
