Arxiv:1807.04520V2 [Q-Bio.NC] 16 Jul 2018 1 Introduction 2

Total Page:16

File Type:pdf, Size:1020Kb

Arxiv:1807.04520V2 [Q-Bio.NC] 16 Jul 2018 1 Introduction 2 Elements of Consciousness and Cognition. Biology, Mathematic, Physics and Panpsychism: an Information Topology Perspective Pierre Baudot Inserm UNIS UMR1072 - Universit´eAix-Marseille AMU, Facult´ede M´edecine- Secteur Nord, 51, Boulevard Pierre Dramard, 13015 Marseille, France [email protected] 16th July 2018 Abstract This review presents recent and older results on elementary quantitative and qualitative aspects of con- sciousness and cognition and tackles the question "What is consciousness?" conjointly from biological, neuroscience- cognitive, physical and mathematical points of view. It proposes to unify various results and theories by means of algebraic topology and puts forward the suggestion that information topology is a particularly appropriate formalism to achieve such an aim. The resulting discrete probabilistic and group theoretic principles and structures governing the theory of consciousness underline its Galoisian nature. The first chapter presents the postulates and results on elementary perception in psychophysics and neuro- science at various organizational scales of the nervous system and proposes the hypothesis of an electrody- namic intrinsic nature of consciousness which is sustained by an analogical code. It underlines the diversity of the learning mechanisms that sustain the dynamics of perception and consciousness, including adaptive and homeostatic processes on multiple scales, and details their current generic expression within probability and information theory. The second chapter investigates the logical aspects of cognition and consciousness and proposes an axioma- tization based on measure and probability theory. Topos and constructive logic are presented as providing an intrinsic non-deterministic-probabilistic logic, with the long-term aim of avoiding the paradoxical decom- position induced by the Axiom of Choice. Using such a basis, we sketch an elementary procedure allowing an expression of the information of a mathematical formula a la G¨odel. We then present the formalism of information topology and propose that it provides a preliminary basis for synthesizing the main models of cognition and consciousness within a formal Gestalt theory. Information topology establishes a characteriza- tion of information theory functions, allowing for a precise expression of information structures and patterns. It provides a quantification of the structure of statistical interactions and their expression in terms of sta- tistical physics and machine learning. Notably, those topological methods allow conciliation of some of the main theories of consciousness, namely integrated information theory, the global neuronal workspace model, the free energy principle and logical dynamics. The topological approach points out that consciousness is a structural phenomenon arising from collective interactions. Underlining the central role of invariance to transformation in neuroscience and perception, we further propose a possible correspondence of information topology with dynamical system theory and the related quantification of arousal states. Contents arXiv:1807.04520v2 [q-bio.NC] 16 Jul 2018 1 Introduction 2 2 Neurobiology and psychophysics, electrophysiology of elementary perception 3 2.1 "Unity and Diversity" [1] . 3 2.2 The neuronal postulate - neural assemblies - neural coding - shapes of memory and qualia . 3 2.2.1 The neuronal/biological postulate - physical reductionism . 3 2.2.2 Consciousness: the electromagnetic view - "Where is my mind?" . 4 2.2.3 Neural coding - neural assemblies - synchrony - noise . 8 2.2.4 Psychophysics - Fechner and Gestalt's heritage . 12 2.3 Active consciousness - plasticity, adaptation homeostasis - Dynamic and persistence of qualia . 15 2.3.1 Action-perception inseparability . 15 2.3.2 Plasticity - (machine) learning - Informational and Statistical physic of consciousness dynamic 15 2.3.3 Homeostatic plasticity - consciousness invariance . 18 3 Mathematic, cognition and consciousness 20 1 3.1 Mathematical nature of consciousness . 20 3.1.1 Empirical proof of the mathematical nature of consciousness: subjective axioms . 20 3.1.2 Mathematic, a model of cognition . 21 3.2 Constructive logic, information topos and e-motivs . 22 3.2.1 Measure Theory: a mathematical theory of subjective and objective experience-observation 22 3.2.2 Probability, the logic of thoughts, the geometry of beliefs . 24 3.2.3 Topos: the consistent diversity of truths and beliefs . 26 3.2.4 Information functions and set theory . 29 3.2.5 The information of a formula/thought . 31 3.3 Homology, the shapes and the language of perception . 34 3.3.1 Homological history and cognition . 34 3.3.2 Groups and action: ambiguity and uncertainty according to Galois . 35 3.3.3 What is topology? . 37 3.3.4 Information topology synthesis: consciousness's complexes and thermodynamic . 40 3.4 Dynamics, Geometries, action invariance and Homeostasis of consciousness . 46 3.4.1 The invariances to group actions of perception . 46 3.4.2 Geometrical and Topological invariance, isomorphism . 48 3.4.3 Dynamical aspects of information, isomorphism, stability, and homeostasis . 48 3.5 Computational mind - from Cybernetic and AI to biological beliefs . 50 3.5.1 Computation, machines and consciousness . 51 3.5.2 Computational hardness of consciousness . 51 4 Conclusion - the global ecological synthesis 52 A The topology of psychophysic according to Poincar´e 53 B The objective poetry 54 1 Introduction A theory of consciousness concerns anyone and should be a theory of anyone: a theory of everybody and every- body's theory. It should be consensual and hence should acknowledge and account for the diversity of all beings (bodies). It should account for and respect the consciousness of anybody, and encompass without contradiction all the hardly countable investigations that have treated consciousness in its different forms and aspects: bio- logical, physical, psychological, mathematical, computational, etc. Consciousness and qualitative perception is also one of the main topics of theology and art; hence, a theory of consciousness should also be theological and artistic, at least minimally, such that it does not contradict the diversity of theologies and art that human minds have formalized and which are some of the central forms of human consciousness and cognition. To avoid the usual dualist oppositions, it is necessary to precise that seen from the world of probability explored here, atheism is also a system or a form of human belief, which also enriches the complex landscape of diverse consciousness and thoughts. As a consequence, the road towards such a theory appears difficult, and, while we do not achieve it here, we instead propose some ideas towards what the aims of a theory of consciousness that respects and harmoniously verifies its own axioms (which we consider firstly and in a literal sense to be unity and diversity, as proposed by Tononi and Edelman [1]), would be. In the mathematical section of the paper following [2], we present the formalization of the probability theory within topos theory and constructive logic, a logic with multi-valuations in which the excluded third is not a theorem (independent). Such constructive logic could un- derline the idea that those beliefs classically considered as complementary opposite statements - dualism - may indeed refer to a diversity of beliefs - pluralism. It provides a preliminary soft non-deterministic rationality that further provides a legitimate rational status to free will. This should not be understood as a novel, personal or established theory of consciousness, and all the more a closed and definitive framework. Information topology is simply a name proposed because two existing, partially established theories, information theory and a central branch of algebraic topology appear indistinguishable, and should ultimately be, just one. Such unification is currently only partially understood. As emphasized in the ecological mind conclusion, we simply present, recycle and combine, in a consistent fashion, well-established results (which is a cognitive task of associative memory), such that the resulting theory is the least partial possible. In short, there is no claim of originality or novelty, just as in the case of consciousness itself: "Novelty is as old as the world" (Prevert); hence this paper's status as a review and perspective. An important part of the ideas presented here are inherited from Bennequin and are the result of a long-lasting collaboration. Notably, the formalization of visual processing as regards invariance is developed at length in [3]. In the world of ideas, nothing is lost, nothing is created, everything transforms. We will focus on an old intuitionist idea of a mathematical and physical nature of our subjective being, and even of our most elementary perceptions. 2 The main ideas of the review (without analytical requirements) are expressed quite synthetically in the following citations of Riemann and Poincar´ethat introduce both consciousness and a topological view on it: "When we think a given thought, then the meaning of this thought is expressed in the shape of the corresponding neurophys- iological process." Riemann [4] "Now what is science? ...it is before all a classification, a manner of bringing together facts which appear separate, though they are bound together by some natural and hidden kinship. Sci- ence, in other words, is a system of relations. ...it is in relations alone that objectivity must be sought. ...it is relations alone which can
Recommended publications
  • VENN DIAGRAM Is a Graphic Organizer That Compares and Contrasts Two (Or More) Ideas
    InformationVenn Technology Diagram Solutions ABOUT THE STRATEGY A VENN DIAGRAM is a graphic organizer that compares and contrasts two (or more) ideas. Overlapping circles represent how ideas are similar (the inner circle) and different (the outer circles). It is used after reading a text(s) where two (or more) ideas are being compared and contrasted. This strategy helps students identify Wisconsin similarities and differences between ideas. State Standards Reading:INTERNET SECURITYLiterature IMPLEMENTATION OF THE STRATEGY •Sit Integration amet, consec tetuer of Establish the purpose of the Venn Diagram. adipiscingKnowledge elit, sed diam and Discuss two (or more) ideas / texts, brainstorming characteristics of each of the nonummy nibh euismod tincidunt Ideas ideas / texts. ut laoreet dolore magna aliquam. Provide students with a Venn diagram and model how to use it, using two (or more) ideas / class texts and a think aloud to illustrate your thinking; scaffold as NETWORKGrade PROTECTION Level needed. Ut wisi enim adK- minim5 veniam, After students have examined two (or more) ideas or read two (or more) texts, quis nostrud exerci tation have them complete the Venn diagram. Ask students leading questions for each ullamcorper.Et iusto odio idea: What two (or more) ideas are we comparing and contrasting? How are the dignissimPurpose qui blandit ideas similar? How are the ideas different? Usepraeseptatum with studentszzril delenit Have students synthesize their analysis of the two (or more) ideas / texts, toaugue support duis dolore te feugait summarizing the differences and similarities. comprehension:nulla adipiscing elit, sed diam identifynonummy nibh. similarities MEASURING PROGRESS and differences Teacher observation betweenPERSONAL ideas FIREWALLS Conferring Tincidunt ut laoreet dolore Student journaling magnaWhen aliquam toerat volutUse pat.
    [Show full text]
  • The Probability Set-Up.Pdf
    CHAPTER 2 The probability set-up 2.1. Basic theory of probability We will have a sample space, denoted by S (sometimes Ω) that consists of all possible outcomes. For example, if we roll two dice, the sample space would be all possible pairs made up of the numbers one through six. An event is a subset of S. Another example is to toss a coin 2 times, and let S = fHH;HT;TH;TT g; or to let S be the possible orders in which 5 horses nish in a horse race; or S the possible prices of some stock at closing time today; or S = [0; 1); the age at which someone dies; or S the points in a circle, the possible places a dart can hit. We should also keep in mind that the same setting can be described using dierent sample set. For example, in two solutions in Example 1.30 we used two dierent sample sets. 2.1.1. Sets. We start by describing elementary operations on sets. By a set we mean a collection of distinct objects called elements of the set, and we consider a set as an object in its own right. Set operations Suppose S is a set. We say that A ⊂ S, that is, A is a subset of S if every element in A is contained in S; A [ B is the union of sets A ⊂ S and B ⊂ S and denotes the points of S that are in A or B or both; A \ B is the intersection of sets A ⊂ S and B ⊂ S and is the set of points that are in both A and B; ; denotes the empty set; Ac is the complement of A, that is, the points in S that are not in A.
    [Show full text]
  • Basic Structures: Sets, Functions, Sequences, and Sums 2-2
    CHAPTER Basic Structures: Sets, Functions, 2 Sequences, and Sums 2.1 Sets uch of discrete mathematics is devoted to the study of discrete structures, used to represent discrete objects. Many important discrete structures are built using sets, which 2.2 Set Operations M are collections of objects. Among the discrete structures built from sets are combinations, 2.3 Functions unordered collections of objects used extensively in counting; relations, sets of ordered pairs that represent relationships between objects; graphs, sets of vertices and edges that connect 2.4 Sequences and vertices; and finite state machines, used to model computing machines. These are some of the Summations topics we will study in later chapters. The concept of a function is extremely important in discrete mathematics. A function assigns to each element of a set exactly one element of a set. Functions play important roles throughout discrete mathematics. They are used to represent the computational complexity of algorithms, to study the size of sets, to count objects, and in a myriad of other ways. Useful structures such as sequences and strings are special types of functions. In this chapter, we will introduce the notion of a sequence, which represents ordered lists of elements. We will introduce some important types of sequences, and we will address the problem of identifying a pattern for the terms of a sequence from its first few terms. Using the notion of a sequence, we will define what it means for a set to be countable, namely, that we can list all the elements of the set in a sequence.
    [Show full text]
  • A Diagrammatic Inference System with Euler Circles ∗
    A Diagrammatic Inference System with Euler Circles ∗ Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura Department of Philosophy, Keio University, Japan. fminesima,mitsu,[email protected] Abstract Proof-theory has traditionally been developed based on linguistic (symbolic) represen- tations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were intro- duced in the 18th century by Euler [1768]. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in the standard approach, but in terms of topo- logical relations between diagrammatic objects. We formalize the unification rule, which plays a central role in Euler diagrammatic reasoning, in a style of natural deduction. We prove the soundness and completeness theorems with respect to a formal set-theoretical semantics. We also investigate structure of diagrammatic proofs and prove a normal form theorem. 1 Introduction Euler diagrams were introduced by Euler [3] to illustrate syllogistic reasoning. In Euler dia- grams, logical relations among the terms of a syllogism are simply represented by topological relations among circles. For example, the universal categorical statements of the forms All A are B and No A are B are represented by the inclusion and the exclusion relations between circles, respectively, as seen in Fig. 1. Given two Euler diagrams which represent the premises of a syllogism, the syllogistic inference can be naturally replaced by the task of manipulating the diagrams, in particular of unifying the diagrams and extracting information from them.
    [Show full text]
  • Measure Theory and Probability Theory
    Measure Theory and Probability Theory Stéphane Dupraz In this chapter, we aim at building a theory of probabilities that extends to any set the theory of probability we have for finite sets (with which you are assumed to be familiar). For a finite set with N elements Ω = {ω1, ..., ωN }, a probability P takes any n positive numbers p1, ..., pN that sum to one, and attributes to any subset S of Ω the number (S) = P p . Extending this definition to infinitely countable sets such as P i/ωi∈S i N poses no difficulty: we can in the same way assign a positive number to each integer n ∈ N and require that P∞ 1 P n=1 pn = 1. We can then define the probability of a subset S ⊆ N as P(S) = n∈S pn. Things get more complicated when we move to uncountable sets such as the real line R. To be sure, it is possible to assign a positive number to each real number. But how to get from these positive numbers to the probability of any subset of R?2 To get a definition of a probability that applies without a hitch to uncountable sets, we give in the strategy we used for finite and countable sets and start from scratch. The definition of a probability we are going to use was borrowed from measure theory by Kolmogorov in 1933, which explains the title of this chapter. What do probabilities have to do with measurement? Simple: assigning a probability to an event is measuring the likeliness of this event.
    [Show full text]
  • Results Real Analysis I and II, MATH 5453-5463, 2006-2007
    Main results Real Analysis I and II, MATH 5453-5463, 2006-2007 Section Homework Introduction. 1.3 Operations with sets. DeMorgan Laws. 1.4 Proposition 1. Existence of the smallest algebra containing C. 2.5 Open and closed sets. 2.6 Continuous functions. Proposition 18. Hw #1. p.16 #9, 11, 17, 18; p.19 #19. 2.7 Borel sets. p.49 #40, 42, 43; p.53 #53*. 3.2 Outer measure. Proposition 1. Outer measure of an interval. Proposition 2. Subadditivity of the outer measure. Proposition 5. Approximation by open sets. 3.3 Measurable sets. Lemma 6. Measurability of sets of outer measure zero. Lemma 7. Measurability of the union. Hw #2. p.55 #1-4; p.58 # 7, 8. Theorem 10. Measurable sets form a sigma-algebra. Lemma 11. Interval is measurable. Theorem 12. Borel sets are measurable. Proposition 13. Sigma additivity of the measure. Proposition 14. Continuity of the measure. Proposition 15. Approximation by open and closed sets. Hw #3. p.64 #9-11, 13, 14. 3.4 A nonmeasurable set. 3.5 Measurable functions. Proposition 18. Equivalent definitions of measurability. Proposition 19. Sums and products of measurable functions. Theorem 20. Infima and suprema of measurable functions. Hw #4. p.70 #18-22. 3.6 Littlewood's three principles. Egoroff's theorem. Lusin's theorem. 4.2 Prop.2. Lebesgue's integral of a simple function and its props. Lebesgue's integral of a bounded measurable function. Proposition 3. Criterion of integrability. Proposition 5. Properties of integrals of bounded functions. Proposition 6. Bounded convergence theorem. 4.3 Lebesgue integral of a nonnegative function and its properties.
    [Show full text]
  • A Conceptual Framework for Investigating Organizational Control and Resistance in Crowd-Based Platforms
    Proceedings of the 50th Hawaii International Conference on System Sciences | 2017 A Conceptual Framework for Investigating Organizational Control and Resistance in Crowd-Based Platforms David A. Askay California Polytechnic State University [email protected] Abstract Crowd-based platforms coordinate action through This paper presents a research agenda for crowd decomposing tasks and encouraging individuals to behavior research by drawing from the participate by providing intrinsic (e.g., fun, organizational control literature. It addresses the enjoyment) and/or extrinsic (e.g., status, money, need for research into the organizational and social social interaction, etc.) motivators [3]. Three recent structures that guide user behavior and contributions Information Systems (IS) reviews of crowdsourcing in crowd-based platforms. Crowd behavior is research [6, 4, 7] emphasize the importance of situated within a conceptual framework of designing effective incentive systems. However, organizational control. This framework helps research on motivation is somewhat disparate, with scholars more fully articulate the full range of various categorizations and often inconsistent control mechanisms operating in crowd-based findings as to which incentives are the most effective platforms, contextualizes these mechanisms into the [4]. Moreover, this approach can be limited by its context of crowd-based platforms, challenges existing often deterministic and rational assumptions of user rational assumptions about incentive systems, and behavior and motivation, which overlooks normative clarifies theoretical constructs of organizational and social aspects of human behavior [8]. To more control to foster stronger integration between fully understand the dynamics of crowd behavior and information systems research and organizational and governance of crowd-based projects, IS researchers management science.
    [Show full text]
  • The Holy Spirit and the Physical Uníverse: the Impact of Scjentific Paradigm Shifts on Contemporary Pneumatology
    Theological Studies 70 (2009) . THE HOLY SPIRIT AND THE PHYSICAL UNÍVERSE: THE IMPACT OF SCJENTIFIC PARADIGM SHIFTS ON CONTEMPORARY PNEUMATOLOGY WOLFGANG VONDEY A methodological shift occurred in the sciences in the 20th century that has irreversible repercussions for a contemporary theology of the Holy Spirit. Newton and Einstein followed fundamentally different trajectories that provide radically dissimilar frame- works for the pneumatological endeavor. Pneumatology after Einstein is located in a different cosmological framework constituted by the notions of order, rationality, relationality, symmetry, and movement. These notions provide the immediate challenges to a contemporary understanding of the Spirit in the physical universe. HPHE PARADIGM SHIFT IN SCIENCE from Ptolemaic to Copernican cosmo- Â logy is clearly reflected in post-Enlightenment theology. The wide- ranging implications of placing the sun instead of the earth at the center of the universe marked the beginnings of both the scientific and religious revolutions of the 16th century. A century later, Isaac Newton provided for the first time a comprehensive system of physical causality that heralded space and time as the absolute constituents of experiential reality from the perspective of both natural philosophy and theology.^ Despite the echoes WOLFGANG VONDEY received his Ph.D. in systematic theology and ethics at Marquette University and is currently associate professor of systematic theology in the School of Divinity, Regent University, Virginia. A prolific writer on Pneu- matology, ecclesiology, and the dialogue of science and theology, he has most recently published: People of Bread: Rediscovering Ecclesiology (2008); "Pentecos- tal Perspectives on The Nature and Mission of the Church" in "The Nature and Mission of the Church": Ecclesial Reality and Ecumenical Horizons for the Twenty- First Century, ed.
    [Show full text]
  • Elements of Set Theory
    Elements of set theory April 1, 2014 ii Contents 1 Zermelo{Fraenkel axiomatization 1 1.1 Historical context . 1 1.2 The language of the theory . 3 1.3 The most basic axioms . 4 1.4 Axiom of Infinity . 4 1.5 Axiom schema of Comprehension . 5 1.6 Functions . 6 1.7 Axiom of Choice . 7 1.8 Axiom schema of Replacement . 9 1.9 Axiom of Regularity . 9 2 Basic notions 11 2.1 Transitive sets . 11 2.2 Von Neumann's natural numbers . 11 2.3 Finite and infinite sets . 15 2.4 Cardinality . 17 2.5 Countable and uncountable sets . 19 3 Ordinals 21 3.1 Basic definitions . 21 3.2 Transfinite induction and recursion . 25 3.3 Applications with choice . 26 3.4 Applications without choice . 29 3.5 Cardinal numbers . 31 4 Descriptive set theory 35 4.1 Rational and real numbers . 35 4.2 Topological spaces . 37 4.3 Polish spaces . 39 4.4 Borel sets . 43 4.5 Analytic sets . 46 4.6 Lebesgue's mistake . 48 iii iv CONTENTS 5 Formal logic 51 5.1 Propositional logic . 51 5.1.1 Propositional logic: syntax . 51 5.1.2 Propositional logic: semantics . 52 5.1.3 Propositional logic: completeness . 53 5.2 First order logic . 56 5.2.1 First order logic: syntax . 56 5.2.2 First order logic: semantics . 59 5.2.3 Completeness theorem . 60 6 Model theory 67 6.1 Basic notions . 67 6.2 Ultraproducts and nonstandard analysis . 68 6.3 Quantifier elimination and the real closed fields .
    [Show full text]
  • The Relative Use of Formal and Informal Information in The
    THE RELATIVE USE OF FORMAL AND INFORMAL INFORMATION IN THE EVALUATION OF INDIVIDUAL PERFORMANCE by GENE H. JOHNSON, B.B.A., M.S. in Acct. A DISSERTATION IN BUSINESS ADMINISTRATION Submitted to the Graduate Faculty of Texas Tech University in Partial Fulfillment of the Requirements for the Degree of DOCTOR OF PHILOSOPHY December, 1986 • //^,;¥ (c) 1986 Gene H. Johnson ACKNOWLEDGMENTS Funding for this research project was provided by the National Association of Accountants, and was especially beneficial in that it allowed the author to complete the project in a timely manner. Subjects for the project were provided by the research entity which must, for the sake of anonymity, remain unnamed. Nonetheless, their partici­ pation is greatly appreciated. Early conceptual development of the project was facilitated by a number of individuals, including the doctoral students and Professors Don Clancy and Frank Collins of Texas Tech University. Also helpful were the experiences of Louis Johnson, John Johnson, Sam Nichols, Darrell Adams, and Del Shumate. The members of the committee provided valuable guidance and support throughout the project; and although not a member of the committee. Professor Roy Howell provided valuable assistance with data analysis. Finally, Professor Donald K. Clancy served not only as committee chairman but also as a role model/mentor for the author. His participation made the project interesting, educational, and enjoyable. 11 CONTENTS ACKNOWLEDGMENTS ii ABSTRACT vi LIST OF TABLES viii LIST OF FIGURES ix I. INTRODUCTION AND BACKGROUND 1 Formal and Informal Information 2 Performance Evaluation 4 Purpose, Objectives, and Significance . 6 Organization 7 II. PREVIOUS STUDIES OF INFORMATION FOR PERFORMANCE EVALUATION 8 Goals and Goal-Directed Behavior 9 Early Studies on Performance Measures .
    [Show full text]
  • E.W. Dijkstra Archive: on the Cruelty of Really Teaching Computing Science
    On the cruelty of really teaching computing science Edsger W. Dijkstra. (EWD1036) http://www.cs.utexas.edu/users/EWD/ewd10xx/EWD1036.PDF The second part of this talk pursues some of the scientific and educational consequences of the assumption that computers represent a radical novelty. In order to give this assumption clear contents, we have to be much more precise as to what we mean in this context by the adjective "radical". We shall do so in the first part of this talk, in which we shall furthermore supply evidence in support of our assumption. The usual way in which we plan today for tomorrow is in yesterday’s vocabulary. We do so, because we try to get away with the concepts we are familiar with and that have acquired their meanings in our past experience. Of course, the words and the concepts don’t quite fit because our future differs from our past, but then we stretch them a little bit. Linguists are quite familiar with the phenomenon that the meanings of words evolve over time, but also know that this is a slow and gradual process. It is the most common way of trying to cope with novelty: by means of metaphors and analogies we try to link the new to the old, the novel to the familiar. Under sufficiently slow and gradual change, it works reasonably well; in the case of a sharp discontinuity, however, the method breaks down: though we may glorify it with the name "common sense", our past experience is no longer relevant, the analogies become too shallow, and the metaphors become more misleading than illuminating.
    [Show full text]
  • Abelian Group, 521, 526 Absolute Value, 190 Accumulation, Point Of
    Index Abelian group, 521, 526 A-set. SeeAnalytic set Absolutevalue, 190 Asymptoticallyequal. 479 Accumulation, point of, 196 Atlas , 231; of holomorphically related Adjoint differentialform, 157, 167 charts, 245 Adjoint operator, 403 Atomic theory, 415 Adjoint space, 397 Automorphism group, 510, 511 Algebra, 524; Boolean, 91, 92; Axiomatic method, in geometry, 507-508 fundamentaltheorem of, 195-196; homo logical, 519-520; normed, 516 BAIREclasses, 460; first, 460, 462, 463; Almost all, 479 of functions, 448 Almost continuous, 460 BAIREcondition, 464 Almost equal, 479 BAIREfunction, 464, 473; non-, 474 Almost everywhere, 70 BAIREspace, 464 Almost linear equation, 321, 323 BAIREsystem, of functions, 459, 460 Alternating differentialform, 185; BAIREtheorem, 448, 460, 462 differentialoperations for, 159-165; BANACH, S., 516 theory of, vi, 143 BANACHfixed point theorem, 423 Alternative theorem, 296, 413 BANACHspace, 338, 340, 393, 399, 432, Analysis, v, 1; axiomaticmethod in, 435,437, 516; adjoint, 400; 512-518; complex, vi ; functional, conjugate, 400; dual, 400; theory of, vi 391; harmonic, 518; and number BANACHtheorem, 446, 447 theory, 500-501 Band spectra, 418 Analytic function, definedby function BAYES theorem, 109 element, 242 BELTRAMIdifferential equation, 325 Analytic numbertheory, 480 BERNOULLI, DANIEL, 23 Analytic operation, 468 BERNOULLI, JACOB, 89, 360 Analytic set, 448, 458, 465, 468, 469; BERNOULLI, JOHANN, 23 linear, 466 BERNOULLIdistribution, 96 Angle-preservingtransformation, 194 BERNOULLIlaw, of large numbers, 116 a-points,
    [Show full text]