Bailly F., Longo G. Mathematics and the Natural Sciences: The Physical Singularity of Life
Подождите немного. Документ загружается.
January 12, 2011 9:34 World Scientific Book - 9in x 6in mathematics
Bibliography 303
lished in English as: Figuring Space: Philosophy, Mathematics,
and Physics, Kluwer Academic Publishers, Dordrecht, 1999).
Church A., “A set of postulates for the Foundation of Logic" Annals of
Mathematics, vol. 2, no. 33, pp. 348–349 and no. 34 pp. 839–864,
1932-3.
Church A., “A formalisation of the simple theory of types" Journal of
Symbol ic Logic vol. 5, pp. 56–58 , 1940.
Cohen P.J., Set Theory and the Continuum Hypothesis, W. A. Ben-
jamin, New Yo rk, 1966.
Cohen-Tannoudji G. a nd Spiro M., La matière-espace-temps, Fayard,
Paris, 1986 .
Connes A., Géométrie noncommutative, Inter éditions, Paris, 1990.
(Published in English as: N oncommutative Geometry, Academic
Press, Sa n Diego, CA, 1995).
Curry H. B., Feys E., C urry H. B., Hindley J. R. and Seldin J., Combi-
natory Logic vol. I, North-Holland, Amsterdam, 1968
Curry H. B., Feys E., C urry H. B., Hindley J. R. and Seldin J., Combi-
natory Logic vol. II, North-Holland, Amsterdam, 1972.
van Dalen D., “Brouwer’s dogma of languageless mathematics and its role in
his writings" Significs, Mathematics and Semiotics (E. Heijerman
ed.), pp. 33– 44, Nodus Publikationen, Amsterdam, 1991
Dehaene S., La bosse des Maths, Editions Odile Jacob, Paris, 1997 (Pub-
lished in English as: The Number Sense, Harvar d University Pres s,
Cambridge, MA, 1997).
Dehaene S., Izard V., Pica P. and Spe lke E. “Core Knowledge of Geometry
in an Amazonian Indigene Group”, Science, vol. 311, pp. 381–38 4,
2006.
Delamotte B., “A hint of renormalization,” American Journal of
Physics vol. 72, p. 170, 20 04.
Delattre P. and Thellier M., Elaboration et justification des modèles,
Maloine, Paris, 1980.
Demongeot J., Estève F. and Pachot P., “Chaos et bruit dans les systèmes
dynamiques biologiques," in: Biologie théorique (Y. Bouliga nd, ed.),
CNRS Editions, Paris, 1989.
Devaney R. L., An introduction to chaotic dynamical systems,
Addison-Wesley, Reading, MA, 1989.
Dorato M., Time and Reality, CLUEB, Bologna, 1 995.
Doridot F. and Panza M., “A propos de l’apport des sciences cognitives à la
philosophie des mathématiques,” Intellectica, no. 39/2, pp. 263–287
January 12, 2011 9:34 World Scientific Book - 9in x 6in mathematics
304 MATHEMATICS AND THE NATURAL SCIENCES
2004.
Duff M.J., “Kaluza-Klein Theory in Perspective,” in: Proceedings of the
Symposium ‘The Oskar Klein Centenary’, (Lindström, U., ed.),
pp. 22–35, World Scientific, Singapore, 1994.
Edalat A., “Domains for Computation in Mathematics, Physics and Exact
Real Arithmetic,” Bulletin for Symbolic Logic, vol. 3, no. 4, pp.
401–452, 1997.
Edelman G., Neural Darwinism, Basic Books, New York, 1987.
Edelman G. and Tononi G., A Universe of Consciousness. How Mat-
ter Becom es Imagination, Basic Books, New York, 2000.
Einstein A., Podolsky B. and Rosen N., “Can Quantum Mechanical Descrip-
tion of Physical Reality Be Considered Complete?" Physical Review
41, p. 777, 1935.
Feferman, S., “Weyl Vindicated: “Das Kontinuum" 70 Years Later," Pro-
ceedings of the Ces ena Conference in Logic and Philosophy of
Science, vol. 1, Ce sena, 7–10, Bologna, 1987.
Feferman S., “Penrose’s Goedelian argument,” manuscript, Department of
Mathematics, Stanford University, 1995.
Follesdal D., “Gödel and Husserl,” in: Naturalizing Phenomenolog y (J.
Petitot, F. Varela, B. Pachoud and J-M. Roy, eds.) Stanford University
Press 1999.
Foster J.G., Physics with Two Time Dimensions, Senior Thesis, Duke Uni-
versity, Durham, 2003.
van Fraassen B., Laws and Symmetry, Oxford University Press, 1989.
Frege G., The Foundatio ns of Arithmetic: A Logico-Mathematical
Enquiry into the Concept of Number, translated by J. L. Austin,
Northwestern University Press, Evanston, 1980.
Fuchs C. and Victorri B., La Polysémie, construction dynamique du
sens, Hermès, Paris, 1996.
Gacs P., Hoyrup M. a nd Rojas C., “Randomness on Computable Metric
Spaces: A dynamical point of view,” in: 26th International Sym-
posium on Theoretical Aspects of Computer Science (STACS)
2009.
Girard J.-Y., “Linear Logic" Theoretical Co mputer Science, vol. 50,
pp. 1–102, 1987.
Girard J.-Y., “Locus Solum,” special issue of: Mathematical Structures
in Computer Science, C ambridge U.P., vol. 11, no. 3, 2001.
Girard J.-Y., Lafont Y. and Taylor P., Proofs and Types, Cambridge
Univers ity Press, 1990.
January 12, 2011 9:34 World Scientific Book - 9in x 6in mathematics
Bibliography 305
Glass L. and Mackey M., From cl ocks to chaos. The rhythms of life,
Princeton University Press, 1988.
Gödel K. “Russell’s mathematical logic" in The philosophy of Bertrand
Russell (P.A. Schlipp, ed.), Northwe stern University Press, Evanston,
IL, 1944 ; reprinted in Philosophy of mathematics; s elected read-
ings (Benacerraf and Putnam, eds.), Prentice Hall, 1964.
Gödel K. “What is Cantor’s Continuum Problem?," Amer. Math.
Monthly, 54, 1947; reprinted in Philosophy of mathematics; se-
lected readings (P. Benacerraf and H. Putnam, eds), Prentice Hall,
Englewood Cliffs, NJ, 1964.
Gould S.J., Allometry and size in ontogeny and phylogeny, Biol ogical Re-
view, vol. 41, p. 587, 1966.
Gould S.J., Ever since Darwin, Norton, New York, 1977
Gould S.J., Wonderful Life: The Burgess Shale and the Nature of
History, Harvard University Press, Cambridge, MA, 1989.
Gould S.J., Full House: The Spread of Excellence From Plato to
Darwin, Harmony Books, New York, 1998.
Green M., Schwarz J. and Witten E., Superstring theory, Cambridge
Univers ity Press, 1988.
Haken H., Synergetics, Springer, Heidelberg, 1978.
Harel D., Computers Ltd.: What They Really Can’t Do, Oxfor d
Univers ity Press, 2003.
Harrington L. et al. (eds.), Harvey Friedman’s Research on the Foun-
dations of Mathematics, North-Holland, Amsterdam, 1985.
Harthong J., “Eléments pour u ne théorie du continu,” Astérisque vol. 109–
110, p. 235, 1983.
Heath T.L., The Thirteen Books of Euclid’s Elements, Cambridge
Univers ity Press, 1908.
Herrenschmidt C., Les trios écritures, Gallimard, Paris, 2007.
Hertz J., Krogh A. and Palmer R., Introductio n to the Theory of
Neural Computation, Addison-Wesley, 1991.
Hilbert D., Grundlage n der Geometrie, Teubner, Leipzig, 189 9. (Pub-
lished in English as Foundatio ns of Geometry, translated by L.
Unger, Ope n Court, La Salle, 1971 ).
Hill E.L., “Hamilton’s Principle and the Conservation Theorems of Math-
ematical Physics,” Reviews of Modern Physics, vol. 23, no. 3, p.
253, 1951.
Horsfield R., “Postnatal growth of the dog’s bronchial tree,” Respiratory
Physiology, vol. 29, p. 185, 1977.
January 12, 2011 9:34 World Scientific Book - 9in x 6in mathematics
306 MATHEMATICS AND THE NATURAL SCIENCES
Horsfield R., “Morphology of branching trees related t o entropy", Respira-
tory Physiology, vol. 29, p. 179, 1977.
Husserl E., The Origin of Geometry, 19 33. (transl. in English, Univer-
sity of Nebraska Press, 1989).
Husserl, E., Sto ria critica delle idee, (translation of Part I of Erste.
Philosophie by Piana, G., Guerini e Associati: Milan, 1989.
Jean R., Phyllotaxis: a systemic study in plant morphogenesis,
Cambridge University Press, 1994.
Jeong H., Tombor, B., Albert,R., Ottvai, Z.N. and Barabasi A-L., “The
large scale organization of met abolic networks,” Nature, vol. 407, p.
651, 2000.
Johnstone P., Topos Theory, Academic Press, New Yor k, 19 77.
Kaku M., Hyperspace, Oxford University Press, 1994.
Kant E., Critique de la raison pure, Paris, Presses Universitaires de
France, 1986a.
Kant E., Opus postumum, Paris, Presses Universitaires de France, 1986b.
Kastler A., Cette étrange matière, Stock, Paris, 197 6.
Kauffman S., The origins of order, Oxford University Press, 19 93.
Kauffman S., At home in the Universe, Oxford University Press, 1995.
Lakoff, G. and Nunez, R., Where Mathematics Comes From: How
the Embodied Mathematics Creates Mathematics, Basic Books,
New York, 2000.
Lambek J. and Scott P.J., Introduction to higher order categorical
logic, Cambridge University Press 19 86.
Largea ult J., Logique mathématique. Textes, Armand Colin, Collec-
tion U, Paris 1972.
Laska r J., “The chaotic behaviour of the solar system", Icarus, vol. 88, pp.
266–291, 1990.
Laska r J., “Large scale chaos in the S olar System", Astronomy & Astro-
physics, vol. 287, L9–L12, 1994.
Lassègue J., Alan Turing, Les Belles Lettres, Paris, 1 998.
Lautman A., Essai sur l’unité des mathématiques, UGE, Paris, 1977.
Lebowitz J ., “Microscopic Origins of Irreversible Macroscopic Behavior,"
Physica A vol. 263, pp. 5 16–527, 1999.
Lecointre G. and Le Guyader H., Classification phylogénétique du vi-
vant, Belin, Paris, 2001.
Lefèvre J., “Teleonomical optimization of a fractal model of the pulmonary
arterial bed", Journal of Theoretical Biol ogy, vol. 102, p. 225,
1983.
January 12, 2011 9:34 World Scientific Book - 9in x 6in mathematics
Bibliography 307
Lesne A., Approches multi-échelles en physique et en biologie, Ha-
bilitation à diriger la recherche, Universitaire Paris VI, 2003.
Lichnerowicz A., Théories rel ativi stes de la gravitation et de
l’électromagnétisme, Masson, Paris, 1955.
Lighthill J., “The recent recognized failure of predictability in Newtonian
dynamics,” Proceedings of the Royal Society of London A 407,
pp. 35–50, 1986.
Lobachevskij N., Nouveaux principes de la Géométrie, 1856.
Longo G., “Set-Theoretical Models of Lambda–calculus: Theories, Expan-
sions, Is omorphisms," Annals Pure Applied Logic vol. 24, pp.
153–188, 1983.
Longo G., “Some aspects of impredicativity: Weyl’s philosophy of mathemat-
ics and today’s Type Theory” in: Logic Colloquium 1987: Studies
in Logic and the Foundations of Mathematics (H.-D. Ebbinghaus
et al. eds.), vol. 129, pp. 241–274, North-Holland, Amsterdam, 1989.
Longo G., “D e la cognition à la géométrie”, Intel lectica no. 25, 1997a.
Longo G., “Géométrie, Mouvement, Espace: Cognition et Mathématiques.
À partir du livre "Le sens du mouvement”", par A. B e rthoz, Odile-
Jacob, Intellectica, no. 25, 1997.
Longo G., “The Mathematical Continuum, from Intuition to Logic” in:
Naturalizing Phenomenol ogy (J. Petitot, F. Varela, B. Pachoud,
J-M. Roy, eds.), Stanfor d University Press 1999.
Longo G., “Mathematical Intelligence, Infin ity and Machines: beyond the
Gödelitis,” Journal of Consciousness Studies, vol. 6, no. 11–12,
1999b.
Longo G., “Mémoire e t o bjectivité en mathématiques” in: Le réel en
mathématiques, (P. Cartier and N. Charrauds, eds.), Presses de la
rue d’Ulm, 2003, actes du Colloque de Cerisy, 1999c.
Longo G., “Cercles vicieux, Mathématiques et formalisations logiques,”
Conférence Invitée, parue dans Mathématiques, Informatique et
Sciences Humaines, n. 1 52, 2000.
Longo G., “On the proofs of some formally unprovable propositions and
Prototype Proofs in Type Theory" Invited Lecture, Types for Proofs
and Programs, Durham, UK, Dec. 2000; also published in: Lecture
Notes in Computer Science, vol. 2277 (Callaghan et al. eds.), pp.
160–180, Springer, Berlin, 2002.
Longo G., “The Constructed Objectivity of Mathematics and the Cognitive
Subject", in: Quantum Mechanics, Mathematics, C ognition and
Action (M. Mugur-Schächter and A. van der Merwe, eds.) Kluwer
January 12, 2011 9:34 World Scientific Book - 9in x 6in mathematics
308 MATHEMATICS AND THE NATURAL SCIENCES
Academic Publishers, Dordecht, 2002a.
Longo G., “The reasonable effectiveness of Mathematics and its Cognitive
roots", in New Interactions of Mathematics with Natural Sci-
ences: Geometri es of Nature (L. Boi, ed.), World Scientific, Singa-
pore, 2005.
Longo G., “Laplace, Turing and the “imitation game" impossible geometry:
randomness, determinism and programs in Turing’s test,” in: Parsing
the Turing Test (Epstein, R., Roberts, G. and Beber, G., eds.), pp.
377–413, Springer, 200 7.
Longo G., “From exact sciences to life phenomena: following Schroedinger
and Turing on programs, life and causality,” sp e c ial issue of: Informa-
tion and Computation, vol. 207, no. 5, pp. 543–670, 2009.
Longo G., “Interfaces of Incompleteness” (downloadable). Preliminary ver-
sion in French in: Les mathématiques, CNRS Editions, 2011.
Longo G. and Tendero P.-E. “The differential method and the causal incom-
pleteness of Programming Theory in Molecular Biology,” Foundations
of Science, no. 1 2, pp. 337–366, 2007.
Mancosu P. and Ryckman T., “Mathematics and Phenomenology. The cor-
respondence between Oskar Becker and Hermann Weyl,” Philosophia
Mathematica vol. 10, pp. 130–202, 2002.
Mandelbrot B., The fractal geometry of nature, W.H. Freeman, New
York , 1982.
Merleau-Ponty M., Phénomenologie de la perception, Gallimard,
Paris, 1945 .
Mugur-Schächter M., “Quantum mechanics versus a method of relativized
conceptualization”, in: Quantum Mechanics, Mathematics, Cog-
nition and Action, (M. Mugur-Schächter and A. Van der Merwe,
eds.) Kluwer Academic Publishers, Dordecht, 2002.
Mugur-Schachter M., Sur le tissage des connaissances, Hermès-
Lavoisier, Paris, 2006.
Nelson E., “Internal set theory,” Bulletin of the American Mathemat-
ical Society, vol. 83, no. 6, p. 1165, 1977.
Nicolis G., “Dissipative systems", Reports on Progress in Physics, vol.
49, no.8, p. 873, 19 86.
Nicolis G. and Prigogine I., Self-organization in non-equilibrium sys-
tems, Wiley, New York, 1977.
Nicolis G. and Prigogine I., A la rencontre du complexe, Presses Uni-
versitaires de France, Paris, 1989.
Noether E., “Invariante Variationsprobleme," Nachrichten von der
January 12, 2011 9:34 World Scientific Book - 9in x 6in mathematics
Bibliography 309
Königlicher Gesellschaft den Wi ssenschaft zu Göttingen,
Math-phys. Klasse, no. 2, pp. 235–257, 1918.
Nottale L., La relativité dans tous ses états, Hachette, Paris, 1999.
Nove llo M., Le cercle du te mps, Atlantisciences, Paris, 2001.
Pachoud B., “The Teleological Dimension of Perceptual and Motor Inten-
tionality”, in: Naturalizing Phenomenology (Petitot et al., eds.),
Stanford University Press, 1999.
Parrini P., Conoscenza e Realta, L aterza, Roma-Bari, 1995.
Patras F., La pensée mathématique contemporaine, Presses Univer-
sitaires de France, Paris, 2001.
Pauri M., I ri velatori del tempo, preprint, Diploma di Fisica, University
Di Parma, 1999.
Peters R., The ecological implication of body size, Cambridge Uni-
versity Press, 1983.
Petit J.-L., “La spatialitÃľ originaire du corps propre: phenomenology et
neurosciences," Numéro spécial de Revue de Synthèse, t. 124
(Longo, ed.), Editions de la rue d’Ulm, Paris, 2004 .
Petitot J., “Idéalités mathématiques et réalité objective. Approche transcen-
dantale,” in: Hommage à Jean-Toussaint Desanti (G. Granel, ed.),
Editions TER, Mauvezin, 1991.
Petitot J., “Préface” in Ecrits Philosophiques, G. Preti (traduction et
présentation de Luca Scara ntino), Editions du Cerf, Paris, 2002.
Petitot J., Neurogéométrie de la vision, Les Editions de l’Ecole Poly-
tehcnique, Paris, 2008.
Petitot J., Varela F., Pachoud B. and Roy J.-M. (eds.), Naturalizing
Phenomenology: issue s in comtemporary Phenomenology and
Cognitive Sciences, Stanford University Pre ss, 1999.
Pilyugin S.Y., Shadowing in dynamical systems, Springer-Verlag,
Berlin, 1 999.
Poincaré H., La Science et l’Hypothè se, Flammarion, Paris, 1902.
Preti G., Saggi filosofici, vol. I, La Nuova Italia, Firenze, 1976.
Prigogine I. and Stengers I., Entre le temps et l’éternité, Fayard, Paris,
1988.
Prochiantz A., Les anatomies de la pensee, Odile Jacob, Paris, 1 997.
Reinberg A., Les rythmes biolo giques, Pres ses Universitaires de France ,
Paris, 1989 .
Ricard J., “Emergence, organisation et causalité dans les systèmes bi-
ologiques,” in: Enquête sur le concept de causalité (L. Viennot
and C. Debru, eds.), Presses Universitaires de France, Paris, 2003.
January 12, 2011 9:34 World Scientific Book - 9in x 6in mathematics
310 MATHEMATICS AND THE NATURAL SCIENCES
Riemann B., On the Hypotheses whi ch Lie at the Base s of Geom-
etry, translated by W.K. Clifford, Nature, vol. 8, pp. 14–17, 1873.
Robinson A., Non standard analysis, North-Holland, Amsterdam, 19 80.
Rogers H., Theory of Recursive Functions and Effective Com-
putability, MacGraw Hill, New York, 1967.
Rosen, R., Life Itself, Columbia Univers ity Press, New York, 1991.
Rosenthal V. and Visetti Y.-M., “Sens et temps de la Gestalt", Intellectica,
vol. 28, pp. 147–2 29, 1999.
Ryder L.H., Quantum field theory, Cambridge University Press, 1986.
Sakharov A. D., Oeuvres scientifiques, Anthropos, Paris, 1982.
Salanskis J- M., L’herméneutique formelle, CNRS Editions, 1991.
Sauer T . “Shadowing breakdown and large errors in dynamical simulations
of physical systems”, Phys. Rev. E65, 0 36220 (2002).
Schmidt-Nielsen K., Scaling, Cambridge Univers ity Press, 1984.
Seldin J.P., “Curry’s program" in To H.B. Curry: e ssays on combina-
tory l ogic, lambda-calculus and formalism, (J.P. Seldin and J. R.
Hindley, eds.), Academic Press, London, 1980.
Sherrington D., “Landscape paradigms in physics and biology: introduct ion
and overview,” Physica D, vol. 107, p. 117, 1997.
Simpson G.G., The Major Features of Evolution, Harvard University
Press, Cambridge, MA, 1953.
Solé R. and Goodwin B., Signs of Life, Basic Books, New York, 2000.
Soto A. and Sonnenschein C., “The somatic mutation theory of cancer:
growing problems with this paradigm?” BioEssays, vol. 26, p. 1097–
1107, 2004.
Stewart J., “La modélisation en biologie,” in: Enquête sur le concept de
modèle (P. Nouvel, ed.) Presse s Universitaires de France, Paris, 2002.
Tappenden J., “Geometry and generality in Frege’s philosophy of Arith-
metic" Synthese, vol. 102, no. 3, 1995.
Tazzioli R., “Riemann: alla ricerca della geometria della natura", Le
Scienze, no. 14, supplement 380, 2000.
Teissier B., “Protomathematics, perception and meaning of mathematical
objects” in: Images and Reasoning, (Okada et al., eds.), Keio Uni-
versity Press, Tokyo, 2005.
Thom R., Stabilité structurelle et Morphogénèse, Benjamin, Paris,
1972.
Thom R., Modèles mathém atiques de la morphog enèse, Christia n
Bourgois, Paris, 1980.
Thompson W.D., On growth and form, Cambridge University Press,
January 12, 2011 9:34 World Scientific Book - 9in x 6in mathematics
Bibliography 311
1961.
Tieszen R., Phenomenology, Logic, and the Philosophy of Mathe-
matics, Cambridge University Pre ss, 2005.
Tonietti T. L ., “Four letters of E. Husserl to H. Weyl and their context”
in: Exact Sciences and thei r philosophical foundations, Peter
Lang, Frankfurt, 1988
Troe lstra A.S., Metamathematical investigation of Intuistionistic
Logic and Mathematics, LNM 344, Springer-Verlag, Berlin, 1 973.
Turing A., “Computing Machines and Intelligence”, Mi nd, vol. LIX, 1950.
Ullmo J., La pens ée scientifique moderne, Flammarion, Paris, 1969
Varela F., Autonomie et connaiss ance, Seuil, Paris, 1 989.
Varela F., “The specious Present: A Neurophenomenology of Time Con-
sciousness" in: Naturalizing Phenomenology (Petitot et al. eds.),
Stanford University Press, 1999
Verlet L., La malle de Newton, Ga llima rd, Paris, 1993
Victorri B., “Espace sémantiques et représentation du sens,” Textualité s
et nouvelles technologies, é c/artS, vol. 3, 2002.
Vidal C. and Lemarchand H., La réaction créatrice. Dynamique des
systèmes chimiques, Hermann, Paris, 1988.
Viennot L., “Raisonnement commun en physique: relations fonctionnelles,
chronologie et causalité” in: Enquête sur le concept de causalité
(L. Viennot and C . Debru, eds.) Presses Universitaires de France, Paris,
2003.
Vogel G. and Anger mann H., Atlas de l a biologie, Le Livre de Poche,
LGF, 1994.
Waddington C . H., “Stabilization of Systems, Chreods and Epigenetic Land-
scapes", Futures, vol. 9 no. 2, p. 139, 1977.
Wang H., Reflections o n Kurt Gödel, MIT Press, Cambridge, MA,
1987.
West G.B., Brown J.H. and Enquist B.J., “A general model for the origin
of allometric scaling laws in biology”, Science, vol. 27 6, p. 122, 1997.
Weyl H., Das Kontinuum, Kriti sche Untersuchungen uber die
Grundlagen. der Analysis, Veit, Leipzig, 1918a. (published in En-
glish as: The C ontinuum: A Critical Examination of the Foun-
dation of Analysis, translated by S. Pollard and T. Bowl, Dover, New
York , 1994).
Weyl H., Raum–Zeit–Materie , Springer, Berlin, 1918b.
Weyl H., Philosophie der Mathematik und Naturwissenschaft,
München, Verla g, Leibniz, 1927. (published in English as: Philoso-
January 12, 2011 9:34 World Scientific Book - 9in x 6in mathematics
312 MATHEMATICS AND THE NATURAL SCIENCES
phy of Mathematics and Natural Science, Princeton University
Press, 1949).
Weyl H., Symmetry, Princeton University Press, 1952.
Young et al., Nature, 400, pp. 766–788, 1 999.
Zurek W.H., “Decoherence and the Transition from the Quantum to the
Classical”, Physics Today, vol. 44, p. 36–44, 1991.