N. Wiener, iA Contribution to the Theory of Relative Position.j Proc. Camb. Phil. Soc., Vol. 17

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Computational Content of Classical Logic - Coquand (1996)   (5 citations)  (Correct)

....this change of point of view is to make the application of mathematics to physics somewhat less mysterious. This is the core of the idea of point free formal topology: to explain an ideal, in nitary object like a point in terms of concrete nitary objects. For instance, in some papers by Wiener [Wiener14] the notion of instant of time is analysed in terms of event. One major problem that Russell mentions is the need to use the Axiom of Choice, for building points. Russell formulated the problem as follows: iIt is shown that the existence of instants require hypotheses which there is no reason to ....

N. Wiener, iA Contribution to the Theory of Relative Position.j Proc. Camb. Phil. Soc., Vol. 17

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC