ar X iv : m at h / 02 08 18 4 v 1 [ m at h . H O ] 2 3 A ug 2 00 2 Recursive Synthesis and the Foundations of Mathematics
نویسنده
چکیده
This paper presents mathematics as a general science of computation in a way different from the tradition. It is based on the radical philosophical standpoint according to which the content, meaning and justification of experience lies in its precise formulation. The requirement on precise, formal content discloses the relational structure of (mathematical) experience, and gives a new meaning to the 'ideal' objects beyond concrete forms. The paper also provides a systematic reason why set theory represents an ultimate stage in mathematical technology.
منابع مشابه
ar X iv : m at h / 02 08 08 7 v 1 [ m at h . O A ] 1 1 A ug 2 00 2 WHEN ARE CROSSED PRODUCTS BY MINIMAL DIFFEOMORPHISMS ISOMORPHIC ?
We discuss the isomorphism problem for both C* and smooth crossed products by minimal diffeomorphisms. For C* crossed products, examples demonstrate the failure of the obvious analog of the Giordano-PutnamSkau Theorem on minimal homeomorphisms of the Cantor set. For smooth crossed products, there are many open problems.
متن کاملar X iv : m at h / 06 08 16 3 v 1 [ m at h . L O ] 7 A ug 2 00 6 IND - AND PRO - DEFINABLE SETS
We describe the indand procategories of the category of definable sets, in some first order theory, in terms of points in a sufficiently saturated model.
متن کاملar X iv : m at h / 02 08 11 9 v 3 [ m at h . A G ] 1 9 A ug 2 00 2 GEOMETRY OF THE TETRAHEDRON SPACE
Let X be the space of all labeled tetrahedra in P. In [1] we constructed a smooth symmetric compactification X̃ of X. In this article we show that the complement X̃ r X is a divisor with normal crossings, and we compute the cohomology ring H(X̃ ;Q).
متن کاملar X iv : m at h / 05 08 44 5 v 1 [ m at h . L O ] 2 4 A ug 2 00 5 INVARIANT MEASURES IN LUKASIEWICZ LOGIC
We prove that on the finitely generated free MV-algebras the only automorphism-invariant truth averaging process that detects pseudotrue propositions is the integral with respect to Lebesgue measure.
متن کاملar X iv : m at h / 02 08 19 7 v 1 [ m at h . D G ] 2 6 A ug 2 00 2 Hyperbolic Rank of Products
Generalizing [BrFa] we prove the existence of a bilipschitz embedded manifold of pinched negative curvature and dimension m1 +m2 −1 in the product X := Xm1 1 ×X m2 2 of two Hadamard manifolds Xmi i of dimension mi with pinched negative curvature. Combining this result with [BuySch] we prove the additivity of the hyperbolic rank for products of manifolds with pinched negative curvature.
متن کامل