Results for 'mathematical electron'

1000+ found
Order:
  1.  6
    Takakazu Simauti. Mechanization of Mathematics. Electronics and Communications in Japan, Vol. 46 No. 11 , Pp. 64–70.H. Enderton - 1970 - Journal of Symbolic Logic 35 (3):484.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Mathematical Investigations Connected with the Operation of Electronic Computing Machines.Ann M. Singletery & A. A. Lapunov - 1966 - Journal of Symbolic Logic 31 (3):516.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  6
    A Mathematical Model and an Electronic Model for Learning.L. Benjamin Wyckoff - 1954 - Psychological Review 61 (2):89-97.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  3
    Review: A. A. Lapunov, Mathematical Investigations Connected with the Operation of Electronic Computing Machines. [REVIEW]Ann M. Singletery - 1966 - Journal of Symbolic Logic 31 (3):516-516.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Of Numbers and Electrons.Cian Dorr - 2010 - Proceedings of the Aristotelian Society 110 (2pt2):133-181.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  6.  27
    Michael A. Harrison. The Number of Transitivity Sets of Boolean Functions. Journal of the Society for Industrial and Applied Mathematics, T. 11 , P. 806–828. - Michael A. Harrison. The Number of Equivalence Classes of Boolean Functions Under Groups Containing Negation. IEEE Transactions on Electronic Computers, T. EC-12 , P. 559–561. - Michael A. Harrison. On the Number of Classes of Switching Networks. Journal of the Franklin Institute, T. 276 , P. 313–327. - Michael A. Harrison. The Number of Classes of Invertible Boolean Functions. Journal of the Association for Computing Machinery, T. 10 , P. 25–28. [REVIEW]J. Kuntzmann - 1970 - Journal of Symbolic Logic 35 (1):160-161.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  28
    Vaughan R. Pratt. Semantical Considerations on Floyd–Hoare Logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, Pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional Dynamic Logic of Regular Programs. Journal of Computer and System Sciences, Vol. 18 , Pp. 194–211. - Krister Segerberg. A Completeness Theorem in the Modal Logic of Programs. Universal Algebra and Applications. Papers Presented at Stefan Banach International Mathematical Center at the Semester “Universal Algebra and Applications” Held February 15–June 9, 1978, Edited by Tadeuz Traczyk, Banach Center Publications, Vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, Pp. 31–46. - Rohit Parikh. The Completeness of Propositional Dynamic Logic. Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4–8, 1978, Edited by J. Winkowski, Lecture Notes in Computer Science, Vol. 64, Springe. [REVIEW]Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
  8.  11
    Burks Arthur W.. The Logic of Programming Electronic Digital Computers. Industrial Mathematics , Vol. 1 , Pp. 36–52.A. M. Turing - 1953 - Journal of Symbolic Logic 18 (2):179-179.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. Experimental Mathematics.Alan Baker - 2008 - Erkenntnis 68 (3):331-344.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  10.  58
    Two Paradoxes of Common Knowledge: Coordinated Attack and Electronic Mail.Harvey Lederman - 2018 - Noûs:921-945.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  11. Reformulation of Dirac’s Theory of Electron to Avoid Negative Energy or Negative Time Solution.Biswaranjan Dikshit - 2017 - Journal of Theoretical Physics and Cryptography 13:1-4.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  18
    The Classical Electron Problem.Tepper L. Gill, W. W. Zachary & J. Lindesay - 2001 - Foundations of Physics 31 (9):1299-1355.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Platonism in the Philosophy of Mathematics.Øystein Linnebo - forthcoming - Stanford Encyclopedia of Philosophy.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  14.  37
    Quantum Mathematical Cognition Requires Quantum Brain Biology: The “Orch OR” Theory.Stuart R. Hameroff - 2013 - Behavioral and Brain Sciences 36 (3):287-290.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  39
    On Virtual Phonons, Photons, and Electrons.Günter Nimtz - 2009 - Foundations of Physics 39 (12):1346-1355.
    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. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  14
    Charge Conservation, Klein’s Paradox and the Concept of Paulions in the Dirac Electron Theory: New Results for the Dirac Equation in External Fields.Y. V. Kononets - 2010 - Foundations of Physics 40 (5):545-572.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  4
    Godel's Disjunction: The Scope and Limits of Mathematical Knowledge.Leon Horsten & Philip Welch (eds.) - 2016 - Oxford, England: Oxford University Press UK.
    To what extent can we hope to find answers to all mathematical questions? A famous theorem from Gödel entails that if our thinking capacities do not go beyond what an electronic computer is capable of, then there are indeed absolutely unsolvable mathematical problems. Thus it is of capital importance to find out whether human mathematicians can outstrip computers. Within this context, the contributions to this book critically examine positions about the scope and limits of human mathematical knowledge.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  18.  13
    Introduction to Mathematics of Satisfiability.V. W. Marek - 2009 - Taylor & Francis.
    From electronic design problems to resolution proofs to SAT solvers, this book focuses on the satisfiabilityof theories that consist of propositional logic ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  34
    Infons as Mathematical Objects.Keith J. Devlin - 1992 - Minds and Machines 2 (2):185-201.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  46
    An Intuitionistic Model of Single Electron Interference.J. V. Corbett & T. Durt - 2010 - Studia Logica 95 (1-2):81-100.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21.  14
    Computers as a Source of A Posteriori Knowledge in Mathematics.Mikkel Willum Johansen & Morten Misfeldt - 2016 - International Studies in the Philosophy of Science 30 (2):111-127.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  22.  10
    Agent Based Mathematical Reasoning.Christoph Benzmüller, Mateja Jamnik, Manfred Kerber & Volker Sorge - 1999 - Electronic Notes in Theoretical Computer Science, Elsevier 23 (3):21-33.
    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.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  5
    Green Open Access in Astronomy and Mathematics: The Complementarity of Routines Among Authors and Readers.Niels Taubert - 2021 - Minerva 59 (2):173-194.
    Open access to publications has become a major topic in science policy. However, electronic publication providing free access to research via the internet is more than a decade older, was invented in the 1990s and driven by parts of the scientific community. This paper focuses on two disciplines in which green OA is well established. It asks how authors and readers use the central disciplinary repository and how they are thereby included in the communication system of their disciplines. Drawing on (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  3
    Ones and Zeros: Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets.John Gregg - 1998 - IEEE Pres.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  53
    Self-Energy and Action Principle in Relativistic Schrödinger Theory.P. Schust, F. Stary, M. Mattes & M. Sorg - 2005 - Foundations of Physics 35 (6):1043-1105.
    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) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  20
    Alan Turing's Automatic Computing Engine: The Master Codebreaker's Struggle to Build the Modern Computer.B. Jack Copeland (ed.) - 2005 - Oxford University Press.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Explaining the Periodic Table, and the Role of Chemical Triads.Eric Scerri - 2010 - Foundations of Chemistry 12 (1):69-83.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  28. The Theory of Indistinguishables a Search for Explanatory Principles Below the Level of Physics.A. F. Parker-Rhodes - 1981 - Springer.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Navigating Through Reasoning and Proof in Grades 9-12.Maurice Joseph Burke (ed.) - 2008 - National Council of Teachers of Mathematics.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  81
    Abstract Entities.Sam Cowling - 2017 - Routledge.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  31. Images and Logic of the Light Cone: Tracking Robb’s Postulational Turn in Physical Geometry.Jordi Cat - 2016 - Revista de Humanidades de Valparaíso 8:39-100.
    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 (...) 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)
     
    Export citation  
     
    Bookmark  
  32.  32
    A Persistent Particle Ontology for QFT in Terms of the Dirac Sea.Dirk-André Deckert, Michael Esfeld & Andrea Oldofredi - forthcoming - British Journal for the Philosophy of Science.
    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 QFT. 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  33. Digital Techniques 2 Checkbook.J. O. Bird & A. J. C. May - 1982
    No categories
     
    Export citation  
     
    Bookmark  
  34. Digital Techniques 3 Checkbook.J. O. Bird & R. E. Vears - 1983
    No categories
     
    Export citation  
     
    Bookmark  
  35.  24
    A Persistent Particle Ontology for Quantum Field Theory in Terms of the Dirac Sea.Dirk-André Deckert, Michael Esfeld & Andrea Oldofredi - 2019 - British Journal for the Philosophy of Science 70 (3):747-770.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  36. A New Theory of the Relationship of Mind and Matter.David J. Bohm - 1986 - Journal of the American Society for Psychical Research 80 (2 & 3):113-35.
    The relationship of mind and matter is approached in a new way in this article. This approach is based on the causal interpretation of the quantum theory, in which an electron, for example, is regarded as an inseparable union of a particle and afield. This field has, however, some new properties that can be seen to be the main sources of the differences between the quantum theory and the classical (Newtonian) theory. These new properties suggest that the field may (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  37.  6
    Dynamic Analysis, Circuit Design, and Synchronization of a Novel 6D Memristive Four-Wing Hyperchaotic System with Multiple Coexisting Attractors.Fei Yu, Li Liu, Hui Shen, Zinan Zhang, Yuanyuan Huang, Changqiong Shi, Shuo Cai, Xianming Wu, Sichun Du & Qiuzhen Wan - 2020 - Complexity 2020:1-17.
    In this work, a novel 6D four-wing hyperchaotic system with a line equilibrium based on a flux-controlled memristor model is proposed. The novel system is inspired from an existing 5D four-wing hyperchaotic system introduced by Zarei. Fundamental properties of the novel system are discussed, and its complex behaviors are characterized using phase portraits, Lyapunov exponential spectrum, bifurcation diagram, and spectral entropy. When a suitable set of parameters are chosen, the system exhibits a rich repertoire of dynamic behaviors including double-period bifurcation (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  38.  21
    The Role of Idealizations in the Aharonov–Bohm Effect.John Earman - 2019 - Synthese 196 (5):1991-2019.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  39.  29
    The Role of Idealizations in the Aharonov–Bohm Effect.John Earman - 2017 - Synthese:1-29.
    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 (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  40. A New Theory of the Relationship of Mind and Matter.David Bohm - 1990 - Philosophical Psychology 3 (2 & 3):271 – 286.
    The relationship of mind and matter is approached in a new way in this article. This approach is based on the causal interpretation of the quantum theory, in which an electron, for example, is regarded as an inseparable union of a particle and afield. This field has, however, some new properties that can be seen to be the main sources of the differences between the quantum theory and the classical (Newtonian) theory. These new properties suggest that the field may (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  41.  9
    Logic, Probability and Science.N. Shanks & R. Gardner (eds.) - 2000 - Atlanta: Rodopi.
    Otdvio Bueno, Empiricism, Mathematical Truth and Mathematical Knowledge 219 Commentary by Chuang Liu. Reply by Bueno. Chuang Liu, Coins and Electrons: A ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  1
    Technical Careers for Women: A Perspective From Rural Appalachia.Michael N. Bishara - 1987 - Bulletin of Science, Technology and Society 7 (1-2):260-272.
    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 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  1
    Zagreb Connection Indices of Molecular Graphs Based on Operations.Jinde Cao, Usman Ali, Muhammad Javaid & Chuangxia Huang - 2020 - Complexity 2020:1-15.
    Topological index is a mathematical coding of the molecular graphs that predicts the physicochemical, biological, toxicological, and structural properties of the chemical compounds that are directly associated with the molecular graphs. The Zagreb connection indices are one of the TIs of the molecular graphs depending upon the connection number appeared in 1972 to compute the total electron energy of the alternant hydrocarbons. But after that, for a long period, these are not studied by researchers. Recently, Ali and Trinajstic (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  66
    Is Science Inconsistent?Otávio Bueno & Peter Vickers - 2014 - Synthese 191 (13):2887-2889.
    There has always been interest in inconsistency in science, not least within science itself as scientists strive to devise a consistent picture of the universe. Some important early landmarks in this history are Copernicus’s criticism of the Ptolemaic picture of the heavens, Galileo’s claim that Aristotle’s theory of motion was inconsistent, and Berkeley’s claim that the early calculus was inconsistent. More recent landmarks include the classical theory of the electron, Bohr’s theory of the atom, and the on-going difficulty of (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  45.  1
    Building the Black Box: Cyberneticians and Complex Systems.Elizabeth R. Petrick - 2020 - Science, Technology, and Human Values 45 (4):575-595.
    In the 1950s and 1960s, cyberneticians defined and utilized a concept previously described by electronic engineers: the black box. They were interested in how it might aid them, as both a metaphor and as a physical or mathematical model, in their analysis of complex human-machine systems. The black box evolved as they applied it in new ways, across a range of scientific fields, from an unnamed concept involving inputs and outputs, to digital representations of the human brain, to white (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  75
    Aspects of Complexity in Life and Science.Claus Emmeche - 1997 - Philosophica 59.
    A short review of complexity research from the perspective of history and philosophy of biology is presented. Complexity and its emergence has scientific and metaphysical meanings. From its beginning, biology was a science of complex systems, but with the advent of electronic computing and the possibility of simulating mathematical models of complicated systems, new intuitions of complexity emerged, together with attempts to devise quantitative measures of complexity. But can we quantify the complex?
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  47. Natural Language Understanding and Logic Programming: Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984. [REVIEW]Veronica Dahl & Patrick Saint-Dizier (eds.) - 1985 - Amsterdam, Netherlands: North Holland.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Fundamental Theory.Arthur Stanley Eddington & Edmund Taylor Whittaker - 1946 - The University Press.
    Fundamental Theory has been called an "unfinished symphony" and "a challenge to the musicians among natural philosophers of the future". This book, written in 1944 but left unfinished because Eddington died too soon, proved to be his final effort at a vision for harmonization of quantum physics and relativity. The work is less connected and internally integrated than 'Protons and Electrons' while representing a later point in the author's thought arc. The really interested student should read both books together.The physical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  49.  23
    Domains and Lambda-Calculi.Roberto M. Amadio - 1998 - Cambridge University Press.
    This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. An Argument for Robust Metanormative Realism.David Enoch - 2003 - Dissertation, New York University
    In this essay, I defend a view I call “Robust Realism” about normativity. According to this view, there are irreducibly, perfectly objective, normative truths, that when successful in our normative inquiries we discover rather than create or construct. My argument in support of Robust Realism is modeled after arguments from explanatory indispensability common in the philosophy of science and the philosophy of mathematics. I argue that irreducibly normative truths, though not explanatorily indispensable, are nevertheless deliberatively indispensable, and that this kind (...)
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 1000