A conceptual construction of Complexity Levels Theory in spacetime Categorical Ontology: Non-abelian algebraic topology, many-valued logics and dynamic systems

Axiomathes

Volumn 17, Issue 3-4, 2007, Pages 409-493

  Brown, R ^a   Glazebrook, J F ^b   Baianu, I C ^c  

^a BANGOR UNIVERSITY   (United Kingdom)

^b EASTERN ILLINOIS UNIVERSITY   (United States)

^c UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Categorical ontology and the theory of levels; Formal foundation and relational structure of categorical ontology and emergent complexity theories; Ontological essence and Universal properties of items

Indexed keywords

EID: 37649005768     PISSN: 11221151     EISSN: 15728390     Source Type: Journal    
DOI: 10.1007/s10516-007-9010-3     Document Type: Article

References (179)

1. Al-Agl FA, Brown R, Steiner R (2002) Multiple categories: the equivalence of a globular and cubical approach. Adv in Math 170:711-718
2. Alfsen EM, Schultz FW (2003) Geometry of state spaces of operator algebras. Birkäuser, Boston
3. Anandan J (1992) The geometric phase. Nature 360:307-313
4. Aof ME, Brown R (1992) The holonomy groupoid of a locally topological groupoid. Top Appl 47:97-113
5. Arbib M (1968) The algebraic theory of machines, languages, and semigroups. Academic Press, New York
6. Baez J (2001) Higher dimensional algebra and Planck scale physics. In: Callender C, Hugget N (eds) Physics meets philosophy at the Planck scale. Cambridge University Press, pp 177-195
7. Baez J, Dolan J (1995) Higher dimensional algebra and topological quantum field theory. J Math Phys 36:6073-6105
8. Baianu IC, Marinescu M (1968) Organismic supercategories: towards a unitary theory of systems. Bull Math Biophys 30:148-159
9. Baianu IC (1970) Organismic supercategories: II. On multistable systems. Bull Math Biophys 32:539-561
10. Baianu IC (1971a) Organismic Supercategories and qualitative dynamics of systems. Bull Math Biophys 33(3):339-354
11. Baianu IC (1971b) Categories, functors and quantum algebraic computations. In: Suppes P (ed) Proceed fourth international congress logic-mathematics-philosophy of science, September 1-4, 1971, Bucharest
12. Baianu IC, Scripcariu D (1973) On adjoint dynamical systems. Bull Math Biophys 35(4):475-486
13. Baianu IC (1973) Some algebraic properties of (M,R)-systems. Bull Math Biophys 35:213-217
14. Baianu IC, Marinescu M (1974) A functorial construction of (M,R)-systems. Revue Roumaine de Mathematiques Pures et Appliquees 19:388-391
15. Baianu IC (1977) A logical model of genetic activities in Łukasiewicz algebras: the non-linear theory. Bull Math Biology 39:249-258
16. Baianu IC (1980a) Natural transformations of organismic structures. Bull Math Biophys 42:431-446
17. Baianu IC (1980b) On partial order and disorder in biological systems. Letter to the Editor Bull Math Biophys 42:601-605
18. Baianu IC (1983) Natural transformation models in molecular biology. In: Proceedings of the SIAM Natl. Meet., Denver, CO.; Eprint: http://www.cogprints. org/3675/ http://cogprints.org/3675/0l/Naturaltransfmolbionu6.pdf
19. Baianu IC (1984) A molecular-set-variable model of structural and regulatory activities in metabolic and genetic networks. FASEB Proc 43:917
20. Baianu IC (1987a) Computer models and automata theory in biology and medicine. In: Witten M (ed) Mathematical models in medicine, vol 7. Pergamon Press, New York, pp 1513-1577; CERN Preprint No. EXT-2004-072: http://doe.cern.ch//archive/electronic/other/ext/ext-2004-072.pdf
21. Baianu IC (1987b) Molecular models of genetic and organismic structures. In: Proceed. relational biology symp. Argentina; CERN Preprint No.EXT-2004-067 http://doc.cern.ch/archive/electronic/other/ext/ext-2004-0-67/ MolecularModels-ICB3.doc
22. Baianu IC (2004a) Quantum nano-automata (QNA): microphysical measurements with microphysical QNA Instruments, CERN Preprint EXT-2004-125
23. Baianu IC (2004b) Quantum interactomics and cancer mechanisms, Preprint No. 00001978 - http://www.bioline.utsc.utoronto.ca/archive/00001978/01/ Quantum Interactomics In: Cancer-Sept13k4E-cuteprt.pdf http://bioline.utsc.utoronto.ca/ archive/00001978/
24. Baianu IC (2006) Robert Rosen's work and complex systems biology. Axiomathes 16(1-2):25-34
25. Baianu IC (2007) Translational genomics and human cancer interactomics (invited Review, submitted in November 2006 to Translational Oncogenomics)
26. Baianu IC, Glazebrook JF, Georgescu G (2004) Categories of quantum automata and n-valued Łukasiewicz algebras in relation to dynamic bionetworks, (M,R)-systems and their higher dimensional algebra, abstract and preprint of report: http://www.ag.uiuc.edu/fs401/QAuto.pdf and http://www.medicalupapers.com/quantum+automata+math+categories+baianu/
27. Baianu IC, Brown R, Glazebrook JF (2006) Quantum algebraic topology and field theories http://www.ag.uiuc.edu/fs40l/QAT.pdf (manuscript in preparation)
28. Baianu IC, Brown R, Georgescu G, Glazebrook JF (2006) Complex nonlinear biodynamics in categories, higher dimensional algebra and Łukasiewicz- Moisil Topos: transformations of neuronal, genetic and neoplastic networks. Axiomathes 16(1-2):65-122
29. Baianu IC, Glazebrook JF, Georgescu G, Brown R (2007a) Non-Abelian algebraic topology representations of quantum space-time in a generalized 'topos' with a quantum N-valued logic classifier. manuscript in preparation
30. Baianu IC, Brown R, Glazebrook JF (2007b) Categorical ontology of complex spacetime structures: the emergence of life and human consciousness. Axiomathes 17 (this issue)
31. Baianu IC, Brown R, Glazebrook JF (2007c) A non-abelian categorical ontology of spacetime and quantum gravity. Axiomathes 17 (this issue)
32. Baianu IC, Poli R (2008) From simple to super- and ultra-complex systems: towards a non-abelian dynamics paradigm shift. In: Poli R et al (eds) Theory and applications of ontology, vol 1. Springer, Berlin (in press)
33. Bak A, Brown R, Minian G, Porter T (2006) Global actions, groupoid atlases and related topics. J Homotopy Related Struct 1:1-54
34. Bartholomay A (1971) The wide-sense kinetics of molecular sets. Bull Math Biophys 33(3):326-328
35. Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Ann Math 37:823-843
36. Borceux F (1994) Handbook of categorical algebra 1 & 2-encyclopedia of mathematics and its applications, vols 50 & 51, Cambridge University Press, Cambridge, UK
37. Brown R (1967) Groupoids and Van Kampen's theorem. Proc London Math Soc 17(3):385-401
38. Brown R (1987) From groups to groupoids: a brief survey. Bull London Math Soc 19:113-134
39. Brown R (1996) Homotopy theory, and change of base for groupoids and multiple groupoids. Appl Categorical Struct 4:175-193
40. Brown R (2006) Topology and groupoids, BookSurge, LLC
41. Brown R (2004) Crossed complexes and homotopy groupoids as noncommutative tools for higher dimensional local-to-global problems. In: Proceedings of the fields institute workshop on categorical structures for descent and Galois theory, Hopf algebras and semiabelian categories, vol 43, September 23-28, 2002. Fields Institute Communications, pp 101-130
42. Brown R, Higgins P (1981) The algebra of cubes. J Pure Appl Algebra 21:233-260
43. Brown R, Içen I (2001) Lie local subgroupoids and their holonomy and monodromy Lie groupoids. Top Appl 115:125-138
44. Brown R, Janelidze G (1997) Van Kampen theorems for categories of covering morphisms in lextensive categories. J Pure Appl Algebra 119:255-263
45. Brown R, Janelidze G (2004) Galois theory and a new homotopy double groupoid of a map of spaces. Appl Categorical Struct 12:63-80
46. Brown R, Loday J-L (1987) Van Kampen Theorems for diagrams of spaces. Topology 26:311-337
47. Brown R, Higgins PJ, Sivera R (2008) Non-Abelian algebraic topology, in preparation. http://www.bangor.ac.uk/mas010/nonab-a-t.html ; http://www.bangor.ac.uk/mas010/nonab-t/partI010604.pdf
48. Brown R, Paton R, Porter T (2004) Categorical language and hierarchical models for cell systems. In: Paton R, Bolouri H, Holcombe M, Parish JH, Tateson R (eds) Computation in cells and tissues-perspectives and tools of thought. Natural Computing Series. Springer Verlag, pp 289-303
49. Brown R, Porter T (2003) Category theory and higher dimensional algebra: potential descriptive tools in neuroscience. In: Singh N (ed) Proceedings of the international conference on theoretical neurobiology, Delhi, February 2003, National Brain Research Centre, Conference Proceedings, vol 1, pp 80-92
50. Brown R., Içen I (2003) Towards a 2-dimensional notion of holonomy. Adv Math 178:141-175
51. Brown R, Hardie K, Kamps H, Porter T (2002) The homotopy double groupoid of a Hausdorff space. Theory Appl Categories 10:71-93
52. Brown R, Hardy JPL (1976) Topological groupoids I: universal constructions. Math Nachr 71:273-286
53. Brown R, Mucuk O (1995) The monodromy groupoid of a Lie groupoid. Cah Top Géom Diff Cat 36:345-369
54. Brown R, Mucuk O (1996) Foliations, locally Lie groupoids, and holonomy. Cah Top Géom Diff Cat 37:61-71
55. Brown R, Porter T (2006) Category theory: an abstract setting for analogy and comparison. In: What is category theory? Advanced studies in mathematics and logic. Polimetrica Publisher, Italy, pp 257-274
56. Brown R, Spencer CB (1976) Double groupoids and crossed modules. Cah Top Géom Diff 17:343-362
57. Brown R, Razak Salleh A (1999) Free crossed resolutions of groups and presentations of modules of identities among relations. LMS J Comput Math 2:25-61
58. Bucur I, Deleanu A (1968) Introduction to the theory of categories and functors. Wiley, London
59. Bunge M, Lack S (2003) Van Kampen theorems for toposes. Adv Math 179:291-317
60. Butterfield J, Isham CJ (2001) Spacetime and the philosophical challenges of quantum gravity. In: Callender C, Hugget N (eds) Physics meets philosophy at the Planck scale. Cambridge University Press, pp 33-89
61. Butterfield J, Isham CJ 1998, 1999, 2000-2002, A topos perspective on the Kochen-Specker theorem I-IV, Int J Theor Phys 37(11):2669-2733.
62. Butterfield J, Isham CJ Int J Theor Phys 38(3):827-859
63. Butterfield J, Isham CJ Int J Theor Phys 39(6):1413-1436
64. Butterfield J, Isham CJ Int J Theor Phys 41(4):613-639
65. Chevalley C (1946) The theory of Lie groups. Princeton University Press, Princeton NJ
66. Comoroshan S, Baianu IC (1969) Abstract representations of biological systems in organismic supercategories: II. Limits and colimits. Bull Math Biophys 31:84
67. Connes A (1994) Noncommutative geometry. Academic Press, New York
68. Cordier J-M, Porter T (1989) Shape theory, Ellis Horwood Series: mathematics and its applications. Ellis Horwood, Chichester UK
69. Crowell RH (1959) On the van Kampen theorem. Pacific J Math 9:43-50
70. Dalla Chiara M, Giuntini R, Greechie R (2004) Reasoning in quantum theory, trends in logic-studia logica library, vol 22. Kluwer, Dordrecht
71. Dirac PAM (1962) The principles of quantum mechanics. Oxford University Press, Oxford, UK
72. Dold A, Puppe D (1961) Homologie nicht-additive Funktoren. Anwendungen. Ann Inst Fourier Grenoble 11:201-312
73. Douady A, Douady R (1979) Algebres et théories Galoisiennnes, vol 2. CEDIC, Paris
74. Dyer E, Eilenberg S (1988) Globalizing fibrations by schedules. Fund Math 130:125-136
75. Ehresmann C (1965) Catégories et Structures. Dunod, Paris
76. Ehresmann C (1966) Trends toward unity in mathematics. Cahiers de Topologie et Geometrie Differentielle 8:1-7
77. Ehresmann C (1952) Structures locales et structures infinité simales. C.R.A.S. Paris 274:587-589
78. Ehresmann C (1959) Catégories topologiques et catégories différentiables. Coll Géom Diff Glob Bruxelles pp 137-150
79. Ehresmann C (1963) Catégories doubles des quintettes: applications covariantes. CRAS Paris 256:1891-1894
80. Ehresmann C (1984) Oeuvres complètes et commentées: Amiens, 1980-84, edited and commented by Andrée Ehresmann
81. Ehresmann AC, Vanbremeersch J-P (1987) Hierarchical evolutive systems: a mathematical model for complex systems. Bull Math Biol 49(1):13-50
82. Ehresmann AC, Vanbremeersch J-P (2006) The memory evolutive systems as a model of Rosen's organisms. Axiomathes 16 (1-2):13-50
83. Eilenberg S (1974) Automata, languages and machines, vol A, Pure and applied mathematics, vol 58. Academic Press, New York
84. Eilenberg S (1976) Automata, languages and machines, vol B, Pure and applied mathematics, vol 59. Academic Press, New York
85. Eilenberg S, MacLane S (1942) Natural isomorphisms in group theory. Am Math Soc 43:757-831
86. Eilenberg S, MacLane S (1945) The general theory of natural equivalences. Trans Am Math Soc 58:231-294
87. Elsasser MW (1981) A form of logic suited for biology. In: Rosen R (ed) Progress in theoretical biology, vol 6. Academic Press, New York, pp 23-62
88. Freyd P (2003) Abelian categories. Repr Theory Appl Categ 3:1-190 (formerly published by Harper and Row, New York, 1964)
89. Gabriel P (1962) Des catégories abéliennes. Bull Soc Math France 90:323-448
90. Georgescu G, Popescu D (1968) On algebraic categories. Revue Roumaine de Mathematiques Pures et Appliquées 13:337-342
91. Georgescu G (2006) N-valued Logics and Łukasiewicz-Moisil Algebras. Axiomathes 16(1-2):123-136
92. Georgescu G, Vraciu C (1970) On the characterization of Łukasiewicz-Moisil algebras. J Algebra 16(4):486-495
93. Golubitsky M, Stewart I (2006) Nonlinear dynamics of networks: the groupoid formalism. Bull Am Math Soc 43(3):305-364
94. Goodwin BC (1994) How the leopard changed its spots: the evolution of complexity. Touchstone Publ, New York
95. Goubault E (2003) Some geometric perspectives in concurrency theory. Homology, Homotopy Appl 5(2):95-136
96. Gould SJ (1977) Ontogeny and phylogeny. Belknap Press, Cambridge, Mass
97. Grothendieck A (1957) Sur quelques points d'algèbre homologique. Tǒhoku Math J 9(2):119-221
98. Grothendieck A, Dieudonné J (1960) Éléments de géométrie algébrique. Publ Inst des Hautes Etudes de Science 4: Paris
99. Grothendieck A (1971) Revêtements étales et Groupe Fondamental (SGA1), chapter VI: Catégories fibrées et descente, Lecture Notes in Math., vol 224. Springer-Verlag, Berlin
100. Grothendieck A (2007) Pursuing Stacks. In: Maltsiniotis G (ed) Documents Mathématiques, Société Mathématique de France (to appear)
101. Hartmann N (1935) Zur Grundlegung der Ontologie. W. de Gruyter, Berlin
102. Hartmann N (1952) The new ways of ontology, Chicago
103. Healy MJ, Caudell TP (2006) Ontologies and worlds in category theory: implications for neural systems. Axiomathes 16(1-2):165-214
104. Healy MJ, Caudell TP (2004) Neural networks, knowledge and cognition: a mathematical semantic model based upon category theory. Technical report EECE-TR-04-20, Dept. of Electrical and Computer Engineering, University of New Mexico
105. Higgins PJ, Mackenzie KCH (1990) Fibrations and quotients of differentiable groupoids. J London Math Soc 42(1):101-110
106. Higgins PJ (1964) Presentations of groupoids, with applications to groups. Proc Cambridge Philos Soc 60:7-20
107. Higgins PJ (2005) Categories and groupoids, Van Nostrand Mathematical Studies: 32, (1971).
108. Reprints in Theory and Applications of Categories 7:1-195.
109. Hiley B, Pylkkänen P (2005) Can mind affect matter via active information? Mind Matter 3(2):7-27
110. Hofstadter DR (1979) Gödel, Escher, Bach: an eternal Golden Braid. Basic Books, New York
111. Hurewicz E (1955) On the concept of fiber spaces. Proc Nat Acad Sci USA 41:956-961
112. Innassaridze N (2002) Non-abelian tensor products and non-abelian homology of groups. J Pure Appl Algebra (to appear)
113. van Kampen EH (1933) On the connection between the fundamental groups of some related spaces. Am J Math 55:261-267
114. Kimura M (1968) Evolutionary rate at the molecular level. Nature 217:624-626 [1]
115. Kimura M (1983) The neutral theory of molecular evolution. Cambridge University Press, Cambridge, UK
116. Krips H (1999) Measurement in quantum theory. In: Zalta EN (ed) The Stanford encyclopedia of philosophy (Winter 1999 edn.)
117. Landsman NP (1998) Mathematical topics between classical and quantum mechanics. Springer Verlag, New York
118. Lawvere FW (1966) The category of categories as a foundation for mathematics. In: Eilenberg S et al (eds) Proc conf categorical algebra-La Jolla. Springer-Verlag, Berlin, pp 1-20
119. Lawvere FW (1963) Functorial semantics of algebraic theories. Proc Natl Acad Sci USA, Math 50:869-872
120. Lawvere FW (1969) Closed Cartesian categories. Lecture held as a guest of the Romanian Academy of Sciences, Bucharest
121. Löfgren L (1968) An axiomatic explanation of complete self-reproduction. Bull Maths Biophysics 30:317-348
122. Mac Lane S (1963) Homology. Springer, Berlin
123. Mac Lane S (2000) Categories for the working mathematician. Springer, New York
124. Mac Lane S, Moerdijk I (1992) Sheaves in geometry and logic. A first introduction in topos theory. Springer-Verlag, New York
125. Majid S (1995) Foundations of quantum group theory. Cambridge University Press, Cambridge, UK
126. Majid S (2002) A quantum groups primer. Cambridge University Press, Cambridge, UK
127. Martins JF, Porter T (2004) On Yetter's invariant and an extension of the Dijkgraaf-Witten invariant to categorical groups, math.QA/0608484
128. Maturana HR, Varela FJ (1980) Autopoiesis and cognition-the realization of the living, Boston Studies in the Philosophy of Science, vol 42. Reidel Pub Co, Dordrecht
129. May JP (1999) A concise course in algebraic topology. The University of Chicago Press, Chicago
130. McCulloch W, Pitt W (1943) A logical calculus of ideas immanent in nervous activity. Bull Math Biophys 5:115-133
131. Misra B, Prigogine I, Courbage M (1979) Lyaponouv variables: entropy and measurement in quantum mechanics. Proc Natl Acad Sci USA 78(10):4768-4772
132. Mitchell B (1965) Theory of categories. Academic Press, London
133. Moerdijk I (2002) Introduction to the language of stacks and gerbes arXiv:math.AT/0212266
134. Ooort F (1970) On the definition of an abelian category. Proc Roy Neth Acad Sci 70:13-02
135. Penrose R (1994) Shadows of the mind. Oxford University Press, Oxford
136. Pickering J, Skinner M (1990) From sentience to symbols. University of Toronto Press, Toronto
137. Plymen RJ, Robinson PL (1994) Spinors in Hilbert Space, Cambridge Tracts in Math, vol 114. Cambridge University Press, Cambridge
138. Poli R (1998) Levels. Axiomathes 9(1-2):197-211
139. Poli R (2001a) The basic problem of the theory of levels of reality. Axiomathes 12(3-4):261-283
140. Poli R (2001b) Alwis. Ontology for Knowledge engineers. PhD Thesis, Utrecht University
141. Poli R (2006a) Levels of reality and the psychological stratum. Revue Internationale de Philosophie 61(2):163-180
142. Poli R (2006b) Steps towards a synthetic methodology. In: Proceed. conf. continuity and change: perspectives on science and religion. Metanexus Institute, June 2006, Philadelphia, PA http://www.metanexus.net/conferences/pdf/ conference2006/Poli.pdf
143. Poli R (2006c) First steps in experimental phenomenology. In: Loula A, Gudwin R (eds) Artificial cognition systems.
144. Poli R (2008) Ontology: the categorical stance. In: Theory and applications of ontology, vol 1. Springer, Berlin(in press)
145. Popescu N (1973) Abelian categories with applications to rings and modules, 2nd edn. 1975. Academic Press, New York (English translation by I.C. Baianu)
146. Porter T (2002) Geometric aspects of multiagent systems. preprint University of Wales-Bangor
147. Porter T (1998) TFQTs from homotopy n-types. J London Math Soc 58:723-732
148. Porter T, Turaev V (2005) Formal homotopy quantum field theories, I: formal maps and crossed C*-algebras, preprint University of Wales-Bangor
149. Pradines J (1966) Théorie de Lie pour les groupoides différentiable, relation entre propriétes locales et globales CR Acad Sci. Paris Sér A 268:907-910
150. Raptis I, Zapatrin RR (2000) Quantisation of discretized spacetimes and the correspondence principle. Intl Jour Theor Phys 39:1-89
151. Rashevsky N (1965) The representation of organisms in terms of predicates. Bull Math Biophys 27:477-491
152. Rashevsky N (1969) Outline of a unified approach to physics, biology and sociology. Bull Math Biophys 31:159-198
153. Reidermeister K (1949) Über Identitäten von Relationen. Abh Math Sem Hamburg 16:114-118
154. Roberts JE (2004) More lectures on algebraic quantum field theory. In: Connes A et al (eds) Noncommutative geometry. Springer, Berlin
155. Rosen R (1985) Anticipatory systems. Pergamon Press, New York
156. Rosen R (1958a) A relational theory of biological systems. Bull Math Biophys 20:245-260
157. Rosen R (1958b) The representation of biological systems from the standpoint of the theory of categories. Bull Math Biophys 20:317-341
158. Rosen R (1987) On complex systems. Eur J Operat Res 30:129-134
159. Rosen R (1999) Essays on life itself. Columbia University Press, New York
160. Rovelli C (1998) Loop quantum gravity. In: Dadhich N et al (eds) Living reviews in relativity (refereed electronic journal) http://www.livingreviews. org/Articles/Volume1/1998-1 rovelli
161. Schrödinger E. (1967) Mind and Matter in 'What is Life?' Cambridge University Press, Cambridge, UK
162. Sober E (ed) (1984) Conceptual issues in evolutionary biology and anthology. Cambridge, Massachusetts
163. Sorkin RD (1991) Finitary substitute for continuous topology. Int J Theor Phys 30(7):923-947
164. Spanier EH (1966) Algebraic topology. McGraw Hill, New York
165. Stewart I, Golubitsky M (1993) Fearful symmetry: Is God a geometer? Blackwell, Oxford UK
166. Thom R (1980) Modèles mathématiques de la morphogénèse, Paris, Bourgeois
167. Thompson W D'Arcy (1994) On growth and form. Dover Publications Inc., New York
168. Turing AM (1952) The chemical basis of morphogenesis. Philoso Trans Royal Soc (B) 257:37-72
169. Varela FJ (1979) Principles of biological autonomy. Elsevier/North- Holland, New York
170. Várilly JC (1997) An introduction to noncommutative geometry arXiv:physics/9709045
171. von Neumann J (1932) Mathematische Grundlagen der Quantenmechanik. Springer, Berlin
172. Weinstein A (1996) Groupoids: unifying internal and external symmetry. Notices of the Amer Math Soc 43:744-752
173. Wess J, Bagger J (1983) Supersymmetry and supergravity. Princeton University Press, Princeton, NJ
174. Weinberg S (1995) The quantum theory of fields I & II (vol. III publ. 2000). Cambridge University Press, Cambridge, UK
175. Wheeler J, Zurek W (1983) Quantum theory and measurement. Princeton University Press, Princeton NJ
176. Whitehead JHC (1941) On adding relations to homotopy groups. Ann Math 42(2):409-428
177. Wiener N (1950) The human use of human beings: cybernetics and society. Free Association Books, London, 1989 edn.
178. Winograd T (1972) Understanding Natural Language. Academic Press, New York
179. Wittgenstein L (1967) In: Rhees R, von Wright GH, Anscombe GEM (eds) Remarks on the foundations of mathematics. Blackwell