This textbook offers the first unified treatment of wave propagation in electronic and electromagnetic systems and introduces readers to the essentials of the transfer matrix method, a powerful analytical tool that can be used to model and study an array of problems pertaining to wave propagation in electrons and photons. It is aimed at graduate and advanced undergraduate students in physics, materials science, electrical and computer engineering, and mathematics, and is ideal for researchers in photonic crystals, negative index materials, left-handed (...) materials, plasmonics, nonlinear effects, and optics. Peter Markos and Costas Soukoulis begin by establishing the analogy between wave propagation in electronic systems and electromagnetic media and then show how the transfer matrix can be easily applied to any type of wave propagation, such as electromagnetic, acoustic, and elastic waves. The transfer matrix approach of the tight-binding model allows readers to understand its implementation quickly and all the concepts of solid-state physics are clearly introduced. Markos and Soukoulis then build the discussion of such topics as random systems and localized and delocalized modes around the transfer matrix, bringing remarkable clarity to the subject. Total internal reflection, Brewster angles, evanescent waves, surface waves, and resonant tunneling in left-handed materials are introduced and treated in detail, as are important new developments like photonic crystals, negative index materials, and surface plasmons. Problem sets aid students working through the subject for the first time. (shrink)

According to a tradition stemming from Quine and Putnam, we have the same broadly inductive reason for believing in numbers as we have for believing in electrons: certain theories that entail that there are numbers are better, qua explanations of our evidence, than any theories that do not. This paper investigates how modal theories of the form ‘Possibly, the concrete world is just as it in fact is and T’ and ‘Necessarily, if standard mathematics is true and the concrete world (...) is just as it in fact is, then T’ bear on this claim. It concludes that, while analogies with theories that attempt to eliminate unobservable concrete entities provide good reason to regard theories of the former sort as explanatorily bad, this reason does not apply to theories of the latter sort. (shrink)

This book examines the interface between mathematics and applied sciences. The editor examines the present and future needs for the interaction between various science and engineering areas. This edited book brings together the cutting-edge research on mathematics, combining various fields of science and engineering. The book begins with an introduction to computing and modeling. Next, computation and modeling trends are covered, along with chapters on structural static and vibration problems, heat conduction and diffusion problems, and fluid dynamics problems. Soft computing (...) and machine intelligence based modeling are also discussed, along with bio medical problems. The book concludes with a chapter on modeling in mining, electrical, electronics, and chemical problems. This book is a reference for students and researchers in various fields of engineering such as computer, mechanical, civil, aerospace, electrical, and chemical, as well as and other sciences such as applied mathematics, physics, chemistry, and life sciences. (shrink)

The rise of the field of “ experimental mathematics” poses an apparent challenge to traditional philosophical accounts of mathematics as an a priori, non-empirical endeavor. This paper surveys different attempts to characterize experimental mathematics. One suggestion is that experimental mathematics makes essential use of electronic computers. A second suggestion is that experimental mathematics involves support being gathered for an hypothesis which is inductive rather than deductive. Each of these options turns out to be inadequate, and instead a third suggestion is (...) considered according to which experimental mathematics involves calculating instances of some general hypothesis. The paper concludes with the examination of some philosophical implications of this characterization. (shrink)

Electronic computers form an integral part of modern mathematical practice. Several high-profile results have been proven with techniques where computer calculations form an essential part of the proof. In the traditional philosophical literature, such proofs have been taken to constitute a posteriori knowledge. However, this traditional stance has recently been challenged by Mark McEvoy, who claims that computer calculations can constitute a priori mathematical proofs, even in cases where the calculations made by the computer are too numerous to (...) be surveyed by human agents. In this article we point out the deficits of the traditional literature that has called for McEvoy’s correction. We also explain why McEvoy’s defence of mathematical apriorism fails and we discuss how the debate over the epistemological status of computer-assisted mathematics contains several unfortunate conceptual reductions. (shrink)

The theory suggests that quantum computations in brain neuronal dendritic-somatic microtubules regulate axonal firings to control conscious behavior. Within microtubule subunit proteins, collective dipoles in arrays of contiguous amino acid electron clouds enable suitable for topological dipole able to physically represent cognitive values, for example, those portrayed by Pothos & Busemeyer (P&B) as projections in abstract Hilbert space.

Dirac’s relativistic theory of electron generally results in two possible solutions, one with positive energy and other with negative energy. Although positive energy solutions accurately represented particles such as electrons, interpretation of negative energy solution became very much controversial in the last century. By assuming the vacuum to be completely filled with a sea of negative energy electrons, Dirac tried to avoid natural transition of electron from positive to negative energy state using Pauli’s exclusion principle. However, many scientists (...) like Bohr objected to the idea of sea of electrons as it indicates infinite density of charge and electric field and consequently infinite energy. In addition, till date, there is no experimental evidence of a particle whose total energy (kinetic plus rest) is negative. In an alternative approach, Feynman, in quantum field theory, proposed that particles with negative energy are actually positive energy particles running backwards in time. This was mathematically consistent since quantum mechanical energy operator contains time in denominator and the negative sign of energy can be absorbed in it. However, concept of negative time is logically inconsistent since in this case, effect happens before the cause. To avoid above contradictions, in this paper, we try to reformulate the Dirac’s theory of electron so that neither energy needs to be negative nor the time is required to be negative. Still, in this new formulation, two different possible solutions exist for particles and antiparticles (electrons and positrons). (shrink)

The coordinated attack scenario and the electronic mail game are two paradoxes of common knowledge. In simple mathematical models of these scenarios, the agents represented by the models can coordinate only if they have common knowledge that they will. As a result, the models predict that the agents will not coordinate in situations where it would be rational to coordinate. I argue that we should resolve this conflict between the models and facts about what it would be rational to (...) do by rejecting common knowledge assumptions implicit in the models. I focus on the assumption that the agents have common knowledge that they are rational, and provide models to show that denying this assumption suffices for a resolution of the paradoxes. I describe how my resolution of the paradoxes fits into a general story about the relationship between rationality in situations involving a single agent and rationality in situations involving many agents. (shrink)

Platonism about mathematics (or mathematical platonism) isthe metaphysical view that there are abstract mathematical objectswhose existence is independent of us and our language, thought, andpractices. Just as electrons and planets exist independently of us, sodo numbers and sets. And just as statements about electrons and planetsare made true or false by the objects with which they are concerned andthese objects' perfectly objective properties, so are statements aboutnumbers and sets. Mathematical truths are therefore discovered, notinvented., Existence. There are (...) mathematical objects. (shrink)

In this paper, we construct a parallel image of the conventional Maxwell theory by replacing the observer-time by the proper-time of the source. This formulation is mathematically, but not physically, equivalent to the conventional form. The change induces a new symmetry group which is distinct from, but closely related to the Lorentz group, and fixes the clock of the source for all observers. The new wave equation contains an additional term (dissipative), which arises instantaneously with acceleration. This shows that the (...) origin of radiation reaction is not the action of a “charge” on itself but arises from inertial resistance to changes in motion. This dissipative term is equivalent to an effective mass so that classical radiation has both a massless and a massive part. Hence, at the local level the theory is one of particles and fields but there is no self-energy divergence (nor any of the other problems). We also show that, for any closed system of particles, there is a global inertial frame and unique (invariant) global proper-time (for each observer) from which to observe the system. This global clock is intrinsically related to the proper clocks of the individual particles and provides a unique definition of simultaneity for all events associated with the system. We suggest that this clock is the historical clock of Horwitz, Piron, and Fanchi. At this level, the theory is of the action-at-a-distance type and the absorption hypothesis of Wheeler and Feynman follows from global conservation of energy. (shrink)

From electronic design problems to resolution proofs to SAT solvers, this book focuses on the satisfiabilityof theories that consist of propositional logic ...

The Upanishads reveal that in the beginning, nothing existed: “This was but non-existence in the beginning. That became existence. That became ready to be manifest”. (Chandogya Upanishad 3.15.1) The creation began from this state of non-existence or nonduality, a state comparable to (0). One can add any number of zeros to (0), but there will be nothing except a big (0) because (0) is a neutral number. If we take (0) as Nirguna Brahman (God without any form and attributes), then (...) from where and how did the universe come into existence? -/- The neutral power (0) cannot produce anything without having an element of duality in it. Although Nirguna Brahman is neutral, it has a positive, negative, and neutral pole, constituting its Prakriti or nature. Prakriti has three latent Gunas (modes or qualities): Satva, Rajas, and Tamas. They are related to Gyana Shakti (the power of knowledge) Sankalpa Shakti (the power of ideation), and Kriya Shakti (the power of action). Science says that Atom is the basic element from which the universe evolved. The Atom has three nuclei- electron, pluton, and neutron. The Satva, Rajas, and Tamas in Indian spirituality are nothing but the mystical names for the nuclei of an atom. -/- According to Bhagavata Purana, Prakriti is also constituted of the elements of Time, Karma (action/destiny) and Swabhava (innate nature). Time disturbs the equilibrium of Gunas. From the aspect of Karma is produced an entity called Mahat, in the form of intelligence. Mahat is dominated by Satva and Rajas. From Mahat manifests the next evolute dominated by Tamas with three predominant qualities – Dravya (substance), Kriya (action), as well as intelligence. It forms to become the Ego principle (Ahamkara). -/- Ahamkara has three modes – Satvic, Rajasic and Tamasic. Satvic is Jnana oriented, Rajasic action-oriented and Tamasic Dravya (substance) oriented. From the Tamasic Ahankara, five gross elements are produced (ether, air, fire, water, and earth - Akash, Vayu, Agni, Jal and Prithvi). From the Satvic Ahamkara, guardian deities (the sun and moon, deities of sense organs, and organs of action) and from Rajasic Ahamkara, ten senses (Indriyas), five senses of perception, five organs of action, the faculties of intellect and Prana (life breath) are produced. -/- Bhagavata says that since these energies, elements, and faculties remained disassociated, they were combined to form a Cosmic Egg. The egg floats in the primal waters for a thousand years. Then God enters this Cosmic Egg and manifests himself as the Cosmic Purusha. He is the first nucleus, the God particle equivalent to the number (1) which is the embodiment of everything in the universe. The concept of creation and dissolution in Hinduism can be compared to the waves in an ocean that appear and disappear incessantly. The Manvantaras are such successive episodes of creation emerging from the Cosmic Person, the Manu who is embodied God-Consciousness, God himself. These episodes of creation are measured in Hinduism in terms of Manvantaras, the epochs of Manus. -/- Manu is the ‘First-Born’ (1) of God, the Cosmic Purusha from whom the world has originated. This Cosmic Person (Purusha) has been described as having fourteen biospheres (heavens) that are inhabited by various life forms in the order of evolution of consciousness. If we begin from the human biosphere (Bhuloka), there are ten astral biospheres that a man must transcend to attain liberation or Mukti from the cycle of births and deaths. -/- The number (1) produces the primary numbers up to (9) through the transmutation of the creational energies and qualities. The process can be related to the descent and cyclical evolution of (1) through ten spiritual stages, finally merging with the nondual (0). The number (10) marks the merger of (1) with (0). The Hindu worldview is that all life forms in an episode of creation must evolve to become one with the non-dual state (0) to attain liberation from the cycle of births and deaths in a cyclical process. -/- . (shrink)

An algebraic block-diagonalization of the Dirac Hamiltonian in a time-independent external field reveals a charge-index conservation law which forbids the physical phenomena of the Klein paradox type and guarantees a single-particle nature of the Dirac equation in strong external fields. Simultaneously, the method defines simpler quantum-mechanical objects—paulions and antipaulions, whose 2-component wave functions determine the Dirac electron states through exact operator relations. Based on algebraic symmetry, the presented theory leads to a new understanding of the Dirac equation physics, including (...) new insight into the Dirac measurements and a consistent scheme of relativistic quantum mechanics of electron in the paulion representation. Along with analysis of the mathematical anatomy of the Klein paradox falsity, a complete set of paradox-free eigenfunctions for the Klein problem is obtained and investigated via stationary solutions of the Pauli-like equations with respective paulion Hamiltonians. It is shown that the physically correct Dirac states in the Klein zone are characterized by the total particle reflection from the potential step and satisfy the fundamental charge-index conservation law. (shrink)

In this work, a neo-classical relativistic mechanics theory is presented where the spin of an electron is an inherent part of its world space-time path as a point particle. The fourth-order equation of motion corresponds to the same covariant Lagrangian function in proper time as in special relativity except for an additional spin energy term. The theory provides a hidden-variable model of the electron where the dynamic variables give a complete description of its motion, giving a classical mechanics (...) explanation of the electron’s spin, its dipole moments, and Schrödinger’s zitterbewegung, These features are also described mathematically by quantum mechanics theory, of course, but without any physical picture of an underlying reality. The total motion of the electron can be decomposed into a sum of a local spin motion about a point and a global motion of this point, called here the spin center. The global motion is sub-luminal and described by Newton’s Second Law in proper time, the time for a clock fixed at the spin center, while the total motion occurs at the speed of light c, consistent with the eigenvalues of Dirac’s velocity operators having magnitude c. The local spin motion is an inherent perpetual motion, which for a free electron is periodic at the ultra-high zitterbewegung frequency and its path is circular in a spin-center reference frame. In an electro-magnetic field, this spin motion generates magnetic and electric dipole energies through the Lorentz force on the electron’s point charge. The electric dipole energy corresponds to the spin-orbit coupling term involving the electric field that appears in the corrected Pauli non-relativistic Hamiltonian, which has long been used to explain the doublet structure of the spectral lines of the excited hydrogen atom. Pauli’s spin-orbit term is usually derived, however, from his magnetic dipole energy term, including also the effect of Thomas precession, which halves this energy. The magnetic dipole energy from Pauli’s and Dirac’s theory is twice that in the neo-classical theory, a discrepancy that has not been resolved. By defining a spin tensor as the angular momentum of the electron’s total motion about its spin center, the fundamental equations of motion can be re-written in an identical form to those of the Barut–Zanghi electron theory. This allows the equations of motion to be expressed in an equivalent form involving operators applied to a state function of proper time satisfying a neo-classical Dirac–Schrödinger spinor equation. This state function produces the dynamic variables from the same operators as in Dirac’s theory for the electron but without any probability implications. It leads to a neo-classical wave function that satisfies Dirac’s relativistic wave equation for the free electron by applying the Lorentz transformation to express proper time in the state function in terms of an observer’s space-time coordinates, showing that there is a close connection between the neo-classical theory and quantum mechanics theory for the electron’s dynamics. (shrink)

A macroscopic realization of the peculiar virtual particles is presented. The classical Helmholtz and the Schrödinger equations are differential equations of the same mathematical structure. The solutions with an imaginary wave number are called evanescent modes in the case of elastic and electromagnetic fields. In the case of non-relativistic quantum mechanical fields they are called tunneling solutions. The imaginary wave numbers point to strange consequences: The waves are non-local, they are not observable, and they are described as virtual particles. (...) During the last two decades QED calculations of the solutions with an imaginary wave number have been experimentally confirmed for phonons, photons, and electrons. The experimental proofs of the predictions of non-relativistic quantum mechanics and the Wigner phase time approach for the elastic, electromagnetic and Schrödinger fields will be presented in this article. The results are zero time in the barrier and an interaction time (i.e. a phase shift) at the barrier interfaces. The measured tunneling time scales approximately inversely with the particle energy. Actually, the tunneling time is given only by the barrier boundary interaction time, as zero time is spent inside a barrier. (shrink)

I argue that the role played by infons in the kind of mathematical theory of information being developed by several workers affiliated to CSLI is analogous to that of the various number systems in mathematics. In particular, I present a mathematical construction of infons in terms of representations and informational equivalences between them. The main theme of the paper arose from an electronic mail exchange with Pat Hayes of Xeroxparc. The exposition derives from a talk I gave at (...) theTheories of Partial Information conference held at the University of Texas at Austin, January 1990. (shrink)

In this contribution we propose an agent architecture for theorem proving which we intend to investigate in depth in the future. The work reported in this paper is in an early state, and by no means finished. We present and discuss our proposal in order to get feedback from the Calculemus community.

George Spencer Brown, a polymath and author of Laws of Form, brought together mathematics, electronics, engineering and philosophy to form an unlikely bond. This book investigates Design with the NOR, the title of the yet unpublished 1961 typescript by Spencer Brown. The typescript formed through the author's experiences as technical engineer and developer of a new form of switching algebra for Mullard Equipment LTD., a British manufacturer of electronic components. Related essays contextualise the typescript drawing on a variety of backgrounds (...) from mathematics and engineering to philosophy and sociology. (shrink)

Taxonomy Based modeling was applied to describe drivers’ mental models of variable message signs (VMS’s) displayed on expressways. Progress in road telematics has made it possible to introduce variable message signs (VMS’s). Sensors embedded in the carriageway every 500m record certain variables (speed, flow rate, etc.) that are transformed in real time into “driving times” to a given destination if road conditions do not change.VMS systems are auto-regulative Man-Machine (AMMI) systems which incorporate a model of the user: if the traffic (...) flow is too high, then drivers should choose alternative routes. In so doing, the traffic flow should decrease. The model of the user is based on suppositions such as: people do not like to waste time, they fully understand the displayed messages, they trust the displayed values, they know of alternative routes. However, people also have a model of the way the system functions. And if they do not believe the contents of the message, they will not act as expected.We collected data through interviews with drivers using the critical incidents technique (Flanagan, 1985). Results show that the mental models that drivers have of the way the VMS system works are various but not numerous and that most of them differ from the“ideal expert” mental model. It is clear that users don’t have an adequate model of how the VMS system works and that VMS planners have a model of user behaviour that does not correspond to the behaviour of the drivers we interviewed. Finally, Taxonomy Based Modeling is discussed as a tool for mental model remediation. (shrink)

The double slit experiment for a massive scalar particle is described using intuitionistic logic with quantum real numbers as the numerical values of the particle's position and momentum. The model assigns physical reality to single quantum particles. Its truth values are given open subsets of state space interpreted as the ontological conditions of a particle. Each condition determines quantum real number values for all the particle's attributes. Questions, unanswerable in the standard theories, concerning the behaviour of single particles in the (...) experiment are answered. (shrink)

This book explains, in lay terms, the surprisingly simple system of mathematical logic used in digital computer circuitry. Anecdotal in its style and often funny, it follows the development of this logic system from its origins in Victorian England to its rediscovery in this century as the foundation of all modern computing machinery. ONES AND ZEROS will be enjoyed by anyone who has a general interest in science and technology.

Theory of Computation -- Mathematical Logic and Formal Languages.

The present article discusses the computational tools (both conceptual and material) used in various attempts to deal with individual cases of FLT, as well as the changing historical contexts in which these tools were developed and used, and affected research. It also explores the changing conceptions about the role of computations within the overall disciplinary picture of number theory, how they influenced research on the theorem, and the kinds of general insights thus achieved. After an overview of Kummer’s contributions and (...) its immediate influence, I present work that favored intensive computations of particular cases of FLT as a legitimate, fruitful, and worth-pursuing number-theoretical endeavor, and that were part of a coherent and active, but essentially low-profile tradition within nineteenth century number theory. This work was related to table making activity that was encouraged by institutions and individuals whose motivations came mainly from applied mathematics, astronomy, and engineering, and seldom from number theory proper. A main section of the article is devoted to the fruitful collaboration between Harry S. Vandiver and Emma and Dick Lehmer. I show how their early work led to the hesitant introduction of electronic computers for research related with FLT. Their joint work became a milestone for computer-assisted activity in number theory at large. (shrink)

It is widely assumed that there exist certain objects which can in no way be distinguished from each other, unless by their location in space or other reference-system. Some of these are, in a broad sense, 'empirical objects', such as electrons. Their case would seem to be similar to that of certain mathematical 'objects', such as the minimum set of manifolds defining the dimensionality of an R -space. It is therefore at first sight surprising that there exists no branch (...) of mathematics, in which a third parity-relation, besides equality and inequality, is admitted; for this would seem to furnish an appropriate model for application to such instances as these. I hope, in this work, to show that such a mathematics in feasible, and could have useful applications if only in a limited field. The concept of what I here call 'indistinguishability' is not unknown in logic, albeit much neglected. It is mentioned, for example, by F. P. Ramsey [1] who criticizes Whitehead and Russell [2] for defining 'identity' in such a way as to make indistinguishables identical. But, so far as I can discover, no one has made any systematic attempt to open up the territory which lies behind these ideas. What we find, on doing so, is a body of mathematics, offering only a limited prospect of practical usefulness, but which on the theoretical side presents a strong challenge to conventional ideas. (shrink)

This book's activities highlight the important cycle of exploration, conjecture, and justification in all five mathematical strands. Students recognize patterns and make conjectures, learn the value of a counterexample, explore the strengths and weaknesses of visual proofs, discover the power of algebraic representations, and learn that theoretical approaches can substantiate empirical results. The supplemental CD-ROM features interactive electronic activities, master copies of activity pages for students, and additional readings for teachers. --publisher description.

C.F Gauss’s computational work in number theory attracted renewed interest in the twentieth century due to, on the one hand, the edition of Gauss’s Werke, and, on the other hand, the birth of the digital electronic computer. The involvement of the U.S. American mathematicians Derrick Henry Lehmer and Daniel Shanks with Gauss’s work is analysed, especially their continuation of work on topics as arccotangents, factors of n2 + a2, composition of binary quadratic forms. In general, this strand in Gauss’s reception (...) is part of a more general phenomenon, i.e. the influence of the computer on mathematics and one of its effects, the reappraisal of mathematical exploration. (shrink)

Previous discussions of Robb’s work on space and time have offered a philosophical focus on causal interpretations of relativity theory or a historical focus on his use of non-Euclidean geometry, or else ignored altogether in discussions of relativity at Cambridge. In this paper I focus on how Robb’s work made contact with those same foundational developments in mathematics and with their applications. This contact with applications of new mathematical logic at Göttingen and Cambridge explains the transition from his (...) class='Hi'>electron research to his treatment of relativity in 1911 and finally to the axiomatic presentation in 1914 in terms of postulates. At the heart of Robb’s physical optics was the model of the light cone. The model underwent a transition from a working mechanical model in the Maxwellian Cambridge sense of a pedagogical and research tool to the semantic model, in the logical, model-theoretic sense. Robb tracked this transition from the 19th- to the 20th-century conception with the earliest use of the term ‘model’ in the new sense. I place his cone models in a genealogy of similar models and use their evolution to track how Robb’s physical researches were informed by his interest in geometry, logic and the foundations of mathematics. (shrink)

The mathematical genius Alan Turing, well known for his crucial wartime role in breaking the ENIGMA code, was the first to conceive of the fundamental principle of the modern computer. This text contains first hand accounts by Turing and by the pioneers of computing who worked with him on his revolutionary design for an electronic computing machine - his Automatic Computing Engine.

Otdvio Bueno, Empiricism, Mathematical Truth and Mathematical Knowledge 219 Commentary by Chuang Liu. Reply by Bueno. Chuang Liu, Coins and Electrons: A ...

Historical accounts of the work of J. J. Thomson find a contradiction in his work. On the one hand, he is presented as a Maxwellian theoretical physicist dealing with a typically Victorian entity, the ether. On the other hand, the analysis of his experimental work at the Cavendish seems to have little connection with his mathematical work. In this paper, I discuss the metaphysical views of J. J. Thomson, and argue that his deep belief in the ultimate continuity of (...) matter can be seen to give a framework to both his theoretical and his experimental work. His metaphysical beliefs were not in the least shaken by the discovery of discrete phenomena and entities, not even by his suggestion of the existence of corpuscles later known as electrons. His formation in Cambridge, together with some ideas that he acquired in his youth at Owens College, Manchester, are the key to understanding his metaphysics and the role it plays in his scientific work. (shrink)

The onset of the electronics-based information revolution will augur changes in the sociological perceptions of 'suitable careers' for women. This phenomenon is particularly evident in rural Appalachia. A planned, systematic delivery system was designed, developed, and implemented by Southwest Virginia Community College to introduce women to the challenges and possibilities of technical careers. This was accomplished through a gradualized phase-in to Technological Literacy, followed by in-depth involvement, culminating in an industrial internship experience. A special curriculum was designed to ease the (...) transition of the women, most of whom were homemakers, into the fast-paced mainstream of the academic environment. Duration of the introductory segment was one academic quarter. All project participants were clustered in a peer group, led by the project director, a trained counselor. In addition to a central course on Career Directions for Women, the program design emphasized Industrial Dynamics, the variety of uses possible with "user-friendly" microcomputers, Computer-Assisted Drafting, Electronics Instrumentation, Mathematics and Communications. Field experiences and visits to area industries were integrated into the program plan, as were visits from women who had achieved success in technical careers. Particular efforts were made to arrange for visits by the limited number of women alumni from the college's technical programs. Students were then mainstreamed into a regular program in Electronics or Computer Aided Drafting in the intermediate segment. Students are given a closer look at the industrial sector in the final segment. An examination of the social structure in Appalachian Virginia is presented, together with an albeit tentative prediction of the implications for female wage earners in this highly traditional region, so dependent heretofore on coal mining. Finally, the concept of whether this effort will lead to evolution, rather than revolution, is discussed. While covering a somewhat homogeneous and unique population cluster, the action blueprint outlined can be applied to other population groups in the U.S. and abroad. (shrink)

The development of machine learning and deep learning (DL) in the field of AI (artificial intelligence) is the direct result of the advancement of nano-electronics. Machine learning is a function that provides the system with the capacity to learn from data without being programmed explicitly. It is basically a mathematical and probabilistic model. DL is part of machine learning methods based on artificial neural networks, simply called neural networks (NNs), as they are inspired by the biological NNs that constitute (...) organic brains. Despite its similarity to biological organs such as human brains, major problems arise in trying to attribute moral responsibility to autonomic systems based on hardware including nano-electronic devices, which are sought to replace humans (moral agents) in the context of AI. It is suggested that the required emotional environment which enables actions according to reasons in humans is not witnessed at AI devices. Though AI technology raises an enticing resemblance to human actions, this resemblance is to be considered with a skeptical eye. It is because actions are associated with reasons while causes are connected to operations. Human agents are capable of acting upon their reasons, while AI devices are limited only to operations as they are conditioned by their programming, which is considered as an embodiment of some causes. As moral responsibility goes hand in hand with the capacity to act (according to reasons), attributing moral responsibility to AI devices is revealed to be but a misleading metaphor. (shrink)

The mathematical framework of Relativistic Schrödinger Theory (RST) is generalized in order to include the self-interactions of the particles as an integral part of the theory (i.e. in a non-perturbative way). The extended theory admits a Lagrangean formulation where the Noether theorems confirm the existence of the conservation laws for charge and energy–momentum which were originally deduced directly from the dynamical equations. The generalized RST dynamics is applied to the case of some heavy helium-like ions, ranging from germanium (Z=32) (...) to bismuth (Z=83), in order to compute the interaction energy of the two electrons in their ground-state. The present inclusion of the electron self-energies into RST yields a better agreement of the theoretical predictions with the experimental data. (shrink)

We show that the Bohmian approach in terms of persisting particles that move on continuous trajectories following a deterministic law can be literally applied to quantum field theory. By means of the Dirac sea model—exemplified in the electron sector of the standard model neglecting radiation—we explain how starting from persisting particles, one is led to standard QFT employing creation and annihilation operators when tracking the dynamics with respect to a reference state, the so-called vacuum. Since on the level of (...) wave functions, both formalisms are mathematically equivalent, this proposal provides for an ontology of QFT that includes a dynamics of individual processes, solves the measurement problem, and explains the appearance of creation and annihilation events. 1Bohmian Mechanics from Quantum Mechanics to Quantum Field Theory2The Dirac Sea Model3Equilibrium States and the Vacuum4Excitations of the Vacuum and the Fock Space Formalism5The Appearance of Particle Creations and Annihilations6The Merits of the Bohmian Approach. (shrink)

Some recent work in mathematical chemistry is discussed. It is claimed that quantum mechanics does not provide a conclusive means of classifying certain elements like hydrogen and helium into their appropriate groups. An alternative approach using atomic number triads is proposed and the validity of this approach is defended in the light of some predictions made via an information theoretic approach that suggests a connection between nuclear structure and electronic structure of atoms.

Previous discussions of Robb’s work on space and time have offered a philosophical focus on causal interpretations of relativity theory or a historical focus on his use of non-Euclidean geometry, or else ignored altogether in discussions of relativity at Cambridge. In this paper I focus on how Robb’s work made contact with those same foundational developments in mathematics and with their applications. This contact with applications of new mathematical logic at Göttingen and Cambridge explains the transition from his (...) class='Hi'>electron research to his treatment of relativity in 1911 and finally to the axiomatic presentation in 1914 in terms of postulates. At the heart of Robb’s physical optics was the model of the light cone. The model underwent a transition from a working mechanical model in the Maxwellian Cambridge sense of a pedagogical and research tool to the semantic model, in the logical, model-theoretic sense. Robb tracked this transition from the 19th- to the 20th-century conception with the earliest use of the term ‘model’ in the new sense. I place his cone models in a genealogy of similar models and use their evolution to track how Robb’s physical researches were informed by his interest in geometry, logic and the foundations of mathematics. (shrink)

On standard accounts of scientific theorizing, the role of idealizations is to facilitate the analysis of some real world system by employing a simplified representation of the target system, raising the obvious worry about how reliable knowledge can be obtained from inaccurate descriptions. The idealizations involved in the Aharonov–Bohm effect do not, it is claimed, fit this paradigm; rather the target system is a fictional system characterized by features that, though physically possible, are not realized in the actual world. The (...) point of studying such a fictional system is to understand the foundations of quantum mechanics and how its predictions depart from those of classical mechanics. The original worry about the use of idealizations is replaced by a new one; namely, how can actual world experiments serve to confirm the AB effect if it concerns the behavior of a fictional system? Struggle with this issue helps to account for the fact that almost three decades elapsed before a consensus emerged that the predicted AB effect had received solid experimental support. Standard accounts of idealizations tout the role they play in making tractable the analysis of the target system; by contrast, the idealizations involved in the AB effect make its analysis both conceptually and mathematically challenging. The idealizations required for the AB effect are also responsible for the existence of unitarily inequivalent representations of the canonical commutation relations and of the current algebra, representations which an observer confined to the electron’s configuration space could invoke to ‘explain’ AB-type effect without the need to posit a hidden magnetic field. The goal of this paper is to bring to the attention of the philosophers of science these and other aspects of the AB effect which are neglected or inadequately treated in literature. (shrink)

In this book Georges Ibongu shows that Ernst Cassirer adopts a sort of structural realism in his writings on physics. Cassirer does not deny the existence of physical entities. For him, however, a physical entity loses its absolute fixity and is involved in the process of physical knowledge. The electron is a definite object but cannot, as an individual, be designated by being here and now. The individuality of simple particles means, for Cassirer, that they are only describable as (...) points of intersection of definite relations or structures. (shrink)

According to classical molecular chemistry, molecules have a structure, that is, they are sets of atoms with a definite arrangements in space and held together by chemical bonds. The concept of molecular structure is central to modern chemical thought given its impressive predictive power. It is also a very useful concept in chemistry education, due to its role in the rationalization and visualization of microscopic phenomena. However, such a concept seems to find no place in the ontology described by quantum (...) mechanics, since it appeals to classical notions such as the position of the atomic nuclei or the individuality of electrons. Although this problem has attracted the attention of several authors, the discussion is far from settled. Some authors adopt an explicitly reductionist position and advocate to reconstruct the concept of molecular structure within the framework of the quantum theory. Others, although acknowledging the conceptual discontinuity between quantum mechanics and molecular chemistry, keep the hope of future reduction alive. From an explicitly non-reductionist position, on the contrary, others authors conceive molecular structure as an emergent phenomenon. The purpose of this article is to propose a different line of argumentation to address this problem. By contrast to reduction and emergence, the admission of a multiplicity of ontologies, not necessarily linked by hierarchical connections, cancels the need of finding a relation of dependence between the molecular level and the quantum level. This ontologically pluralist position can be applied to the issue of molecular structure, in order to argue that it is possible to admit the existence of structure in the ontology of molecular chemistry, in spite of the fact that it does not exist in the quantum world. (shrink)

Think of a number, any number, or properties like fragility and humanity. These and other abstract entities are radically different from concrete entities like electrons and elbows. While concrete entities are located in space and time, have causes and effects, and are known through empirical means, abstract entities like meanings and possibilities are remarkably different. They seem to be immutable and imperceptible and to exist "outside" of space and time. This book provides a comprehensive critical assessment of the problems raised (...) by abstract entities and the debates about existence, truth, and knowledge that surround them. It sets out the key issues that inform the metaphysical disagreement between platonists who accept abstract entities and nominalists who deny abstract entities exist. Beginning with the essentials of the platonist–nominalist debate, it explores the key arguments and issues informing the contemporary debate over abstract reality: arguments for platonism and their connections to semantics, science, and metaphysical explanation the abstract–concrete distinction and views about the nature of abstract reality epistemological puzzles surrounding our knowledge of mathematical entities and other abstract entities. arguments for nominalism premised upon concerns about paradox, parsimony, infinite regresses, underdetermination, and causal isolation nominalist options that seek to dispense with abstract entities. Including chapter summaries, annotated further reading, and a glossary, _Entities_ is essential reading for anyone seeking a clear and authoritative introduction to the problems raised by abstract entities. (shrink)

Scholars in both digital humanities and media studies have noted an apparent disconnect between computation and the interpretive methods of the humanities. Alan Liu has argued that literary scholars employing digital methods encounter a “meaning problem” due to the difficulty of reconciling algorithmic methods with interpretive ones. Conversely, the media scholar Friedrich Kittler has questioned the adequacy of hermeneutics as a means of studying computers. This paper argues that that this disconnect results from a set of contingent decisions made in (...) both humanistic and mathematical disciplines in the first half of the nineteenth century that delineated, with implications that continue to resonate in the present day, which aspects of human activity would come to be formalized in algorithms and which would not. I begin with a discussion of Nicolas de Condorcet, who attempted, at the height of the 1789 revolution, to turn algebra into a universal language; his work, I argue, exemplifies the form of algorithmic thinking that existed before the Romantic turn. Next, I discuss William Wordsworth’s arguments about the relationship of poetry and science. While Wordsworth is sometimes viewed as a critic of science, I argue that his polemic is specifically targeted at highly politicized projects like Condorcet’s that sought to supplant existing modes of thought with scientific rationality. Finally, I demonstrate the importance of Romantic thought for George Boole, creator of the logic system that would eventually form the basis of digital electronics. The reason Boole was able to succeed where Condorcet had failed, I argue, was that Romantic notions of culture enabled him to reconcile a mechanical view of mathematical reasoning with an organic view of the development of meaning—a dichotomy that remains a key assumption of computer interfaces in the twenty-first century. (shrink)

Within the context of exploring new electronic arts' aesthetic regions and unexampled connections between generative art, games and mythology, my practical artistic research was led to focus on labyrinthine structures as exquisite legendary spatial gaming devices and as possible pathways to gain deeper humane insights, resulting into discoveries of original methods of labyrinth formation by means other than human. Labyrinths and mazes are inextricable paths, human made millennial structures that provide spatial challenges often connected with feedback, compression, entanglement and hyper (...) complexification of goal oriented displacement. They are perhaps the most ancient example of structure for spatial and serious games. Novel methods for labyrinth creation ‐ non-human methods ‐ are introduced and exemplified through artistic constructs. These new methods utilize non-human bioelectronic techniques and are initially grouped into three distinct sub-categories: the 'open' method, the 'mathematical flower' method, the 'animal' method. Four case examples of artistic non-human labyrinths resorting to the introduced novel methods are explored: k. video games (2007, 2010), Wolfanddotcom video game (2017), 8-bit Maze Gardens vegetable paintings (2018‐present), Ant Ennae Labyrinths bio-electronic apparatus (2019‐present). (shrink)

This paper is expected to introduce a novel memductor-based chaotic system. The local dynamical entities, such as the basic dynamical behavior, the divergence, the stability of equilibrium set, and the Lyapunov exponent, are all investigated analytically and numerically to reveal the dynamic characteristics of the new memductor-based chaotic system as the system parameters and the initial state of memristor change. Subsequently, an active control method is derived to study the synchronous stability of the novel memductor-based chaotic system through making the (...) synchronization error system asymptotically stable at the origin. Further to these, a memductor-based chaotic circuit is designed, realized, and applied to construct a new memductor-based secure communication circuit by employing the basic electronic components and memristor. Furthermore, the design principle of the memductor-based chaotic circuit is thoroughly analyzed and the concept of “the memductor-based chaotic circuit defect quantification index” is proposed for the first time to verify whether the chaotic output is consistent with the mathematical model. A good qualitative agreement is shown between the simulations and the experimental validation results. (shrink)