"To master a concept means to be able to recognize it, that is, to be able to determine whether or not any given situation belongs to the set that characterizes this concept." (Valentin F Turchin, "The Phenomenon of Science: A cybernetic approach to human evolution", 1977)
Quotes and Resources Related to Mathematics, (Mathematical) Sciences and Mathematicians
07 August 2022
On Concepts IX
"To master a concept means to be able to recognize it, that is, to be able to determine whether or not any given situation belongs to the set that characterizes this concept." (Valentin F Turchin, "The Phenomenon of Science: A cybernetic approach to human evolution", 1977)
11 July 2021
Virginia Anderson - Collected Quotes
"A system is a group of interacting, interrelated, or interdependent components that form a complex and unified whole." (Virginia Anderson & Lauren Johnson, "Systems Thinking Basics: From Concepts to Causal Loops", 1997)
"[…] dynamic behavior is produced by a combination of reinforcing and balancing loops. Behind any growth or collapse is at least one reinforcing loop, and for every sign of goal-seeking behavior, there is a balancing loop. A period of rapid growth or collapse followed by a slowdown typically signals a shift in dominance from a reinforcing loop that is driving the structure, to a balancing loop." (Virginia Anderson & Lauren Johnson, "Systems Thinking Basics: From Concepts to Causal Loops", 1997)
"[…] feedback is not necessarily transmitted and returned through the same system component - or even through the same system. It may travel through several intervening components within the system first, or return from an external system, before finally arriving again at the component where it started." (Virginia Anderson & Lauren Johnson, "Systems Thinking Basics: From Concepts to Causal Loops", 1997)
"Feedback is the transmission and return of information. […] A system has feedback within itself. But because all systems are part of larger systems, a system also has feedback between itself and external systems. In some systems, the feedback and adjustment processes happen so quickly that it is relatively easy for an observer to follow. In other systems, it may take a long time before the feedback is returned, so an observer would have trouble identifying the action that prompted the feedback." (Virginia Anderson & Lauren Johnson, "Systems Thinking Basics: From Concepts to Causal Loops", 1997)
"In a complex system, it is not uncommon for subsystems to have goals that compete directly with or diverge from the goals of the overall system. […] Feedback gathered from small, local subsystems for use by larger subsystems may be either inaccurately conveyed or inaccurately interpreted. Yet it is this very flexibility and looseness that allow large, complex systems to endure, although it can be hard to predict what these organizations are likely to do next." (Virginia Anderson & Lauren Johnson, "Systems Thinking Basics: From Concepts to Causal Loops", 1997)
"Left to themselves, systems seek to maintain their stability. […] Systems achieve this stability through the interactions, feedback, and adjustments that continually circulate among the system parts, and between the system and its environment." (Virginia Anderson & Lauren Johnson, "Systems Thinking Basics: From Concepts to Causal Loops", 1997)
"One of the strongest benefits of the systems thinking perspective is that it can help you learn to ask the right questions. This is an important first step toward understanding a problem. […] Much of the value of systems thinking comes from the different framework that it gives us for looking at problems in new ways." (Virginia Anderson & Lauren Johnson, "Systems Thinking Basics: From Concepts to Causal Loops", 1997)
"Reinforcing loops can be seen as the engines of growth and collapse. That is, they compound change in one direction with even more change in that direction. Many reinforcing loops have a quality of accelerating movement in a particular direction, a sense that the more one variable changes, the more another changes." (Virginia Anderson & Lauren Johnson, "Systems Thinking Basics: From Concepts to Causal Loops", 1997)
"Systems thinking is most effective when it’s used to look at a problem in a new way, not to advocate a predetermined solution. Strong advocacy will create resistance - both to your ideas, and to systems thinking itself. Present systems thinking in the spirit of inquiry, not inquisition." (Virginia Anderson & Lauren Johnson, "Systems Thinking Basics: From Concepts to Causal Loops", 1997)
17 June 2021
On Knowledge (1990-1999)
"[By understanding] I mean simply a sufficient grasp of concepts, principles, or skills so that one can bring them to bear on new problems and situations, deciding in which ways one’s present competencies can suffice and in which ways one may require new skills or knowledge." (Howard Gardner, "The Unschooled Mind", 1991)
"The worst, i.e., most dangerous, feature of 'accepting the null hypothesis' is the giving up of explicit uncertainty. [...] Mathematics can sometimes be put in such black-and-white terms, but our knowledge or belief about the external world never can." (John Tukey, "The Philosophy of Multiple Comparisons", Statistical Science Vol. 6 (1), 1991)
"We live on an island surrounded by a sea of ignorance. As our island of knowledge grows, so does the shore of our ignorance." (John A Wheeler, Scientific American Vol. 267, 1992)
On Knowledge (1980-1989)
"Knowledge specialists may ascribe a degree of certainty to their models of the world that baffles and offends managers. Often the complexity of the world cannot be reduced to mathematical abstractions that make sense to a manager. Managers who expect complete, one-to-one correspondence between the real world and each element in a model are disappointed and skeptical." (Dale E Zand, "Information, Organization, and Power", 1981)
"The thinking person goes over the same ground many times. He looks at it from varying points of view - his own, his arch-enemy’s, others’. He diagrams it, verbalizes it, formulates equations, constructs visual images of the whole problem, or of troublesome parts, or of what is clearly known. But he does not keep a detailed record of all this mental work, indeed could not. […] Deep understanding of a domain of knowledge requires knowing it in various ways. This multiplicity of perspectives grows slowly through hard work and sets the state for the re-cognition we experience as a new insight." (Howard E Gruber, "Darwin on Man", 1981)
"Definitions are temporary verbalizations of concepts, and concepts - particularly difficult concepts - are usually revised repeatedly as our knowledge and understanding grows." (Ernst Mayr, "The Growth of Biological Thought", 1982)
"We are drowning in information but starved for knowledge." (John Naisbitt, "Megatrends: Ten New Directions Transforming Our Lives", 1982)
"We define a semantic network as 'the collection of all the relationships that concepts have to other concepts, to percepts, to procedures, and to motor mechanisms' of the knowledge." (John F Sowa, "Conceptual Structures", 1984)
15 June 2021
On Real Numbers II
"To describe how quantum theory shapes time and space, it is helpful to introduce the idea of imaginary time. Imaginary time sounds like something from science fiction, but it is a well-defined mathematical concept: time measured in what are called imaginary numbers. […] Imaginary numbers can then be represented as corresponding to positions on a vertical line: zero is again in the middle, positive imaginary numbers plotted upward, and negative imaginary numbers plotted downward. Thus imaginary numbers can be thought of as a new kind of number at right angles to ordinary real numbers. Because they are a mathematical construct, they don't need a physical realization […]" (Stephen W Hawking, "The Universe in a Nutshell", 2001)
"A sudden change in the evolutive dynamics of a system (a ‘surprise’) can emerge, apparently violating a symmetrical law that was formulated by making a reduction on some (or many) finite sequences of numerical data. This is the crucial point. As we have said on a number of occasions, complexity emerges as a breakdown of symmetry (a system that, by evolving with continuity, suddenly passes from one attractor to another) in laws which, expressed in mathematical form, are symmetrical. Nonetheless, this breakdown happens. It is the surprise, the paradox, a sort of butterfly effect that can highlight small differences between numbers that are very close to one another in the continuum of real numbers; differences that may evade the experimental interpretation of data, but that may increasingly amplify in the system’s dynamics." (Cristoforo S Bertuglia & Franco Vaio, "Nonlinearity, Chaos, and Complexity: The Dynamics of Natural and Social Systems", 2003)
"When real numbers are used as coordinates, the number of coordinates is the dimension of the geometry. This is why we call the plane two-dimensional and space three-dimensional. However, one can also expect complex numbers to be useful, knowing their geometric properties." (John Stillwell,"Yearning for the impossible: the surpnsing truths of mathematics", 2006)
"Quantum theory may be formulated using Hilbert spaces over any of the three associative normed division algebras: the real numbers, the complex numbers and the quaternions. Indeed, these three choices appear naturally in a number of axiomatic approaches. However, there are internal problems with real or quaternionic quantum theory. Here we argue that these problems can be resolved if we treat real, complex and quaternionic quantum theory as part of a unified structure. Dyson called this structure the ‘three-fold way’ […] This three-fold classification sheds light on the physics of time reversal symmetry, and it already plays an important role in particle physics." (John C Baez, "Division Algebras and Quantum Theory", 2011)
"[…] the symmetry group of the infinite logarithmic spiral is an infinite group, with one element for each real number . Two such transformations compose by adding the corresponding angles, so this group is isomorphic to the real numbers under addition." (Ian Stewart, "Symmetry: A Very Short Introduction", 2013)
"Complex numbers seem to be fundamental for the description of the world proposed by quantum mechanics. In principle, this can be a source of puzzlement: Why do we need such abstract entities to describe real things? One way to refute this bewilderment is to stress that what we can measure is essentially real, so complex numbers are not directly related to observable quantities. A more philosophical argument is to say that real numbers are no less abstract than complex ones, the actual question is why mathematics is so effective for the description of the physical world." (Ricardo Karam, "Why are complex numbers needed in quantum mechanics? Some answers for the introductory level", American Journal of Physics Vol. 88 (1), 2020)
09 June 2021
On Principles V: Identity
"The topics of ontology, or metaphysic, are cause, effect, action, passion, identity, opposition, subject, adjunct, and sign." (Isaac Watts, "Logic, or The right use of reason, in the inquiry after truth", 1725)
"Science arises from the discovery of Identity amid Diversity." (William S Jevons, "The Principles of Science: A Treatise on Logic and Scientific Method", 1874)
"The very possibility of mathematical science seems an insoluble contradiction. If this science is only deductive in appearance, from whence is derived that perfect rigour which is challenged by none? If, on the contrary, all the propositions which it enunciates may be derived in order by the rules of formal logic, how is it that mathematics is not reduced to a gigantic tautology? The syllogism can teach us nothing essentially new, and if everything must spring from the principle of identity, then everything should be capable of being reduced to that principle." (Henri Poincaré, "Science and Hypothesis", 1901)
"Metaphors deny distinctions between things: problems often arise from taking structural metaphors too literally. Because unexamined metaphors lead us to assume the identity of unidentical things, conflicts can arise which can only be resolved by understanding the metaphor (which requires its recognition as such), which means reconstructing the analogy on which it is based. […] The unexplained extension of concepts can too often result in the destruction rather than the expansion of meaning." (David Pimm,"Metaphor and Analogy in Mathematics", For the Learning of Mathematics Vol. 1 (3), 1981)
"The idea that one can 'introduce' a kind of objects simply by laying down an identity criterion for them really inverts the proper order of explanation. As Locke clearly understood, one must first have a clear conception of what kind of objects one is dealing with in order to extract a criterion of identity for them from that conception. […] So, rather than 'abstract' a kind of object from a criterion of identity, one must in general 'extract' a criterion of identity from a metaphysically defensible conception of a given kind of objects." (Edward J Lowe, The metaphysics of abstract objects, Journal of Philosophy 92 (10), 1995)
"There is no unique, global, and universal relation of identity for abstract objects. [...] Abstract objects are of different sorts and this should mean, almost by definition, that there is no global, universal identity for sorts. Each sort X is equipped with an internal relation of identity but there is no identity relation that would apply to all sorts." (Jean-Pierre Marquis," Categorical foundations of mathematics, or how to provide foundations for abstract mathematics", The Review of Symbolic Logic Vol. 6 (1), 2012)
"Reason is indeed all about identity, or, rather, tautology. Mathematics is the eternal, necessary system of rational, analytic tautology. Tautology is not 'empty', as it is so often characterized by philosophers. It is in fact the fullest thing there, the analytic ground of existence, and the basis of everything. Mathematical tautology has infinite masks to wear, hence delivers infinite variety. Mathematical tautology provides Leibniz’s world that is 'simplest in hypothesis and the richest in phenomena'. No hypothesis cold be simpler than the one revolving around tautologies concerning 'nothing'. There is something - existence - because nothing is tautologous, and 'something' is how that tautology is expressed. If we write x = 0, where x is any expression that has zero as its net result, then we have a world of infinite possibilities where something ('x') equals nothing (0)." (Thomas Stark, "God Is Mathematics: The Proofs of the Eternal Existence of Mathematics", 2018)
05 June 2021
On Concepts IX
"The realm of the particularity of each experienced item differs from the formal realm of concepts. [...] The power of paradigmatic thought is to bring order to experience by seeing individual things as belonging to a category." (Donald E Polkinghorne, “Narrative configuration in qualitative analysis", International Journal of Qualitative Studies in Education Vol. 8 (1), 1995)
"In the new systems thinking, the metaphor of knowledge as a building is being replaced by that of the network. As we perceive reality as a network of relationships, our descriptions, too, form an interconnected network of concepts and models in which there are no foundations. For most scientists such a view of knowledge as a network with no firm foundations is extremely unsettling, and today it is by no means generally accepted. But as the network approach expands throughout the scientific community, the idea of knowledge as a network will undoubtedly find increasing acceptance." (Fritjof Capra, "The Web of Life: a new scientific understanding of living systems", 1996)
"Abstraction is an essential knowledge process, the process (or, to some, the alleged process) by which we form concepts. It consists in recognizing one or several common features or attributes (properties, predicates) in individuals, and on that basis stating a concept subsuming those common features or attributes. Concept is an idea, associated with a word expressing a property or a collection of properties inferred or derived from different samples. Subsumption is the logical technique to get generality from particulars." (Hourya B Sinaceur," Facets and Levels of Mathematical Abstraction", Standards of Rigor in Mathematical Practice 18-1, 2014)
01 June 2021
On Structure: Structure in Mathematics III
"Mathematicians create by acts of insight and intuition. Logic then sanctions the conquests of intuition. It is the hygiene that mathematics practices to keep its ideas healthy and strong. Moreover, the whole structure rests fundamentally on uncertain ground, the intuition of humans. Here and there an intuition is scooped out and replaced by a firmly built pillar of thought; however, this pillar is based on some deeper, perhaps less clearly defined, intuition. Though the process of replacing intuitions with precise thoughts does not change the nature of the ground on which mathematics ultimately rests, it does add strength and height to the structure." (Morris Kline, "Mathematics in Western Culture ", 1964)
"The probability concept used in probability theory has exactly the same structure as have the fundamental concepts in any field in which mathematical analysis is applied to describe and represent reality." (Richard von Mises, "Mathematical Theory of Probability and Statistics", 1964)
"The question ‘What is mathematics?’ cannot be answered meaningfully by philosophical generalities, semantic definitions or journalistic circumlocutions. Such characterizations also fail to do justice to music or painting. No one can form an appreciation of these arts without some experience with rhythm, harmony and structure, or with form, color and composition. For the appreciation of mathematics actual contact with its substance is even more necessary." (Richard Courant, "Mathematics in the Modern World", Scientific American Vol. 211 (3), 1964)
"[Game theory is] essentially a structural theory. It uncovers the logical structure of a great variety of conflict situations and describes this structure in mathematical terms. Sometimes the logical structure of a conflict situation admits rational decisions; sometimes it does not." (Anatol Rapoport, "Prisoner's dilemma: A study in conflict and cooperation", 1965)
"The most natural way to give an independence proof is to establish a model with the required properties. This is not the only way to proceed since one can attempt to deal directly and analyze the structure of proofs. However, such an approach to set theoretic questions is unnatural since all our intuition come from our belief in the natural, almost physical model of the mathematical universe." (Paul J Cohen, "Set Theory and the Continuum Hypothesis", 1966)
"The structures with which mathematics deals are more like lace, the leaves of trees, and the play of light and shadow on a human face, than they are like buildings and machines, the least of their representatives. The best proofs in mathematics are short and crisp like epigrams, and the longest have swings and rhythms that are like music. The structures of mathematics and the propositions about them are ways for the imagination to travel and the wings, or legs, or vehicles to take you where you want to go." (Scott Buchanan, "Poetry and Mathematics", 1975)
"In each branch of mathematics it is essential to recognize when two structures are equivalent. For example two sets are equivalent, as far as set theory is concerned, if there exists a bijective function which maps one set onto the other. Two groups are equivalent, known as isomorphic, if there exists a a homomorphism of one to the other which is one-to-one and onto. Two topological spaces are equivalent, known as homeomorphic, if there exists a homeomorphism of one onto the other." (Sydney A Morris, "Topology without Tears", 2011)
07 April 2021
On Axioms (2000-2009)
"Mathematics is not placid, static and eternal. […] Most mathematicians are happy to make use of those axioms in their proofs, although others do not, exploring instead so-called intuitionist logic or constructivist mathematics. Mathematics is not a single monolithic structure of absolute truth!" (Gregory J Chaitin, "A century of controversy over the foundations of mathematics", 2000)
"We start from vague pictures or ideas […] which we encapsulate by rules, and then we discover that those rules persuade us to modify our mental images. We engage in a dialog between our mental images and our ability to justify them via equations. As we understand what we are investigating more clearly, the pictures become sharper and the equations more elaborate. Only at the end of the process does anything like a formal set of axioms followed by logical proofs" (E Brian Davies, "Science in the Looking Glass", 2003)
"A recurring concern has been whether set theory, which speaks of infinite sets, refers to an existing reality, and if so how does one ‘know’ which axioms to accept. It is here that the greatest disparity of opinion exists (and the greatest possibility of using different consistent axiom systems)." (Paul Cohen, "Skolem and pessimism about proof in mathematics". Philosophical Transactions of the Royal Society A 363 (1835), 2005)
"An axiomatic theory starts out of some primitive (undefined)
concepts and out of a set of primitive propositions, the theory’s axioms or
postulates. Other concepts are obtained by definition from the primitive
concepts and from defined concepts; theorems of the theory are derived by proof
mechanisms out of the axioms." (Cristian S Calude, "Randomness & Complexity,
from Leibniz to Chaitin", 2007)
"Human language is a vehicle of truth but also of error, deception, and nonsense. Its use, as in the present discussion, thus requires great prudence. One can improve the precision of language by explicit definition of the terms used. But this approach has its limitations: the definition of one term involves other terms, which should in turn be defined, and so on. Mathematics has found a way out of this infinite regression: it bypasses the use of definitions by postulating some logical relations (called axioms) between otherwise undefined mathematical terms. Using the mathematical terms introduced with the axioms, one can then define new terms and proceed to build mathematical theories. Mathematics need, not, in principle rely on a human language. It can use, instead, a formal presentation in which the validity of a deduction can be checked mechanically and without risk of error or deception." (David Ruelle, "The Mathematician's Brain", 2007)
"If you have the rules of deduction and some initial choice of statements as sumed to be true (called axioms), then you are ready to derive many more true statements (called theorems). The rules of deduc tion constitute the logical machinery of mathematics, and the axioms comprise the basic properties of the objects you are interested in (in geometry these may be points, line segments, angles, etc.). There is some flexibility in selecting the rules of deduction, and many choices of axioms are possible. Once these have been decided you have all you need to do mathematics." (David Ruelle, "The Mathematician's Brain", 2007)
"In mathematics, the first principles are called axioms, and
the rules are referred to as deduction/inference rules. A proof is a series of
steps based on the (adopted) axioms and deduction rules which reaches a desired
conclusion. Every step in a proof can be checked for correctness by examining it
to ensure that it is logically sound." (Cristian S Calude et al, "Proving and
Programming", 2007)
"Mathematics as done by mathematicians is not just heaping up statements logically deduced from the axioms. Most such statements are rubbish, even if perfectly correct. A good mathematician will look for interesting results. These interesting results, or theorems, organize themselves into meaningful and natural structures, and one may say that the object of mathematics is to find and study these structures." (David Ruelle, "The Mathematician's Brain", 2007)
"Reducing theorems to a small number of axioms turns out to
be deeply reminiscent of what scientists do. The mark of a good scientific
theory, after all, is that it describes a large number of observations of the
world while making only a small number of assumptions." (Marcus Chown, "God’s
Number: Where Can We Find the Secret of the Universe? In a Single Number!", 2007)
"The fact that we have an efficient conceptualization of mathematics shows that this reflects a certain mathematical reality, even if this reality is quite invisible in the formal listing of the axioms of set theory." (David Ruelle, "The Mathematician's Brain", 2007)
"We axiomatize a theory not only to better understand its inner workings but also in order to obtain metatheorems about that theory. We will therefore be interested in, say, proving that a given axiomatic treatment for some physical theory is incomplete (that is, the system exhibits the incompleteness phenomenon), among other things." (Cristian S Calude, "Randomness & Complexity, from Leibniz to Chaitin", 2007)
"When we introduce the concept of a group, we do this by imposing certain properties that should hold: these properties are called axioms. The axioms defining a group are, however, of a somewhat different nature from the ZFC axioms of set theory. Basically, whenever we do mathematics, we accept ZFC: a current mathematical paper systematically uses well-known consequences of ZFC (and normally does not mention ZFC). The axioms of a group by contrast are used only when appropriate." (David Ruelle, "The Mathematician's Brain", 2007)
"Why are proofs so important? Suppose our task were to construct a building. We would start with the foundations. In our case these are the axioms or definitions - everything else is built upon them. Each theorem or proposition represents a new level of knowledge and must be firmly anchored to the previous level. We attach the new level to the previous one using a proof. So the theorems and propositions are the new heights of knowledge we achieve, while the proofs are essential as they are the mortar which attaches them to the level below. Without proofs the structure would collapse." (Sidney A Morris, "Topology without Tears", 2007)
10 February 2021
Gert Rickheit - Collected Quotes
"According to the representational format claim, images constitute a class of mental models that is particularly suited to represent visually perceptible information. More specifically, an image can be conceived of as a viewer centered projection of an underlying mental model which, in turn, represents spatiotemporal aspects of external objects or events. Unlike propositional or network representations, images depict, rather than describe, a particular state of affairs." (Gert Rickheit & Lorenz Sichelschmidt, „Mental Models: Some Answers, Some Questions, Some Suggestions", 1999)
"From a functional point of view, mental models can be described as symbolic structures which permit people: to generate descriptions of the purpose of a system, to generate descriptions of the architecture of a system, to provide explanations of the state of a system, to provide explanations of the functioning of a system, to make predictions of future states of a system." (Gert Rickheit & Lorenz Sichelschmidt, "Mental Models: Some Answers, Some Questions, Some Suggestions", 1999)
On Complex Numbers XIX (Euler's Formula II)
"The equation e^πi+1 = 0 is true only by virtue of a large
number of profound connections across many fields. It is true because of what
it means! And it means what it means because of all those metaphors and blends
in the conceptual system of a mathematician who understands what it means. To
show why such an equation is true for conceptual reasons is to give what we
have called an idea analysis of the equation."
"The equation e^πi =-1 says that the function w= e^z, when
applied to the complex number πi as input, yields the real number -1 as the
output, the value of w. In the complex plane, πi is the point [0,π) - π on the
i-axis. The function w=e^z maps that point, which is in the z-plane, onto the
point (-1, 0) - that is, -1 on the x-axis-in the w-plane. […] But its meaning
is not given by the values computed for the function w=e^z. Its meaning is
conceptual, not numerical. The importance of e^πi =-1 lies in what it tells us about how
various branches of mathematics are related to one another - how algebra is
related to geometry, geometry to trigonometry, calculus to trigonometry, and
how the arithmetic of complex numbers relates to all of them."
"The significance of e^πi+1 = 0 is thus a conceptual
significance. What is important is not just the numerical values of e, π, i, 1,
and 0 but their conceptual meaning. After all, e, π, i, 1, and 0 are not just
numbers like any other numbers. Unlike, say, 192,563,947.9853294867, these
numbers have conceptual meanings in a system of common, important nonmathematical
concepts, like change, acceleration, recurrence, and self-regulation.
They are not mere numbers; they are the arithmetizations of concepts. When they are placed in a formula, the formula incorporates the ideas the function expresses as well as the set of pairs of complex numbers it mathematically determines by virtue of those ideas." (George Lakoff & Rafael E Nuñez, "Where Mathematics Come From: How the Embodied Mind Brings Mathematics into Being", 2000)
"We will now turn to e^πi+1 = 0. Our approach will be there
as it was here. e^πi+1 = 0 uses the conceptual structure of all the cases we
have discussed so far - trigonometry, the exponentials, and the complex
numbers. Moreover, it puts together all that conceptual structure. In other
words, all those metaphors and blends are simultaneously activated and jointly
give rise to inferences that they would not give rise to separately. Our job is
to see how e^πi+1 = 0 is a precise consequence that arises when the conceptual
structure of these three domains is combined to form a single conceptual blend." (George Lakoff & Rafael E Nuñez, "Where Mathematics Come From: How the
Embodied Mind Brings Mathematics into Being", 2000)
"[…] the equation’s five seemingly unrelated numbers (e, i, π, 1, and 0) fit neatly together in the formula like contiguous puzzle pieces. One might think that a cosmic carpenter had jig-sawed them one day and mischievously left them conjoined on Euler’s desk as a tantalizing hint of the unfathomable connectedness of things.[…] when the three enigmatic numbers are combined in this form, e^iπ, they react together to carve out a wormhole that spirals through the infinite depths of number space to emerge smack dab in the heartland of integers." (David Stipp, "A Most Elegant Equation: Euler's Formula and the Beauty of Mathematics", 2017)
01 January 2021
Mental Models LXI (Conceptual Models IV)
"This making or imagining of models (not necessarily or usually a material model, but a conceptual model) is a recognised way of arriving at an understanding of recondite and ultra-sensual occurring say in the ether or elsewhere." (Hugh MacColl, Mind: a quarterly review of psychology and philosophy Vol. 14, 1905)
"We realize, however, that all scientific laws merely
represent abstractions and idealizations expressing certain aspects of reality.
Every science means a schematized picture of reality, in the sense that a
certain conceptual construct is unequivocally related to certain features of
order in reality […]" (Ludwig von Bertalanffy, "General System Theory", 1968)
"A conceptual model is neither idle nor faithful: it is, or rather it is supposed to be and so taken until further notice, an approximate representation of a real thing." (Mario Bunge, "Philosophy of Physics", 1972)
"A conceptual model is a qualitative description of the system and includes the processes taking place in the system, the parameters chosen to describe the processes, and the spatial and temporal scales of the processes." (A Avogadro & R C Ragaini, "Technologies for Environmental Cleanup", 1993)
"A conceptual model is a model of the projected system that is independent of implementation details." (Michael Worboys, "GIS: A Computing Perspective", 1995)
"A conceptual model is what in the model theory is called a set of formulas making statements about the world." (Dickson Lukose [Eds.], "Conceptual Structures: Fulfilling Peirce's Dream" Vol 5, 1997)
"A conceptual model is a representation of the system expertise using this formalism. An internal model is derived from the conceptual model and from a specification of the system transactions and the performance constraints." (Zbigniew W. Ras & Andrzej Skowron [Eds.], Foundations of Intelligent Systems: 10th International Symposium Vol 10, 1997)
"When we entrust the domain of values to those whose intellectual concerns are essentially centred on empirical facts, and whose conceptual frameworks are inevitably constructed around sets of empirical facts, we need not be surprised if the result is moral confusion." (Ronald W K Paterson, "The New Patricians", 1998)
"The purpose of a conceptual model is to provide a vocabulary of terms and concepts that can be used to describe problems and/or solutions of design. It is not the purpose of a model to address specific problems, and even less to propose solutions for them. Drawing an analogy with linguistics, a conceptual model is analogous to a language, while design patterns are analogous to rhetorical figures, which are predefined templates of language usages, suited particularly to specific problems." (Peter P Chen [Ed.], "Advances in Conceptual Modeling", 1999)
"To put it simply, we communicate when we display a convincing pattern, and we discover when we observe deviations from our expectations. These may be explicit in terms of a mathematical model or implicit in terms of a conceptual model. How a reader interprets a graphic will depend on their expectations. If they have a lot of background knowledge, they will view the graphic differently than if they rely only on the graphic and its surrounding text." (Andrew Gelman & Antony Unwin, "Infovis and Statistical Graphics: Different Goals, Different Looks", Journal of Computational and Graphical Statistics Vol. 22(1), 2013)
13 December 2020
Complexity vs Mathematics II
"[Mathematics] guides our minds in an orderly way, and furnishes us simple and rational principles by means of which ambiguities are clarified, disorder is converted into order, and complexities are analyzed into their component parts." (Johann B Mencken, "The Charlatanry of the Learned", 1715)
"These sciences, Geometry, Theoretical Arithmetic and Algebra, have no principles besides definitions and axioms, and no process of proof but deduction; this process, however, assuming a most remarkable character; and exhibiting a combination of simplicity and complexity, of rigour and generality, quite unparalleled in other subjects." (William Whewell, "The Philosophy of the Inductive Sciences", 1840)
"The value of mathematical instruction as a preparation for those more difficult investigations, consists in the applicability not of its doctrines but of its methods. Mathematics will ever remain the past perfect type of the deductive method in general; and the applications of mathematics to the simpler branches of physics furnish the only school in which philosophers can effectually learn the most difficult and important of their art, the employment of the laws of simpler phenomena for explaining and predicting those of the more complex." (John S Mill, "System of Logic", 1843)
"It is certainly true that all physical phenomena are subject to strictly mathematical conditions, and mathematical processes are unassailable in themselves. The trouble arises from the data employed. Most phenomena are so highly complex that one can never be quite sure that he is dealing with all the factors until the experiment proves it. So that experiment is rather the criterion of mathematical conclusions and must lead the way." (Amos E Dolbear, "Matter, Ether, Motion", 1894)
"Mathematics, the science of the ideal, becomes the means of investigating, understanding and making known the world of the real. The complex is expressed in terms of the simple. From one point of view mathematics may be defined as the science of successive substitutions of simpler concepts for more complex [...]" (William F White, "A Scrap-book of Elementary Mathematics", 1908)
"A great department of thought must have its own inner life, however transcendent may be the importance of its relations to the outside. No department of science, least of all one requiring so high a degree of mental concentration as Mathematics, can be developed entirely, or even mainly, with a view to applications outside its own range. The increased complexity and specialisation of all branches of knowledge makes it true in the present, however it may have been in former times, that important advances in such a department as Mathematics can be expected only from men who are interested in the subject for its own sake, and who, whilst keeping an open mind for suggestions from outside, allow their thought to range freely in those lines of advance which are indicated by the present state of their subject, untrammelled by any preoccupation as to applications to other departments of science." (Ernst W Hobson, Nature Vol. 84, [address] 1910)
"Elegance may produce the feeling of the unforeseen by the unexpected meeting of objects we are not accustomed to bring together; there again it is fruitful, since it thus unveils for us kinships before unrecognized. It is fruitful even when it results only from the contrast between the simplicity of the means and the complexity of the problem set; it makes us then think of the reason for this contrast and very often makes us see that chance is not the reason; that it is to be found in some unexpected law. In a word, the feeling of mathematical elegance is only the satisfaction due to any adaptation of the solution to the needs of our mind, and it is because of this very adaptation that this solution can be for us an instrument. Consequently this esthetic satisfaction is bound up with the economy of thought." (Jules Henri Poincaré, "The Future of Mathematics", Monist Vol. 20, 1910)
"The mathematical laws presuppose a very complex elaboration. They are not known exclusively either a priori or a posteriori, but are a creation of the mind; and this creation is not an arbitrary one, but, owing to the mind’s resources, takes place with reference to experience and in view of it. Sometimes the mind starts with intuitions which it freely creates; sometimes, by a process of elimination, it gathers up the axioms it regards as most suitable for producing a harmonious development, one that is both simple and fertile. The mathematics is a voluntary and intelligent adaptation of thought to things, it represents the forms that will allow of qualitative diversity being surmounted, the moulds into which reality must enter in order to become as intelligible as possible." (Émile Boutroux, "Natural Law in Science and Philosophy", 1914)
"No equation, however impressive and complex, can arrive at the truth if the initial assumptions are incorrect." (Arthur C Clarke, "Profiles of the Future: An Inquiry into the Limits of the Possible", 1973)
"Economists are all too often preoccupied with petty mathematical problems of interest only to themselves. This obsession with mathematics is an easy way of acquiring the appearance of scientificity without having to answer the far more complex questions posed by the world we live in." (Thomas Piketty, Capital in the Twenty-First Century, 2013)
06 December 2020
Mental Models LVI (Conceptual Models III)
"Mere deductive logic, whether you clothe it in mathematical symbols and phraseology or whether you enlarge its scope into a more general symbolic technique, can never take the place of clear relevant initial concepts of the meaning of your symbols, and among symbols I include words. If you are dealing with nature, your meanings must directly relate to the immediate facts of observation. We have to analyse first the most general characteristics of things observed, and then the more casual contingent occurrences. There can be no true physical science which looks first to mathematics for the provision of a conceptual model. Such a procedure is to repeat the errors of the logicians of the middle-ages." (Alfred N Whitehead, "Principle of Relativity", 1922)
"The 'physical' does not mean any particular kind of reality, but a particular kind of denoting reality, namely a system of concepts in the natural sciences which is necessary for the cognition of reality. 'The physical' should not be interpreted wrongly as an attribute of one part of reality, but not of the other ; it is rather a word denoting a kind of conceptual construction, as, e.g., the markers 'geographical' or 'mathematical', which denote not any distinct properties of real things, but always merely a manner of presenting them by means of ideas." (Moritz Schlick, "Allgemeine Erkenntnislehre", 1925)
"The rule is derived inductively from experience, therefore does not have any inner necessity, is always valid only for special cases and can anytime be refuted by opposite facts. On the contrary, the law is a logical relation between conceptual constructions; it is therefore deductible from upper laws and enables the derivation of lower laws; it has as such a logical necessity in concordance with its upper premises; it is not a mere statement of probability, but has a compelling, apodictic logical value once its premises are accepted."(Ludwig von Bertalanffy, "Kritische Theorie der Formbildung", 1928)
"As perceivers we select from all the stimuli falling on our senses only those which interest us, and our interests are governed by a pattern-making tendency, sometimes called a schema." (Mary Douglas, "Purity and Danger", 1966)
"Whether or not a given conceptual model or representation of a physical system happens to be picturable, is irrelevant to the semantics of the theory to which it eventually becomes attached. Picturability is a fortunate psychological occurrence, not a scientific necessity. Few of the models that pass for visual representations are picturable anyhow. For one thing, the model may be and usually is constituted by imperceptible items such as unextended particles and invisible fields. True, a model can be given a graphic representation - but so can any idea as long as symbolic or conventional diagrams are allowed. Diagrams, whether representational or symbolic, are meaningless unless attached to some body of theory. On the other hand theories are in no need of diagrams save for psychological purposes. Let us then keep theoretical models apart from visual analogues." (Mario Bunge, "Philosophy of Physics", 1973)
"The understanding of a thing begins and ends with some conceptual model of it. The model is the better, the more accurate, and inclusive. But even rough models can be used to guide - or misguide - research." (Bunge A Mario, "Philosophy in Crisis: The Need for Reconstruction", 2001)
"A conceptual model is a mental image of a system, its components, its interactions. It lays the foundation for more elaborate models, such as physical or numerical models. A conceptual model provides a framework in which to think about the workings of a system or about problem solving in general. An ensuing operational model can be no better than its underlying conceptualization." (Henry N Pollack, "Uncertain Science … Uncertain World", 2005)
"[...] a single thing may elicit several appearances, various conceptual models of it, or several plans of action for it, depending on the subject’s abilities and interests." (Mario Bunge, "Chasing Reality: Strife over Realism", 2006)
"Although fiction is not fact, paradoxically we need some fictions, particularly mathematical ideas and highly idealized models, to describe, explain, and predict facts. This is not because the universe is mathematical, but because our brains invent or use refined and law-abiding fictions, not only for intellectual pleasure but also to construct conceptual models of reality." (Mario Bunge, "Chasing Reality: Strife over Realism", 2006)
"At all events, our world pictures may have components of all three kinds: perceptual, conceptual, and praxiological (action-theoretical). This is because there are three gates to the outer world: perception, conception, and action. However, ordinarily only one or two of them need be opened: combinations of all three, as in building a house according to a blueprint, are the exception. We may contemplate a landscape without forming either a conceptual model of it or a plan to act upon it. And we may build a theoretical model of an imperceptible thing, such as an invisible extrasolar planet, on which we cannot act." (Mario Bunge, "Chasing Reality: Strife over Realism", 2006)
04 December 2020
Fuzzy Logic I
"A fuzzy set is a class of objects with a continuum of grades of membership. Such a set is characterized by a membership (characteristic) function which assigns to each object a grade of membership ranging between zero and one. The notions of inclusion, union, intersection, complement, relation, convexity, etc., are extended to such sets, and various properties of these notions in the context of fuzzy sets are established. In particular, a separation theorem for convex fuzzy sets is proved without requiring that the fuzzy sets be disjoint." (Lotfi A Zadeh, "Fuzzy Sets", 1965)
"The notion of a fuzzy set provides a convenient point of departure for the construction of a conceptual framework which parallels in many respects the framework used in the case of ordinary sets, but is more general than the latter and, potentially, may prove to have a much wider scope of applicability, particularly in the fields of pattern classification and information processing. Essentially, such a framework provides a natural way of dealing with problems in which the source of imprecision is the absence of sharply denned criteria of class membership rather than the presence of random variables." (Lotfi A Zadeh, "Fuzzy Sets", 1965)
"In general, complexity and precision bear an inverse relation to one another in the sense that, as the complexity of a problem increases, the possibility of analysing it in precise terms diminishes. Thus 'fuzzy thinking' may not be deplorable, after all, if it makes possible the solution of problems which are much too complex for precise analysis." (Lotfi A Zadeh, "Fuzzy languages and their relation to human intelligence", 1972)
"Let me say quite categorically that there is no such thing as a fuzzy concept. [...] We do talk about fuzzy things but they are not scientific concepts. Some people in the past have discovered certain interesting things, formulated their findings in a non-fuzzy way, and therefore we have progressed in science." (Rudolf E Kálmán, 1972)
"[Fuzzy logic is] a logic whose distinguishing features are (1) fuzzy truth-values expressed in linguistic terms, e. g., true, very true, more or less true, or somewhat true, false, nor very true and not very false, etc.; (2) imprecise truth tables; and (3) rules of inference whose validity is relative to a context rather than exact." (Lotfi A. Zadeh, "Fuzzy logic and approximate reasoning", 1975)
"[...] much of the information on which human decisions are based is possibilistic rather than probabilistic in nature, and the intrinsic fuzziness of natural languages - which is a logical consequence of the necessity to express information in a summarized form - is, in the main, possibilistic in origin." (Lotfi A Zadeh, "Fuzzy Sets as the Basis for a Theory of Possibility", Fuzzy Sets and Systems, 1978)
"Philosophical objections may be raised by the logical implications of building a mathematical structure on the premise of fuzziness, since it seems (at least superficially) necessary to require that an object be or not be an element of a given set. From an aesthetic viewpoint, this may be the most satisfactory state of affairs, but to the extent that mathematical structures are used to model physical actualities, it is often an unrealistic requirement. [...] Fuzzy sets have an intuitively plausible philosophical basis. Once this is accepted, analytical and practical considerations concerning fuzzy sets are in most respects quite orthodox." (James Bezdek, 1981)
"Fuzziness, then, is a concomitant of complexity. This implies that as the complexity of a task, or of a system for performing that task, exceeds a certain threshold, the system must necessarily become fuzzy in nature. Thus, with the rapid increase in the complexity of the information processing tasks which the computers are called upon to perform, we are reaching a point where computers will have to be designed for processing of information in fuzzy form. In fact, it is the capability to manipulate fuzzy concepts that distinguishes human intelligence from the machine intelligence of current generation computers. Without such capability we cannot build machines that can summarize written text, translate well from one natural language to another, or perform many other tasks that humans can do with ease because of their ability to manipulate fuzzy concepts." (Lotfi A Zadeh, "The Birth and Evolution of Fuzzy Logic", 1989)
"It is important to observe that there is an intimate connection between fuzziness and complexity. Thus, a basic characteristic of the human brain, a characteristic shared in varying degrees with all information processing systems, is its limited capacity to handle classes of high cardinality, that is, classes having a large number of members. Consequently, when we are presented with a class of very high cardinality, we tend to group its elements together into subclasses in such a way as to reduce the complexity of the information processing task involved. When a point is reached where the cardinality of the class of subclasses exceeds the information handling capacity of the human brain, the boundaries of the subclasses are forced to become imprecise and fuzziness becomes a manifestation of this imprecision." (Lotfi A Zadeh, "The Birth and Evolution of Fuzzy Logic", 1989)
"A fuzzy set can be defined mathematically by assigning to each possible individual in the universe of discourse a value representing its grade of membership in the fuzzy set. This grade corresponds to the degree to which that individual is similar or compatible with the concept represented by the fuzzy set. Thus, individuals may belong in the fuzzy act to a greater or lesser degree as indicated by a larger or smaller membership grade. As already mentioned, these membership grades are very often represented by real-number values ranging in the closed interval between 0 and 1." (George J Klir & Bo Yuan, "Fuzzy Sets and Fuzzy Logic: Theory and Applications", 1995)
On Networks XVII (Semantic Networks I)
"In comparison with Predicate Calculus encoding s of factual knowledge, semantic nets seem more natural and understandable. This is due to the one-to-one correspondence between nodes and the concepts they denote, to the clustering about a particular node of propositions about a particular thing, and to the visual immediacy of 'interrelationships' between concepts, i.e., their connections via sequences of propositional links." (Lenhart K Schubert, "Extending the Expressive Power of Semantic Networks", Artificial Intelligence 7, 1976)
"[…] semantic nets [are defined] as graphical analogues of data structures representing "facts" in a computer system for understanding natural language." (Lenhart K Schubert," "Extending the Expressive Power of Semantic Networks", Artificial Intelligence 7, 1976)
"The advantage of semantic networks over standard logic is that some selected set of the possible inferences can be made in a specialized and efficient way. If these correspond to the inferences that people make naturally, then the system will be able to do a more natural sort of reasoning than can be easily achieved using formal logical deduction." (Avron Barr, Natural Language Understanding, AI Magazine Vol. 1 (1), 1980)
"We define a semantic network as 'the collection of all the relationships that concepts have to other concepts, to percepts, to procedures, and to motor mechanisms' of the knowledge." (John F Sowa, "Conceptual Structures", 1984)
"[…] semantic nets fail to be distinctive in the way they (1) represent propositions, (2) cluster information for access, (3) handle property inheritance, and (4) handle general inference; in other words, they lack distinctive representational properties (i.e., 1) and distinctive computational properties (i.e., 2-4). Certain propagation mechanisms, notably 'spreading activation', 'intersection search', or 'inference propagation' have sometimes been regarded as earmarks of semantic nets, but since most extant semantic nets lack such mechanisms, they cannot be considered criterial in current usage." (Lenhart K Schubert, "Semantic Nets are in the Eye of the Beholder", 1990)
"[…] the representational and computational strategies employed in semantic net systems are abstractly equivalent to those employed in virtually all state-of-the-art systems incorporating a substantial propositional knowledge base, whether they are described as logic-based, frame-based, rule-based, or some-thing else." (Lenhart K Schubert, "Semantic Nets are in the Eye of the Beholder", 1990)
"A semantic network or net represents knowledge as a net-like graph. An idea, event, situation or object almost always has a composite structure; this is represented in a semantic network by a corresponding structure of nodes (drawn as circles or boxes) representing conceptual units, and directed links (drawn as arrows between the nodes) representing the relations between the units. […] An abstract (graph-theoretic) network can be diagrammed, defined mathematically, programmed in a computer, or hard-wired electronically. It becomes semantic when you assign a meaning to each node and link. Unlike specialized networks and diagrams, semantic networks aim to represent any kind of knowledge which can be described in natural language. A semantic network system includes not only the explicitly stored net structure but also methods for automatically deriving from that a much larger structure or body of implied knowledge." (Fritz Lehman, "Semantic Networks", Computers & Mathematics with Applications Vol. 23 (2-5), 1992)
"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)
"The great organizing principle of thought is abstraction. By assigning particular things to abstract categories we are able to dispense with irrelevant detail and yet instantly draw copious conclusions about a thing due to its membership in various categories. Semantic networks specify the structure of interrelated abstract categories and use this structure to draw conclusions." (Fritz Lehman, "Semantic Networks", Computers & Mathematics with Applications Vol. 23 (2-5), 1992)
03 December 2020
George J Klir - Collected Quotes
"Applying this approach, systems belonging to different scientific disciplines are investigated in their natural forms. On the basis of experimental results, isomorphic relations between different systems are studied and, finally, some general principles applicable for all systems of a certain class are formulated." (George Klir, "An approach to general systems theory", 1969)
"In mathematics, logic, linguistics, and other abstract disciplines, the systems are not assigned to objects. They are defined by an enumeration of the variables, their admissible values, and their algebraic, topological, grammatical, and other properties which, in the given case, determine the relations between the variables under consideration." (George Klir, "An approach to general systems theory", 1969)
"Systems science is a science whose domain of inquiry consists of those properties of systems and associated problems that emanate from the general notion of systemhood." (George Klir, "Facets of Systems Science", 1991)
"The term system is unquestionably one of the most widely used terms not only in science, but in other areas of human endeavor as well. It is a highly overworked term, which enjoys different meanings under different circumstances and for different people. However, when separated from its specific connotations and uses, the term "system" is almost never explicitly defined." (George Klir, "Facets of Systems Science", 1991)
"What is systems science? This question, which I have been asked on countless occasions, can basically be answered either in terms of activities associated with systems science or in terms of the domain of its inquiry. The most natural answers to the question are, almost inevitably, the following definitions: Systems science is what systems scientists do when they claim they do science. Systems science is that field of scientific inquiry whose objects of study are systems." (George Klir, "Facets of Systems Science", 1991)
"A fuzzy set can be defined mathematically by assigning to each possible individual in the universe of discourse a value representing its grade of membership in the fuzzy set. This grade corresponds to the degree to which that individual is similar or compatible with the concept represented by the fuzzy set. Thus, individuals may belong in the fuzzy act to a greater or lesser degree as indicated by a larger or smaller membership grade. As already mentioned, these membership grades are very often represented by real-number values ranging in the closed interval between 0 and 1." (George J Klir & Bo Yuan, "Fuzzy Sets and Fuzzy Logic: Theory and Applications", 1995)
"Among the various paradigmatic changes in science and mathematics in this century, one such change concerns the concept of uncertainty. In science, this change has been manifested by a gradual transition from the traditional view, which insists that uncertainty is undesirable in science and should be avoided by all possible means, to an alternative view, which is tolerant of uncertainty and insists that science cannot avoid it. According to the traditional view, science should strive for certainty in all its manifestations (precision, specificity, sharpness, consistency, etc.); hence, uncertainty (imprecision, nonspecificity, vagueness, inconsistency, etc.) is regarded as unscientific. According to the alternative (or modem) view, uncertainty is considered essential to science; it is not only an unavoidable plague, but it has, in fact, a great utility." (George Klir, "Fuzzy sets and fuzzy logic", 1995)
"In constructing a model, we always attempt to maximize its usefulness. This aim is closely connected with the relationship among three key characteristics of every systems model: complexity, credibility, and uncertainty. This relationship is not as yet fully understood. We only know that uncertainty (predictive, prescriptive, etc.) has a pivotal role in any efforts to maximize the usefulness of systems models. Although usually (but not always) undesirable when considered alone, uncertainty becomes very valuable when considered in connection to the other characteristics of systems models: in general, allowing more uncertainty tends to reduce complexity and increase credibility of the resulting model. Our challenge in systems modelling is to develop methods by which an optimal level of allowable uncertainty can be estimated for each modelling problem." (George J Klir & Bo Yuan, "Fuzzy Sets and Fuzzy Logic: Theory and Applications", 1995)
"In spite of the insurmountable computational limits, we continue to pursue the many problems that possess the characteristics of organized complexity. These problems are too important for our well being to give up on them. The main challenge in pursuing these problems narrows down fundamentally to one question: how to deal with systems and associated problems whose complexities are beyond our information processing limits? That is, how can we deal with these problems if no computational power alone is sufficient?" (George Klir, "Fuzzy sets and fuzzy logic", 1995)
"Probability theory is an ideal tool for formalizing uncertainty in situations where class frequencies are known or where evidence is based on outcomes of a sufficiently long series of independent random experiments. Possibility theory, on the other hand, is ideal for formalizing incomplete information expressed in terms of fuzzy propositions." (George Klir, "Fuzzy sets and fuzzy logic", 1995)
"To select an appropriate fuzzy implication for approximate reasoning under each particular situation is a difficult problem. Although some theoretically supported guidelines are now available for some situations, we are still far from a general solution to this problem." (George Klir, "Fuzzy sets and fuzzy logic", 1995)
"Intuition, insight, and the ability of global comprehension
are possibly the most valuable assets of the human mind, particularly one that
is appropriately trained."
"Mathematics can roughly be divided into pure and applied.
Pure mathematics is basically oriented to the development of various axiomatic
theories, regardless of whether or not they have any real-world meaning. The
proper activity of the pure mathematician is thus to derive theorems from
postulated assumptions (axioms), and it is not his or her concern to determine
whether there is some interpretation of the theory in which the assumptions are
true. […] The role of applied mathematics is to search for practical
interpretations of the various mathematical theories and, when such
interpretations are found, to further develop the theories into useful
methodological tools for dealing with the interpreted systems and associated
problems. As such, applied mathematics is oriented to the development of
methods based on specific mathematical theories and their use in as many
interpreted areas as possible."
"Systems whose variables are classified into input and output variables are called directed systems; those for which no such classification is given are called neutral systems. A number of additional distinctions are recognized for state sets associated with the involved variables (basic or supporting) and provide a basis for further methodological classification of source systems. They include, for instance, the distinctions between crisp and fuzzy variables, discrete and continuous variables, and variables of different scales." (George J Klir & Doug Elias, "Architecture of Systems Problem Solving" 2nd Ed, 2003)
"The aim of architectural design is to prepare overall specifications, derived from the needs and desires of the user, for subsequent design and construction stages. The first task for the architect in each design project is thus to determine what the real needs and desires of the user are […]" (George J Klir & Doug Elias, "Architecture of Systems Problem Solving" 2nd Ed, 2003)
"The domain of systems science consists thus of all kinds of
relational properties which are valid for particular classes of systems, or, in
some rare instances, are valid for all systems. The chosen relational
classification of systems determines the way in which the domain of systems is
divided into subdomains, in a similar fashion as the domain of traditional
science has been divided into subdomains of the various disciplines and
specializations." (George J Klir & Doug Elias, "Architecture of Systems Problem
Solving" 2nd Ed, 2003)
"The principle of maximum entropy is employed for estimating
unknown probabilities (which cannot be derived deductively) on the basis of the
available information. According to this principle, the estimated probability
distribution should be such that its entropy reaches maximum within the
constraints of the situation, i.e., constraints that represent the available
information. This principle thus guarantees that no more information is used in
estimating the probabilities than available."
"The principle of minimum entropy is employed in the
formulation of resolution forms and related problems. According to this
principle, the entropy of the estimated probability distribution, conditioned
by a particular classification of the given events (e.g., states of the
variable involved), is minimum subject to the constraints of the situation.
This principle thus guarantees that all available information is used, as much
as possible within the given constraints (e.g., required number of states), in
the estimation of the unknown probabilities."
"The reconstruction problem can be stated as follows: Given a behavior system, viewed as an overall system, determine which sets of its subsystems, each viewed as a reconstruction hypothesis, are adequate for reconstructing the given system with an acceptable degree of approximation, solely from the information contained in the subsystems." (George J Klir & Doug Elias, "Architecture of Systems Problem Solving" 2nd Ed, 2003)
"Nevertheless, the use of fuzzy logic is supported by at least the following three arguments. First, fuzzy logic is rooted in the intuitively appealing idea that the truths of propositions used by humans are a matter of degree. An important consequence is that the basic principles and concepts of fuzzy logic are easily understood. Second, fuzzy logic has led to many successful applications, including many commercial products, in which the crucial part relies on representing and dealing with statements in natural language that involve vague terms. Third, fuzzy logic is a proper generalization of classical logic, follows an agenda similar to that of classical logic, and has already been highly developed. An important consequence is that fuzzy logic extends the rich realm of applications of classical logic to applications in which the bivalent character of classical logic is a limiting factor." (Radim Belohlavek & George J Klir, "Concepts and Fuzzy Logic", 2011)
"The principal idea employed by fuzzy logic is to allow for a partially ordered scale of truth-values, called also truth degrees, which contains the values representing false and true , but also some additional, intermediary truth degrees. That is, the set {0,1} of truth-values of classical logic, where 0 and 1 represent false and true , respectively, is replaced in fuzzy logic by a partially ordered scale of truth degrees with the smallest degree being 0 and the largest one being 1." (Radim Belohlavek & George J Klir, "Concepts and Fuzzy Logic", 2011)
"We use the term fuzzy logic to refer to all aspects of representing and manipulating knowledge that employ intermediary truth-values. This general, commonsense meaning of the term fuzzy logic encompasses, in particular, fuzzy sets, fuzzy relations, and formal deductive systems that admit intermediary truth-values, as well as the various methods based on them." (Radim Belohlavek & George J Klir, "Concepts and Fuzzy Logic", 2011)
02 December 2020
On Symbols (1910-1919)
"Pure mathematics is a collection of hypothetical, deductive theories, each consisting of a definite system of primitive, undefined, concepts or symbols and primitive, unproved, but self-consistent assumptions (commonly called axioms) together with their logically deducible consequences following by rigidly deductive processes without appeal to intuition." (Graham Fitch, "The Fourth Dimension simply Explained", 1910)
"Things and events explain themselves, and the business of thought is to brush aside the verbal and conceptual impediments which prevent them from doing so. Start with the notion that it is you who explain the Object, and not the Object that explains itself, and you are bound to end in explaining it away. It ceases to exist, its place being taken by a parcel of concepts, a string of symbols, a form of words, and you find yourself contemplating, not the thing, but your theory of the thing." (Lawrence P Jacks, "The Usurpation Of Language", 1910)
"A symbol which has not been properly defined is not a symbol at all. It is merely a blot of ink on paper which has an easily recognized shape. Nothing can be proved by a succession of blot, except the existence of a bad pen or a careless writer." (Alfred N Whitehead, "An Introduction to Mathematics", 1911)
"The symbols organized by knowledge, or concepts, themselves belong to social nature as its ideological elements. Therefore, by operating upon them, knowledge is able to expand its organizing function much more broadly than labour in its technological operation of real things; and as we have already seen that many things, which are not organized in practice, can be organized by knowledge, i.e. in symbols: where the ingression of things is absent, the ingression of their concepts is still possible." (Alexander A Bogdanov, "Tektology: The Universal Organizational Science" Vol. I, 1913)
"This diagrammatic method has, however, serious inconveniences as a method for solving logical problems. It does not show how the data are exhibited by cancelling certain constituents, nor does it show how to combine the remaining constituents so as to obtain the consequences sought. In short, it serves only to exhibit one single step in the argument, namely the equation of the problem; it dispenses neither with the previous steps, i.e., 'throwing of the problem into an equation' and the transformation of the premises, nor with the subsequent steps, i.e., the combinations that lead to the various consequences. Hence it is of very little use, inasmuch as the constituents can be represented by algebraic symbols quite as well as by plane regions, and are much easier to deal with in this form." (Louis Couturat, "The Algebra of Logic", 1914)
"The rigor of mathematics is not absolute - absolute rigor is an ideal, to be, like other ideals, aspired unto, forever approached, but never quite attained, for such attainment would mean that every possibility of error or indetermination, however slight, had been eliminated from idea, from symbol, and from argumentation." (Cassius J Keyser, "The Human Worth of Rigorous Thinking: Essays and Addresses", 1916)
"In obedience to the feeling of reality, we shall insist that, in the analysis of propositions, nothing 'unreal' is to be admitted. But, after all, if there is nothing unreal, how, it may be asked, could we admit anything unreal? The reply is that, in dealing with propositions, we are dealing in the first instance with symbols, and if we attribute significance to groups of symbols which have no significance, we shall fall into the error of admitting unrealities, in the only sense in which this is possible, namely, as objects described." (Bertrand Russell, "Introduction to Mathematical Philosophy" , 1919)
On Leonhard Euler
"I have been able to solve a few problems of mathematical physics on which the greatest mathematicians since Euler have struggled in va...