On Discretness III: Mathematics

"The object of pure mathematics is those relations which may be conceptually established among any conceived elements whatsoever by assuming them contained in some ordered manifold; the law of order of this manifold must be subject to our choice; the latter is the case in both of the only conceivable kinds of manifolds, in the discrete as well as in the continuous." (Erwin Papperitz, "Über das System der rein mathematischen Wissenschaften", 1910)

"The bridging of the chasm between the domains of the discrete and the continuous, or between arithmetic and geometry, is one of the most important - nay, the most important - problem of the foundations of mathematics. [...] Of course, the character of reasoning has changed, but, as always, the difficulties are due to the chasm between the discrete and the continuous - that permanent stumbling block which also plays an extremely important role in mathematics, philosophy, and even physics." (Abraham Fraenkel, "Foundations of Set Theory", 1953)

"As the sensations of motion and discreteness led to the abstract notions of the calculus, so may sensory experience continue thus to suggest problem for the mathematician, and so may she in turn be free to reduce these to the basic formal logical relationships involved. Thus only may be fully appreciated the twofold aspect of mathematics: as the language of a descriptive interpretation of the relationships discovered in natural phenomena, and as a syllogistic elaboration of arbitrary premise." (Carl B Boyer, "The History of the Calculus and Its Conceptual Development", 1959)

"Increasingly [...] the application of mathematics to the real world involves discrete mathematics [...] the nature of the discrete is often most clearly revealed through the continuous models of both calculus and probability. Without continuous mathematics, the study of discrete mathematics soon becomes trivial and very limited. [...] The two topics, discrete and continuous mathematics, are both ill served by being rigidly separated." (Richard W Hamming, "Methods of Mathematics Applied to Calculus, Probability, and Statistics", 1985)

"Although discrete mathematics and statistics provide necessary foundations for computer engineering and social sciences, calculus remains the archetype of higher mathematics. It is a powerful and elegant example of the mathematical method, leading both to major applications and to major theories. The language of calculus has spread to all scientific fields; the insight it conveys about the nature of change is something that no educated person can afford to be without." (Mathematical Sciences Education Board, "Everybody Counts: A Report to the Nation on the Future of Mathematics Education", 1989)

"The word 'discrete' means separate or distinct. Mathematicians view it as the opposite of 'continuous'. Whereas, in calculus, it is continuous functions of a real variable that are important, such functions are of relatively little interest in discrete mathematics. Instead of the real numbers, it is the natural numbers 1, 2, 3, ... that play a fundamental role, and it is functions with domain the natural numbers that are often studied." (Edgar G Goodaire & Michael M Parmenter, "Discrete Mathematics with Graph Theory" 2nd Ed., 2002)

"Discrete mathematics is the part of mathematics devoted to the study of discrete objects. (Here discrete means consisting of distinct or unconnected elements.) [...] More generally, discrete mathematics is used whenever objects are counted, when relationships between finite (or countable) sets are studied, and when processes involving a finite number of steps are analyzed. A key reason for the growth in the importance of discrete mathematics is that information is stored and manipulated by computing machines in a discrete fashion." (Kenneth H. Rosen, "Discrete Mathematics and Its Applications" 5th Ed., 2003)

"Discrete math is about things you can count, rather than things you can measure." (Daniel Ashlock, "Fast Start Advanced Calculus", 2022)

On Discreteness II: Physics

"Definite portions of a manifoldness, distinguished by a mark or by a boundary, are called Quanta. Their comparison with regard to quantity is accomplished in the case of discrete magnitudes by counting, in the case of continuous magnitudes by measuring. Measure consists in the superposition of the magnitudes to be compared; it therefore requires a means of using one magnitude as the standard for another. In the absence of this, two magnitudes can only be compared when one is a part of the other; in which case also we can only determine the more or less and not the how much. The researches which can in this case be instituted about them form a general division of the science of magnitude in which magnitudes are regarded not as existing independently of position and not as expressible in terms of a unit, but as regions in a manifoldness. (Bernhard Riemann, "On the Hypotheses which lie at the Bases of Geometry", 1873)

"The Infinite is often confounded with the Indefinite, but the two conceptions are diametrically opposed. Instead of being a quantity with unassigned yet assignable limits, the Infinite is not a quantity at all, since it neither admits of augmentation nor diminution, having no assignable limits; it is the operation of continuously withdrawing any limits that may have been assigned: the endless addition of new quantities to the old: the flux of continuity. The Infinite is no more a quantity than Zero is a quantity. If Zero is the sign of a vanished quantity, the Infinite is a sign of that continuity of Existence which has been ideally divided into discrete parts in the affixing of limits." (George H. Lewes, "Problems of Life and Mind", 1873)

"Magnitude-notions are only possible where there is an antecedent general notion which admits of different specialisations. According as there exists among these specialisations a continuous path from one to another or not, they form a continuous or discrete manifoldness; the individual specialisations are called in the first case points, in the second case elements, of the manifoldness." (Bernhard Riemann, "On the Hypotheses which lie at the Bases of Geometry", 1873)

"The great revelation of the quantum theory was that features of discreteness were discovered in the Book of Nature, in a context in which anything other than continuity seemed to be absurd according to the views held until then." (Erwin Schrödinger, "What is Life?", 1944)

"The discrete change has only to become small enough in its jump to approximate as closely as is desired to the continuous change. It must further be remembered that in natural phenomena the observations are almost invariably made at discrete intervals; the 'continuity' ascribed to natural events has often been put there by the observer's imagination, not by actual observation at each of an infinite number of points. Thus the real truth is that the natural system is observed at discrete points, and our transformation represents it at discrete points. There can, therefore, be no real incompatibility." (W Ross Ashby, "An Introduction to Cybernetics", 1956)

"Whereas the continuous symmetries always lead to conservation laws in classical mechanics, a discrete symmetry does not. With the introduction of quantum mechanics, however, this difference between the discrete and continuous symmetries disappears. The law of right-left symmetry then leads also to a conservation law: the conservation of parity." (Chen-Ning Yang, "The Law of Parity Conservation and Other Symmetry Laws of Physics", [Nobel lecture] 1957)

"We must recognize here that continuity and discontinuity may not always be clearly distinguishable. Ultimately what may matter is the precision of the perspective applied to the question at hand. Thus, if quantum mechanics is true, then reality is fundamentally discrete at a microscopic level. Nevertheless it may be useful to view it as continuous when the analysis is less precise, much as we perceive a movie to be continuous even though it actually consists of a sequence of discrete and discontinuous still photographs. Our mind draws an in-visible line between the stills creating the illusion of continuity."  (J Barkley Rosser Jr., "From Catastrophe to Chaos: A General Theory of Economic Discontinuities", 1991)

"Finite Nature is a hypothesis that ultimately every quantity of physics, including space and time, will turn out to be discrete and finite; that the amount of information in any small volume of space-time will be finite and equal to one of a small number of possibilities. [...] We take the position that Finite Nature implies that the basic substrate of physics operates in a manner similar to the workings of certain specialized computers called cellular automata." (Edward Fredkin, "A New Cosmogony", PhysComp ’92: Proceedings of the Workshop on Physics and Computation, 1993)

"Conventional wisdom, fooled by our misleading 'physical intuition', is that the real world is continuous, and that discrete models are necessary evils for approximating the 'real' world, due to the innate discreteness of the digital computer." (Doron Zeilberger, "'Real' Analysis is a Degenerate Case of Discrete Analysis", 2001)

"Spacetime […] turns out to be discrete, described by a structure called spin foam." (Lee Smolin, “The New Humanists: Science at the Edge”, 2003)

"Art imitates nature through the incorporation of discrete symmetries, and indeed, reflection symmetry can be found throughout nature." (Leon M Lederman & Christopher T Hill, "Symmetry and the Beautiful Universe", 2004)

"[…] according to the new conception, the physically described world is built not out of bits of matter, as matter was understood in the nineteenth century, but out of objective tendencies - potentialities - for certain discrete, whole actual events to occur. Each such event has both a psychologically described aspect, which is essentially an increment in knowledge, and also a physically described aspect, which is an action that abruptly changes the mathematically described set of potentialities to one that is concordant with the increase in knowledge. This coordination of the aspects of the theory that are described in physical/mathematical terms with aspects that are described in psychological terms is what makes the theory practically useful." (Henry P Stapp, "Mindful Universe: Quantum Mechanics and the Participating Observer", 2007)

"At very small time scales, the motion of a particle is more like a random walk, as it gets jostled about by discrete collisions with water molecules. But virtually any random movement on small time scales will give rise to Brownian motion on large time scales, just so long as the motion is unbiased. This is because of the Central Limit Theorem, which tells us that the aggregate of many small, independent motions will be normally distributed." (Field Cady, "The Data Science Handbook", 2017)

"Continuity is only a mathematical technique for approximating very finely grained things. The world is subtly discrete, not continuous." (Carlo Rovelli, "The Order of Time", 2018)

On Discreteness I: Systems

"Cellular automata are discrete dynamical systems with simple construction but complex self-organizing behaviour. Evidence is presented that all one-dimensional cellular automata fall into four distinct universality classes. Characterizations of the structures generated in these classes are discussed. Three classes exhibit behaviour analogous to limit points, limit cycles and chaotic attractors. The fourth class is probably capable of universal computation, so that properties of its infinite time behaviour are undecidable." (Stephen Wolfram, "Nonlinear Phenomena, Universality and complexity in cellular automata", Physica 10D, 1984)

"Cellular automata are mathematical models for complex natural systems containing large numbers of simple identical components with local interactions. They consist of a lattice of sites, each with a finite set of possible values. The value of the sites evolve synchronously in discrete time steps according to identical rules. The value of a particular site is determined by the previous values of a neighbourhood of sites around it." (Stephen Wolfram, "Nonlinear Phenomena, Universality and complexity in cellular automata", Physica 10D, 1984)

"Cellular automata may be considered as discrete dynamical systems. In almost all cases, cellular automaton evolution is irreversible. Trajectories in the configuration space for cellular automata therefore merge with time, and after many time steps, trajectories starting from almost all initial states become concentrated onto 'attractors'. These attractors typically contain only a very small fraction of possible states. Evolution to attractors from arbitrary initial states allows for 'self-organizing' behaviour, in which structure may evolve at large times from structureless initial states. The nature of the attractors determines the form and extent of such structures." (Stephen Wolfram, "Nonlinear Phenomena, Universality and complexity in cellular automata", Physica 10D, 1984)

"The problem is that, in many cases for many systems, there may simply be no such thing as a truly independent variable. Out here in the real world, the phrase “independent” may often be oxymoronic. The very notion of independence reflects the world of Platonic idealism, a pure world populated by separate discrete things each with its essence, floating suspended in a sea of laws, rules governing the relations between these autonomous entities." (Jon Koerner, "Nontrimialtiy of Nonlinear Dynamics in Psychology of Learning", 1989)

"The essential idea of semantic networks is that the graph-theoretic structure of relations and abstractions can be used for inference as well as understanding. […] A semantic network is a discrete structure as is any linguistic description. Representation of the continuous 'outside world' with such a structure is necessarily incomplete, and requires decisions as to which information is kept and which is lost." (Fritz Lehman, "Semantic Networks", Computers & Mathematics with Applications Vol. 23 (2-5), 1992)

"Dynamical systems that vary in discrete steps […] are technically known as mappings. The mathematical tool for handling a mapping is the difference equation. A system of difference equations amounts to a set of formulas that together express the values of all of the variables at the next step in terms of the values at the current step. […] For mappings, the difference equations directly express future states in terms of present ones, and obtaining chronological sequences of points poses no problems. For flows, the differential equations must first be solved. General solutions of equations whose particular solutions are chaotic cannot ordinarily be found, and approximations to the latter are usually determined by numerical methods." (Edward N Lorenz, "The Essence of Chaos", 1993)

"At the other far extreme, we find many systems ordered as a patchwork of parallel operations, very much as in the neural network of a brain or in a colony of ants. Action in these systems proceeds in a messy cascade of interdependent events. Instead of the discrete ticks of cause and effect that run a clock, a thousand clock springs try to simultaneously run a parallel system. Since there is no chain of command, the particular action of any single spring diffuses into the whole, making it easier for the sum of the whole to overwhelm the parts of the whole. What emerges from the collective is not a series of critical individual actions but a multitude of simultaneous actions whose collective pattern is far more important. This is the swarm model." (Kevin Kelly, "Out of Control: The New Biology of Machines, Social Systems and the Economic World", 1995)

"Systems thinking means the ability to see the synergy of the whole rather than just the separate elements of a system and to learn to reinforce or change whole system patterns. Many people have been trained to solve problems by breaking a complex system, such as an organization, into discrete parts and working to make each part perform as well as possible. However, the success of each piece does not add up to the success of the whole. to the success of the whole. In fact, sometimes changing one part to make it better actually makes the whole system function less effectively." (Richard L Daft, "The Leadership Experience", 2002)

"Cellular Automata (CA) are discrete, spatially explicit extended dynamic systems composed of adjacent cells characterized by an internal state whose value belongs to a finite set. The updating of these states is made simultaneously according to a common local transition rule involving only a neighborhood of each cell." (Ramon Alonso-Sanz, "Cellular Automata with Memory", 2009)

"Cellular automata (CA) are idealizations of physical systems in which both space and time are assumed to be discrete and each of the interacting units can have only a finite number of discrete states." (Andreas Schadschneider et al, "Vehicular Traffic II: The Nagel–Schreckenberg Model" , 2011)

"Discrete dynamic systems that evolve in space and time. A cellular automaton is composed of a set of discrete elements - the cells - connected with other cells of the automaton, and in each time unit each cell receives information about the current state of the cells to which it is connected. The cellular automaton evolve according a transition rule that specifies the current possible states of each cell as a function of the preceding state of the cell and the states of the connected cells." (Francesc S. Beltran et al, "A Language Shift Simulation Based on Cellular Automata", 2011)

"The idea of natural computation has grown into a new scientific paradigm and has proved to be a rich source of new insights about nature. Many processes in nature exhibit key characteristics of computation, especially discrete units or steps and repetition according to a fixed set of rules. Although the processes may be highly complex, their regularity makes them highly amenable to simulation [...]." (David G Green & Tania Leishman, "Computing and Complexity: Networks, Nature and Virtual Worlds, Philosophy of Complex Systems, 2011)

"In the context of a zero-sum game, opposing tendencies are formulated in two distinct ways. First, conflicting tendencies are conceptualized as two mutually exclusive, discrete entities. The conflicts are treated as dichotomies that are usually expressed as X or NX. If X is right then NX has to be wrong. This represents an or relationship, a win/lose struggle with a moral obligation to win. The loser, usually declared wrong, is eliminated. Second, opposing tendencies are formulated in such a way that they can be represented by a continuum. Between black and white are a thousand shades of gray." (Jamshid Gharajedaghi, "Systems Thinking: Managing Chaos and Complexity A Platform for Designing Business Architecture" 3rd Ed., 2011)