Results for ' topological studies in mathematics'

1000+ found
Order:
  1. Ordered groups: A case study in reverse mathematics.Reed Solomon - 1999 - Bulletin of Symbolic Logic 5 (1):45-58.
    The fundamental question in reverse mathematics is to determine which set existence axioms are required to prove particular theorems of mathematics. In addition to being interesting in their own right, answers to this question have consequences in both effective mathematics and the foundations of mathematics. Before discussing these consequences, we need to be more specific about the motivating question.Reverse mathematics is useful for studying theorems of either countable or essentially countable mathematics. Essentially countable (...) is a vague term that is best explained by an example. Complete separable metric spaces are essentially countable because, although the spaces may be uncountable, they can be understood in terms of a countable basis. Simpson gives the following list of areas which can be analyzed by reverse mathematics: number theory, geometry, calculus, differential equations, real and complex analysis, combinatorics, countable algebra, separable Banach spaces, computability theory, and the topology of complete separable metric spaces. Reverse mathematics is less suited to theorems of abstract functional analysis, abstract set theory, universal algebra, or general topology.Section 2 introduces the major subsystems of second order arithmetic used in reverse mathematics: RCA0, WKL0, ACA0, ATR0 and – CA0. Sections 3 through 7 consider various theorems of ordered group theory from the perspective of reverse mathematics. Among the results considered are theorems on ordered quotient groups, groups and semigroup conditions which imply orderability, the orderability of free groups, Hölder's Theorem, Mal'tsev's classification of the order types of countable ordered groups. (shrink)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  31
    The nature of the topological intuition.L. B. Sultanova - 2016 - Liberal Arts in Russia 5 (1):14.
    The article is devoted to the nature of the topological intuition and disclosure of the specifics of topological heuristics in the framework of philosophical theory of knowledge. As we know, intuition is a one of the support categories of the theory of knowledge, the driving force of scientific research. Great importance is mathematical intuition for the solution of non-standard problems, for which there is no algorithm for such a solution. In such cases, the mathematician addresses the so-called heuristics, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  38
    Theological Metaphors in Mathematics.Stanisław Krajewski - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):13-30.
    Examples of possible theological influences upon the development of mathematics are indicated. The best known connection can be found in the realm of infinite sets treated by us as known or graspable, which constitutes a divine-like approach. Also the move to treat infinite processes as if they were one finished object that can be identified with its limits is routine in mathematicians, but refers to seemingly super-human power. For centuries this was seen as wrong and even today some philosophers, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  22
    The Formulation and Justification of Mathematical Definitions Illustrated By Deterministic Chaos.Charlotte Werndl - 2009 - In Mauricio Suárez, Mauro Dorato & Miklós Rédei (eds.), EPSA Philosophical Issues in the Sciences · Launch of the European Philosophy of Science Association. Dordrecht, Netherland: Springer. pp. 279-288.
    The general theme of this article is the actual practice of how definitions are justified and formulated in mathematics. The theoretical insights of this article are based on a case study of topological definitions of chaos. After introducing this case study, I identify the three kinds of justification which are important for topological definitions of chaos: natural-world-justification, condition-justification and redundancy-justification. To my knowledge, the latter two have not been identified before. I argue that these three kinds of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  21
    Reverse Mathematics of Topology: Dimension, Paracompactness, and Splittings.Sam Sanders - 2020 - Notre Dame Journal of Formal Logic 61 (4):537-559.
    Reverse mathematics is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson and others. The aim of RM is to find the minimal axioms needed to prove a theorem of ordinary, that is, non-set-theoretic, mathematics. As suggested by the title, this paper deals with the study of the topological notions of dimension and paracompactness, inside Kohlenbach’s higher-order RM. As to splittings, there are some examples in RM of theorems A, B, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  75
    A study in metaphysics for free will: using models of causality, determinism and supervenience in the search for free will.David Robson - unknown
    We have two main aims: to construct mathematical models for analysing determinism, causality and supervenience; and then to use these to demonstrate the possibility of constructing an ontic construal of the operation of free will - one requiring both the presentation of genuine alternatives to an agent and their selecting between them in a manner that permits the attribution of responsibility. Determinism is modelled using trans-temporal ontic links between discrete juxtaposed universe states and shown to be distinct from predictability. Causality (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  65
    Simplicity in effective topology.Iraj Kalantari & Anne Leggett - 1982 - Journal of Symbolic Logic 47 (1):169-183.
    The recursion-theoretic study of mathematical structures other thanωis now a field of much activity. Analysis and algebra are two such structures which have been studied for their effective contents. Studies in analysis began with the work of Specker on nonconstructive proofs in analysis [16] and in Lacombe's inspiring notes on relevant notions of recursive analysis [8]. Studies in algebra originated in the work of Frolich and Shepherdson on effective extensions of explicit fields [1] and in Rabin's study of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  8. The Foundations of Mathematics: A Study in the Philosophy of Science. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):146-147.
    This is easily the most systematic survey of the foundations of logic and mathematics available today. Although Beth does not cover the development of set theory in great detail, all other aspects of logic are well represented. There are nine chapters which cover, though not in this order, the following: historical background and introduction to the philosophy of mathematics; the existence of mathematical objects as expressed by Logicism, Cantorism, Intuitionism, and Nominalism; informal elementary axiomatics; formalized axiomatics with reference (...)
     
    Export citation  
     
    Bookmark  
  9.  24
    Loops, projective invariants, and the realization of the Borromean topological link in quantum mechanics.Elias Zafiris - 2016 - Quantum Studies: Mathematics and Foundations 3 (4):337-359.
    All the typical global quantum mechanical observables are complex relative phases obtained by interference phenomena. They are described by means of some global geometric phase factor, which is thought of as the “memory” of a quantum system undergoing a “cyclic evolution” after coming back to its original physical state. The origin of a geometric phase factor can be traced to the local phase invariance of the transition probability assignment in quantum mechanics. Beyond this invariance, transition probabilities also remain invariant under (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Diversifying the picture of explanations in biological sciences: ways of combining topology with mechanisms.Philippe Huneman - 2018 - Synthese 195 (1):115-146.
    Besides mechanistic explanations of phenomena, which have been seriously investigated in the last decade, biology and ecology also include explanations that pinpoint specific mathematical properties as explanatory of the explanandum under focus. Among these structural explanations, one finds topological explanations, and recent science pervasively relies on them. This reliance is especially due to the necessity to model large sets of data with no practical possibility to track the proper activities of all the numerous entities. The paper first defines (...) explanations and then explains why topological explanations and mechanisms are different in principle. Then it shows that they are pervasive both in the study of networks—whose importance has been increasingly acknowledged at each level of the biological hierarchy—and in contexts where the notion of selective neutrality is crucial; this allows me to capture the difference between mechanisms and topological explanations in terms of practical modelling practices. The rest of the paper investigates how in practice mechanisms and topologies are combined. They may be articulated in theoretical structures and explanatory strategies, first through a relation of constraint, second in interlevel theories, or they may condition each other. Finally, I explore how a particular model can integrate mechanistic informations, by focusing on the recent practice of merging networks in ecology and its consequences upon multiscale modelling. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  11. Objects: A Study in Kantian Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2012 - Notre Dame Journal of Formal Logic 53 (4):457-478.
    We propose a formal representation of objects , those being mathematical or empirical objects. The powerful framework inside which we represent them in a unique and coherent way is grounded, on the formal side, in a logical approach with a direct mathematical semantics in the well-established field of constructive topology, and, on the philosophical side, in a neo-Kantian perspective emphasizing the knowing subject’s role, which is constructive for the mathematical objects and constitutive for the empirical ones.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12. Aristotelianism in the Philosophy of Mathematics.James Franklin - 2011 - Studia Neoaristotelica 8 (1):3-15.
    Modern philosophy of mathematics has been dominated by Platonism and nominalism, to the neglect of the Aristotelian realist option. Aristotelianism holds that mathematics studies certain real properties of the world – mathematics is neither about a disembodied world of “abstract objects”, as Platonism holds, nor it is merely a language of science, as nominalism holds. Aristotle’s theory that mathematics is the “science of quantity” is a good account of at least elementary mathematics: the ratio (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  37
    Advances in Peircean Mathematics: The Colombian School.Fernando Zalamea (ed.) - 2022 - De Gruyter.
    The book explores Peirce's non standard thoughts on a synthetic continuum, topological logics, existential graphs, and relational semiotics, offering full mathematical developments on these areas. More precisely, the following new advances are offered: (1) two extensions of Peirce's existential graphs, to intuitionistic logics (a new symbol for implication), and other non-classical logics (new actions on nonplanar surfaces); (2) a complete formalization of Peirce's continuum, capturing all Peirce's original demands (genericity, supermultitudeness, reflexivity, modality), thanks to an inverse ordinally iterated sheaf (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  29
    Motivations for Realism in the Light of Mathematical Practice.Jessica Carter - 2005 - Croatian Journal of Philosophy 5 (1):17-29.
    The aim of this paper is to identify some of the motivations that can be found for taking a realist position concerning mathematical entities and to examine these motivations in the light of a case study in contemporary mathematics. The motivations that are found are as follows: (some) mathematicians are realists, mathematical statements are true, and finally, mathematical statements have a special certainty. These claims are compared with a result in algebraic topology stating that a certain sequence, the so-called (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. An Inquiry into the Practice of Proving in Low-Dimensional Topology.Silvia De Toffoli & Valeria Giardino - 2014 - In Giorgio Venturi, Marco Panza & Gabriele Lolli (eds.), From Logic to Practice: Italian Studies in the Philosophy of Mathematics. Cham: Springer International Publishing. pp. 315-336.
    The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations (...)
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  16.  20
    Knot Invariants in Vienna and Princeton during the 1920s: Epistemic Configurations of Mathematical Research.Moritz Epple - 2004 - Science in Context 17 (1-2):131-164.
    In 1926 and 1927, James W. Alexander and Kurt Reidemeister claimed to have made “the same” crucial breakthrough in a branch of modern topology which soon thereafter was called knot theory. A detailed comparison of the techniques and objects studied in these two roughly simultaneous episodes of mathematical research shows, however, that the two mathematicians worked in quite different mathematical traditions and that they drew on related, but distinctly different epistemic resources. These traditions and resources were local, not universal elements (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  17. Topology Change and the Unity of Space.Craig Callender & Robert Weingard - 2000 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 31 (2):227-246.
    Must space be a unity? This question, which exercised Aristotle, Descartes and Kant, is a specific instance of a more general one; namely, can the topology of physical space change with time? In this paper we show how the discussion of the unity of space has been altered but survives in contemporary research in theoretical physics. With a pedagogical review of the role played by the Euler characteristic in the mathematics of relativistic spacetimes, we explain how classical general relativity (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  27
    Epithelial topology.Radhika Nagpal, Ankit Patel & Matthew C. Gibson - 2008 - Bioessays 30 (3):260-266.
    It is universally accepted that genetic control over basic aspects of cell and molecular biology is the primary organizing principle in development and homeostasis of living systems. However, instances do exist where important aspects of biological order arise without explicit genetic instruction, emerging instead from simple physical principles, stochastic processes, or the complex self‐organizing interaction between random and seemingly unrelated parts. Being mostly resistant to direct genetic dissection, the analysis of such emergent processes falls into a grey area between (...), physics and molecular cell biology and therefore remains very poorly understood. We recently proposed a mathematical model predicting the emergence of a specific non‐Gaussian distribution of polygonal cell shapes from the stochastic cell division process in epithelial cell sheets; this cell shape distribution appears to be conserved across a diverse set of animals and plants.1 The use of such topological models to study the process of cellular morphogenesis has a long history, starting almost a century ago, and many insights from those original works influence current experimental studies. Here we review current and past literature on this topic while exploring some new ideas on the origins and implications of topological order in proliferating epithelia. BioEssays 30:260–266, 2008. © 2008 Wiley Periodicals, Inc. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  64
    What is topology?Philip Franklin - 1935 - Philosophy of Science 2 (1):39-47.
    Introduction. Topology is the most general and most fundamental branch of geometry. Logically its study should precede that of other kinds of geometry. But mathematical knowledge, whether regarded as part of our cultural heritage or as the possession of an individual, does not come into being like a building, from a completed foundation to a limited superstructure, but rather grows like a tree with ever-deepening roots as well as ever-spreading branches. So, historically, systematic studies in topology lagged behind Euclid's (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  26
    Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
    We study modal logics based on neighbourhood semantics using methods and theorems having their origin in topological model theory. We thus obtain general results concerning completeness of modal logics based on neighbourhood semantics as well as the relationship between neighbourhood and Kripke semantics. We also give a new proof for a known interpolation result of modal logic using an interpolation theorem of topological model theory.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  40
    Mathematical aspects of the periodic law.Guillermo Restrepo & Leonardo Pachón - 2006 - Foundations of Chemistry 9 (2):189-214.
    We review different studies of the Periodic Law and the set of chemical elements from a mathematical point of view. This discussion covers the first attempts made in the 19th century up to the present day. Mathematics employed to study the periodic system includes number theory, information theory, order theory, set theory and topology. Each theory used shows that it is possible to provide the Periodic Law with a mathematical structure. We also show that it is possible to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22. A conceptual construction of complexity levels theory in spacetime categorical ontology: Non-Abelian algebraic topology, many-valued logics and dynamic systems. [REVIEW]R. Brown, J. F. Glazebrook & I. C. Baianu - 2007 - Axiomathes 17 (3-4):409-493.
    A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  23.  9
    Poincaré’s stated motivations for topology.Lizhen Ji & Chang Wang - 2020 - Archive for History of Exact Sciences 74 (4):381-400.
    It is well known that one of Poincaré’s most important contributions to mathematics is the creation of algebraic topology. In this paper, we examine carefully the stated motivations of Poincaré and potential applications he had in mind for developing topology. Besides being an interesting historical problem, this study will also shed some light on the broad interest of Poincaré in mathematics in a concrete way.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. What are mathematical diagrams?Silvia De Toffoli - 2022 - Synthese 200 (2):1-29.
    Although traditionally neglected, mathematical diagrams have recently begun to attract attention from philosophers of mathematics. By now, the literature includes several case studies investigating the role of diagrams both in discovery and justification. Certain preliminary questions have, however, been mostly bypassed. What are diagrams exactly? Are there different types of diagrams? In the scholarly literature, the term “mathematical diagram” is used in diverse ways. I propose a working definition that carves out the phenomena that are of most importance (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  25.  35
    Density and Baire category in recursive topology.Iraj Kalantari & Larry Welch - 2004 - Mathematical Logic Quarterly 50 (4-5):381-391.
    We develop the concepts of recursively nowhere dense sets and sets that are recursively of first category and study closed sets of points in light of Baire's Category Theorem. Our theorems are primarily concerned with exdomains of recursive quantum functions and hence with avoidable points . An avoidance function is a recursive function which can be used to expel avoidable points from domains of recursive quantum functions. We define an avoidable set of points to be an arbitrary subset of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  10
    A Conceptual Construction of Complexity Levels Theory in Spacetime Categorical Ontology: Non-Abelian Algebraic Topology, Many-Valued Logics and Dynamic Systems.R. Brown, J. F. Glazebrook & I. C. Baianu - 2007 - Axiomathes 17 (3-4):409-493.
    A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  27.  32
    A topology induced by uniformity on BL‐algebras.Masoud Haveshki, Esfandiar Eslami & Arsham Borumand Saeid - 2007 - Mathematical Logic Quarterly 53 (2):162-169.
    In this paper, we consider a collection of filters of a BL-algebra A. We use the concept of congruence relation with respect to filters to construct a uniformity which induces a topology on A. We study the properties of this topology regarding different filters.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Tools for Thought: The Case of Mathematics.Valeria Giardino - 2018 - Endeavour 2 (42):172-179.
    The objective of this article is to take into account the functioning of representational cognitive tools, and in particular of notations and visualizations in mathematics. In order to explain their functioning, formulas in algebra and logic and diagrams in topology will be presented as case studies and the notion of manipulative imagination as proposed in previous work will be discussed. To better characterize the analysis, the notions of material anchor and representational affordance will be introduced.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  30
    An accompaniment to higher mathematics.George R. Exner - 1997 - New York: Springer.
    This text prepares undergraduate mathematics students to meet two challenges in the study of mathematics, namely, to read mathematics independently and to understand and write proofs. The book begins by teaching how to read mathematics actively, constructing examples, extreme cases, and non-examples to aid in understanding an unfamiliar theorem or definition (a technique famililar to any mathematician, but rarely taught); it provides practice by indicating explicitly where work with pencil and paper must interrupt reading. The book (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Generalized topological covering systems on quantum events' structures.Elias Zafiris - 2006 - Journal of Physics A: Mathematics and Applications 39 (6):1485-1505.
    Homologous operational localization processes are effectuated in terms of generalized topological covering systems on structures of physical events. We study localization systems of quantum events' structures by means of Gtothendieck topologies on the base category of Boolean events' algebras. We show that a quantum events algebra is represented by means of a Grothendieck sheaf-theoretic fibred structure, with respect to the global partial order of quantum events' fibres over the base category of local Boolean frames.
     
    Export citation  
     
    Bookmark   3 citations  
  31.  76
    Albert Lautman and the Creative Dialectic of
 Modern Mathematics. Translated by Simon B. Duffy.Fernando Zalamea - 2011 - In Mathematics, Ideas and the physical real, by Albert Lautman. Continuum.
    It is possible today to observe in hindsight the epistemological landscape of the twentieth century, and the work of Albert Lautman in mathematical philosophy appears as a profound turning point, opening to a true under- standing of creativity in mathematics and its relation with the real. Little understood in its time or even today, Lautman’s work explores the difficult but exciting intersection where modern mathematics, advanced mathe- matical invention, the structural or unitary relations of mathematical knowledge and, finally, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  24
    On topological properties of ultraproducts of finite sets.Gábor Sági & Saharon Shelah - 2005 - Mathematical Logic Quarterly 51 (3):254-257.
    In [3] a certain family of topological spaces was introduced on ultraproducts. These spaces have been called ultratopologies and their definition was motivated by model theory of higher order logics. Ultratopologies provide a natural extra topological structure for ultraproducts. Using this extra structure in [3] some preservation and characterization theorems were obtained for higher order logics. The purely topological properties of ultratopologies seem interesting on their own right. We started to study these properties in [2], where some (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  9
    Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities.Jaroslav Šupina - 2023 - Archive for Mathematical Logic 62 (1):87-112.
    We investigate several ideal versions of the pseudointersection number \(\mathfrak {p}\), ideal slalom numbers, and associated topological spaces with the focus on selection principles. However, it turns out that well-known pseudointersection invariant \(\mathtt {cov}^*({\mathcal I})\) has a crucial influence on the studied notions. For an invariant \(\mathfrak {p}_\mathrm {K}({\mathcal J})\) introduced by Borodulin-Nadzieja and Farkas (Arch. Math. Logic 51:187–202, 2012), and an invariant \(\mathfrak {p}_\mathrm {K}({\mathcal I},{\mathcal J})\) introduced by Repický (Real Anal. Exchange 46:367–394, 2021), we have $$\begin{aligned} \min (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  10
    Definable topological dynamics for trigonalizable algebraic groups over Qp.Ningyuan Yao - 2019 - Mathematical Logic Quarterly 65 (3):376-386.
    We study the flow of trigonalizable algebraic group acting on its type space, focusing on the problem raised in [17] of whether weakly generic types coincide with almost periodic types if the group has global definable f‐generic types, equivalently whether the union of minimal subflows of a suitable type space is closed. We shall give a description of f‐generic types of trigonalizable algebraic groups, and prove that every f‐generic type is almost periodic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  46
    Understanding topological relationships through comparisons of similar knots.Carol Strohecker - 1996 - AI and Society 10 (1):58-69.
    This paper examines an example of learning with artifacts using the commonplace materials of string and knots. Emphases include research into learning processes as well as construction of objects to assist learning. The inquiry concerns the development of mathematical thinking, topology in particular. The research methodology combines participant observation and clinical interview within a constructionist framework. The study was set in a self-styled, self-constructed environment that consisted of knots and a social substrate encouraging lively exchanges of ideas about them. Comparisons (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.
    Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  41
    A topology induced by uniformity on BL-algebras.Masoud Haveshki, Esfandiar Eslami & Arsham Borumand Saeid - 2007 - Mathematical Logic Quarterly 53 (2):162-169.
    In this paper, we consider a collection of filters of a BL-algebra A. We use the concept of congruence relation with respect to filters to construct a uniformity which induces a topology on A. We study the properties of this topology regarding different filters. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim).
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  24
    The Mathematics of Metamathematics. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):157-157.
    This extensive work is both a systematization of past developments, and an extension to new areas, of the application of mathematical apparatus to the study of logical systems; it does not aim to include all such metamathematical devices, Gödel-numbering for example, but to emphasize algebraic and topological ones. The first part surveys required algebraic and topological notions; in the second part they are applied to classical logic—propositional and predicate calculi; in the final section, modal and intuitionistic, non-classical logics (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  86
    Frameworks, models, and case studies: a new methodology for studying conceptual change in science and philosophy.Matteo De Benedetto - 2022 - Dissertation, Ludwig Maximilians Universität, München
    This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual revolutions. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  26
    On Turing degrees of points in computable topology.Iraj Kalantari & Larry Welch - 2008 - Mathematical Logic Quarterly 54 (5):470-482.
    This paper continues our study of computable point-free topological spaces and the metamathematical points in them. For us, a point is the intersection of a sequence of basic open sets with compact and nested closures. We call such a sequence a sharp filter. A function fF from points to points is generated by a function F from basic open sets to basic open sets such that sharp filters map to sharp filters. We restrict our study to functions that have (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  13
    Fundamentals of mathematical proof.Charles A. Matthews - 2018 - [place of publication not identified]: [Publisher Not Identified].
    This mathematics textbook covers the fundamental ideas used in writing proofs. Proof techniques covered include direct proofs, proofs by contrapositive, proofs by contradiction, proofs in set theory, proofs of existentially or universally quantified predicates, proofs by cases, and mathematical induction. Inductive and deductive reasoning are explored. A straightforward approach is taken throughout. Plenty of examples are included and lots of exercises are provided after each brief exposition on the topics at hand. The text begins with a study of symbolic (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  40
    Saunders Mac Lane. Saunders Mac Lane: A mathematical autobiography.Colin McLarty - 2007 - Philosophia Mathematica 15 (3):400-404.
    We are used to seeing foundations linked to the mainstream mathematics of the late nineteenth century: the arithmetization of analysis, non-Euclidean geometry, and the rise of abstract structures in algebra. And a growing number of case studies bring a more philosophy-of-science viewpoint to the latest mathematics, as in [Carter, 2005; Corfield, 2006; Krieger, 2003; Leng, 2002]. Mac Lane's autobiography is a valuable bridge between these, recounting his experience of how the mid- and late-twentieth-century mainstream grew especially through (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  43.  5
    Topological Aspects of Molecular Networks: Crystal Cubic Carbons.Muhammad Javaid, Aqsa Sattar & Ebenezer Bonyah - 2022 - Complexity 2022:1-14.
    Theory of networks serves as a mathematical foundation for the construction and modeling of chemical structures and complicated networks. In particular, chemical networking theory has a wide range of utilizations in the study of chemical structures, where examination and manipulation of chemical structural information are made feasible by utilizing the numerical graph invariants. A network invariant or a topological index is a numerical measure of a chemical compound which is capable to describe the chemical structural properties such as melting (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  15
    Teaching the Complex Numbers: What History and Philosophy of Mathematics Suggest.Emily R. Grosholz - unknown
    The narrative about the nineteenth century favored by many philosophers of mathematics strongly influenced by either logic or algebra, is that geometric intuition led real and complex analysis astray until Cauchy and Kronecker in one sense and Dedekind in another guided mathematicians out of the labyrinth through the arithmetization of analysis. Yet the use of geometry in most cases in nineteenth century mathematics was not misleading and was often key to important developments. Thus the geometrization of complex numbers (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  55
    From a Doodle to a Theorem: A Case Study in Mathematical Discovery.Juan Fernández González & Dirk Schlimm - 2023 - Journal of Humanistic Mathematics 13 (1):4-35.
    We present some aspects of the genesis of a geometric construction, which can be carried out with compass and straightedge, from the original idea to the published version (Fernández González 2016). The Midpoint Path Construction makes it possible to multiply the length of a line segment by a rational number between 0 and 1 by constructing only midpoints and a straight line. In the form of an interview, we explore the context and narrative behind the discovery, with first-hand insights by (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  24
    A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points.Rafał Gruszczyński & Andrzej Pietruszczak - 2019 - Studia Logica 107 (4):809-843.
    In the second installment to Gruszczyński and Pietruszczak we carry out an analysis of spaces of points of Grzegorczyk structures. At the outset we introduce notions of a concentric and \-concentric topological space and we recollect some facts proven in the first part which are important for the sequel. Theorem 2.9 is a strengthening of Theorem 5.13, as we obtain stronger conclusion weakening Tychonoff separation axiom to mere regularity. This leads to a stronger version of Theorem 6.10. Further, we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  47.  24
    A journey through computability, topology and analysis.Manlio Valenti - 2022 - Bulletin of Symbolic Logic 28 (2):266-267.
    This thesis is devoted to the exploration of the complexity of some mathematical problems using the framework of computable analysis and descriptive set theory. We will especially focus on Weihrauch reducibility as a means to compare the uniform computational strength of problems. After a short introduction of the relevant background notions, we investigate the uniform computational content of problems arising from theorems that lie at the higher levels of the reverse mathematics hierarchy.We first analyze the strength of the open (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  14
    Definable V-topologies, Henselianity and NIP.Yatir Halevi, Assaf Hasson & Franziska Jahnke - 2019 - Journal of Mathematical Logic 20 (2):2050008.
    We initiate the study of definable [Formula: see text]-topologies and show that there is at most one such [Formula: see text]-topology on a [Formula: see text]-henselian NIP field. Equivalently, we show that if [Formula: see text] is a bi-valued NIP field with [Formula: see text] henselian, then [Formula: see text] and [Formula: see text] are comparable. As a consequence, Shelah’s conjecture for NIP fields implies the henselianity conjecture for NIP fields. Furthermore, the latter conjecture is proved for any field admitting (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  49.  28
    Digital Design and Topological Control.Luciana Parisi - 2012 - Theory, Culture and Society 29 (4-5):165-192.
    At the turn of the 21st century, topology, the mathematical study of spatial properties that remain the same under the continuous deformation of objects, has come to invest all fields of aesthetics and culture. In particular, the algebraic topology of continuity has added to the digital realm of binary information, the on and off states of 0s and 1s, an invariant property, which now governs the relation between different forms of data. As this invariant function of continual transformation has entered (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. Visual thinking in mathematics: an epistemological study.Marcus Giaquinto - 2007 - New York: Oxford University Press.
    Visual thinking -- visual imagination or perception of diagrams and symbol arrays, and mental operations on them -- is omnipresent in mathematics. Is this visual thinking merely a psychological aid, facilitating grasp of what is gathered by other means? Or does it also have epistemological functions, as a means of discovery, understanding, and even proof? By examining the many kinds of visual representation in mathematics and the diverse ways in which they are used, Marcus Giaquinto argues that visual (...)
1 — 50 / 1000