Results for ' classical sequence space'

991 found
Order:
  1.  22
    Definable Types Over Banach Spaces.José Iovino - 2005 - Notre Dame Journal of Formal Logic 46 (1):19-50.
    We study connections between asymptotic structure in a Banach space and model theoretic properties of the space. We show that, in an asymptotic sense, a sequence $$ in a Banach space X generates copies of one of the classical sequence spaces $\ell_p$ or $c_0$ inside X if and only if the quantifier-free types approximated by $$ inside X are quantifier-free definable. More precisely, if $$ is a bounded sequence X such that no normalized (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. The Structure of Space and Time and the Indeterminacy of Classical Physics.Hanoch Ben-Yami - manuscript
    I explain in what sense the structure of space and time is probably vague or indefinite, a notion I define. This leads to the mathematical representation of location in space and time by a vague interval. From this, a principle of complementary inaccuracy between spatial location and velocity is derived, and its relation to the Uncertainty Principle discussed. In addition, even if the laws of nature are deterministic, the behaviour of systems will be random to some degree. These (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  77
    Infinite sequences: Finitist consequence.Martin C. Cooke - 2003 - British Journal for the Philosophy of Science 54 (4):591-599.
    A simultaneous collision that produces paradoxical indeterminism (involving N0 hypothetical particles in a classical three-dimensional Euclidean space) is described in Section 2. By showing that a similar paradox occurs with long-range forces between hypothetical particles, in Section 3, the underlying cause is seen to be that collections of such objects are assumed to have no intrinsic ordering. The resolution of allowing only finite numbers of particles is defended (as being the least ad hoc) by looking at both -sequences (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  30
    Calculus of Contextual Rough Sets in Contextual Spaces.Edward Bryniarski & Urszula Wybraniec-Skardowska - 1998 - Journal of Applied Non-Classical Logics 8 (1):9-26.
    The work broadens – to a considerable extent – Z. Pawlak’s original method (1982, 1992) of approximation of sets. The approximation of sets included in a universum U goes on in the contextual approximation space CAS which consists of: 1) a sequence of Pawlak’s approximation spaces (U,Ci), where indexes i from set I are linearly ordered degrees of contexts (I, <), and Ci is the universum partition U, 2) a sequence of binary relations on sets included in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Bullrich Lineal Park, Buenos Aires-Narrow strip surrounded by traffic as urban green space.Natalia Penacini - 2009 - Topos: European Landscape Magazine 67:66.
    Prior to this intervention the site used to be a degraded fiscal property, that functioned as a bus yard, a police legal deposit, and a restaurant parking lot. Underneath it runs the Maldonado stream culvert, covered by a concrete slab at a depth of only -20cm. Next to the site is a 5m high railroad embankment. The plot is strategically located at the end of Juan B. Justo avenue and works as a gateway to the Tres de Febrero park (also (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  59
    The continuum as a formal space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.
    A constructive definition of the continuum based on formal topology is given and its basic properties studied. A natural notion of Cauchy sequence is introduced and Cauchy completeness is proved. Other results include elementary proofs of the Baire and Cantor theorems. From a classical standpoint, formal reals are seen to be equivalent to the usual reals. Lastly, the relation of real numbers as a formal space to other approaches to constructive real numbers is determined.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  7.  48
    I ain’t afraid of no ghost.John Dougherty - 2021 - Studies in History and Philosophy of Science Part A 88 (C):70-84.
    This paper criticizes the traditional philosophical account of the quantization of gauge theories and offers an alternative. On the received view, gauge theories resist quantization because they feature distinct mathematical representatives of the same physical state of affairs. This resistance is overcome by a sequence of ad hoc modifications, justified in part by reference to semiclassical electrodynamics. Among other things, these modifications introduce "ghosts": particles with unphysical properties which do not appear in asymptotic states and which are said to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  8
    Finitary sequence spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):416-430.
    This paper studies the metric structure of the space Hr of absolutely summable sequences of real numbers with at most r nonzero terms. Hr is complete, and is located and nowhere dense in the space of all absolutely summable sequences. Totally bounded and compact subspaces of Hr are characterized, and large classes of located, totally bounded, compact, and locally compact subspaces are constructed. The methods used are constructive in the strict sense. MSC: 03F65, 54E50.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  13
    Phylogeny and Sequence Space: A Combined Approach to Analyze the Evolutionary Trajectories of Homologous Proteins. The Case Study of Aminodeoxychorismate Synthase.Sylvain Lespinats, Olivier De Clerck, Benoît Colange, Vera Gorelova, Delphine Grando, Eric Maréchal, Dominique Van Der Straeten, Fabrice Rébeillé & Olivier Bastien - 2020 - Acta Biotheoretica 68 (1):139-156.
    During the course of evolution, variations of a protein sequence is an ongoing phenomenon however limited by the need to maintain its structural and functional integrity. Deciphering the evolutionary path of a protein is thus of fundamental interest. With the development of new methods to visualize high dimension spaces and the improvement of phylogenetic analysis tools, it is possible to study the evolutionary trajectories of proteins in the sequence space. Using the data-driven high-dimensional scaling method, we show (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  56
    A parameterization of RNA sequence space.Erik Schultes, Peter T. Hraber & Thomas H. LaBean - 1999 - Complexity 4 (4):61-71.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  28
    Actions by the classical Banach spaces.G. Hjorth - 2000 - Journal of Symbolic Logic 65 (1):392-420.
    The study of continuous group actions is ubiquitous in mathematics, and perhaps the most general kinds of actions for which we can hope to prove theorems in just ZFC are those where a Polish group acts on a Polish space.For this general class we can find works such as [29] that build on ideas from ergodic theory and examine actions of locally compact groups in both the measure theoretic and topological contexts. On the other hand a text in model (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  26
    The prevalence and cognitive profile of sequence-space synaesthesia.Jamie Ward, Alberta Ipser, Eva Phanvanova, Paris Brown, Iris Bunte & Julia Simner - 2018 - Consciousness and Cognition 61:79-93.
  13.  5
    Genetic distance in sequence space of evolving populations.Elisangela Ferretti Manffra, Holger Kantz & Mario Ragwitz - 2003 - Complexity 8 (4):51-56.
  14.  61
    Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
    Dini's theorem says that compactness of the domain, a metric space, ensures the uniform convergence of every simply convergent monotone sequence of real-valued continuous functions whose limit is continuous. By showing that Dini's theorem is equivalent to Brouwer's fan theorem for detachable bars, we provide Dini's theorem with a classification in the recently established constructive reverse mathematics propagated by Ishihara. As a complement, Dini's theorem is proved to be equivalent to the analogue of the fan theorem, weak König's (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  30
    Pseudo-classical phase space description of the relativistic electron.G. C. Sherry - 1989 - Foundations of Physics 19 (6):733-741.
    Several versions exist of pseudo-classical models of the electron using Grassmann variables. Most of these require additional constraints on the variables, and it is these which, when quantized, lead to Dirac's equation. In addition, the Grassmann variables do not have physical interpretations. In this article a model is constructed which does not require constraints and in which the Grassmann variables can be interpreted as observables. Dirac's equation is obtained directly from quantization.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  28
    Common cause completability of non-classical probability spaces.Zalán Gyenis & Miklós Rédei - 2016 - Belgrade Philosophical Annual 29 (29).
    We prove that under some technical assumptions on a general, non-classical probability space, the probability space is extendible into a larger probability space that is common cause closed in the sense of containing a common cause of every correlation between elements in the space. It is argued that the philosophical significance of this common cause completability result is that it allows the defence of the Common Cause Principle against certain attempts of falsification. Some open problems (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  52
    An extended case study on the phenomenology of sequence-space synesthesia.Cassandra Gould, Tom Froese, Adam B. Barrett, Jamie Ward & Anil K. Seth - 2014 - Frontiers in Human Neuroscience 8.
  18.  60
    Hyperfinite law of large numbers.Yeneng Sun - 1996 - Bulletin of Symbolic Logic 2 (2):189-198.
    The Loeb space construction in nonstandard analysis is applied to the theory of processes to reveal basic phenomena which cannot be treated using classical methods. An asymptotic interpretation of results established here shows that for a triangular array (or a sequence) of random variables, asymptotic uncorrelatedness or asymptotic pairwise independence is necessary and sufficient for the validity of appropriate versions of the law of large numbers. Our intrinsic characterization of almost sure pairwise independence leads to the equivalence (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  19.  14
    Quantum Causality Relations and the Emergence of Reality from Coherent Superpositions.Holger F. Hofmann - 2020 - Foundations of Physics 50 (12):1809-1823.
    The Hilbert space formalism describes causality as a statistical relation between initial experimental conditions and final measurement outcomes, expressed by the inner products of state vectors representing these conditions. This representation of causality is in fundamental conflict with the classical notion that causality should be expressed in terms of the continuity of intermediate realities. Quantum mechanics essentially replaces this continuity of reality with phase sensitive superpositions, all of which need to interfere in order to produce the correct conditional (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  36
    Spatio-temporal deixis and cognitive models in early Indo-European.Annamaria Bartolotta - 2018 - Cognitive Linguistics 29 (1):1-44.
    This paper is a comparative study based on the linguistic evidence in Vedic Sanskrit and Homeric Greek, aimed at reconstructing the space-time cognitive models used in the Proto-Indo-European language in a diachronic perspective. While it has been widely recognized that ancient Indo-European languages construed earlier events as in front of later ones, as predicted in the Time-Reference-Point mapping, it is less clear how in the same languages the passage took place from this ‘archaic’ Time-RP model or non-deictic sequence, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  76
    Exhaustive classication of finite classical probability spaces with regard to the notion of causal up-to-n-closedness.Michal Marczyk & Leszek Wronski - unknown
    Extending the ideas from (Hofer-Szabó and Rédei [2006]), we introduce the notion of causal up-to-n-closedness of probability spaces. A probability space is said to be causally up-to-n-closed with respect to a relation of independence R_ind iff for any pair of correlated events belonging to R_ind the space provides a common cause or a common cause system of size at most n. We prove that a finite classical probability space is causally up-to-3-closed w.r.t. the relation of logical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  7
    The shape of time.George Kubler - 1962 - New Haven,: Yale University Press.
    When it was first released in 1962, The Shape of Time presented a radically new approach to the study of art history. Drawing upon new insights in fields such as anthropology and linguistics, George Kubler replaced the notion of style as the basis for histories of art with the concept of historical sequence and continuous change across time. Kubler’s classic work is now made available in a freshly designed edition. “ The Shape of Time is as relevant now as (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  23.  25
    Synesthesia, sequences, and space.Clare Jonas & Michelle Jarick - 2013 - In Julia Simner & Edward Hubbard (eds.), Oxford Handbook of Synesthesia. Oxford University Press. pp. 123.
    In sequence-space synaesthesia, members of linguistic sequences such as numbers, days of the week and letters of the alphabet are perceived to occupy spatial positions, either in the mind's eye or as locations in space around the body. In this chapter, we begin by considering the possible sequences that can induce this type of synaesthesia, with the focus on numbers, time-units and letters. We evaluate the various methods used to test the genuineness of self-reports of this type (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  13
    Human Freedom after Darwin: A Critical Rationalist View (review).Theodore Waldman - 2003 - Journal of the History of Philosophy 41 (1):136-137.
    In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.1 (2003) 136-137 [Access article in PDF] John Watkins. Human Freedom after Darwin: A Critical Rationalist View. Chicago: Open Court Publishing, 1999. Pp. xi + 348. Cloth, $49.95. Paper, $24.95. John Watkins examines man's place in nature since Darwin. As a critical rationalist, using the methods of science, Watkins hopes to construct a world-view which challenges competing hypotheses and supports his own. He (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  34
    The Gibbs Paradox.Simon Saunders - 2018 - Entropy 20 (8):552.
    The Gibbs Paradox is essentially a set of open questions as to how sameness of gases or fluids are to be treated in thermodynamics and statistical mechanics. They have a variety of answers, some restricted to quantum theory, some to classical theory. The solution offered here applies to both in equal measure, and is based on the concept of particle indistinguishability. Correctly understood, it is the elimination of sequence position as a labelling device, where sequences enter at the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  25
    Presocratic theology.T. M. Robinson - 2008 - In Patricia Curd & Daniel Graham (eds.), The Oxford Handbook of Presocratic Philosophy. Oxford University Press USA.
    If in the context of early and classical Greek thought, the term “theology” is taken to mean “of God/gods/the gods and his/their putative relationship, causal and directive, to the world and its operations, and to ourselves within that world,” or something of that order, the first ascription of such a notion to a Presocratic philosopher is to be found in Aristotle's comment that “Thales thought that all things are full of gods”. The Presocratic period ends with no neat causal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27.  15
    On a second order propositional operator in intuitionistic logic.A. A. Troelstra - 1981 - Studia Logica 40:113.
    This paper studies, by way of an example, the intuitionistic propositional connective * defined in the language of second order propositional logic by * ≡ ∃Q. In full topological models * is not generally definable but over Cantor-space and the reals it can be classically shown that *↔ ⅂⅂P; on the other hand, this is false constructively, i.e. a contradiction with Church's thesis is obtained. This is comparable with some well-known results on the completeness of intuitionistic first-order predicate logic. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  11
    The shape of time: remarks on the history of things.George Kubler - 2008 - New Haven [Conn.]: Yale University Press.
    When it was first released in 1962, The Shape of Time presented a radically new approach to the study of art history. Drawing upon new insights in fields such as anthropology and linguistics, George Kubler replaced the notion of style as the basis for histories of art with the concept of historical sequence and continuous change across time. Kubler’s classic work is now made available in a freshly designed edition. “ The Shape of Time is as relevant now as (...)
  29. Energy in the Universe and its Syntropic Forms of Existence According to the BSM - Superg ravitation Unified Theory.Stoyan Sarg Sargoytchev - 2013 - Syntropy 2013 (2).
    According to the BSM- Supergravitation Unified Theory (BSM-SG), the energy is indispensable feature of matter, while the matter possesses hierarchical levels of organization from a simple to complex forms, with appearance of fields at some levels. Therefore, the energy also follows these levels. At the fundamental level, where the primary energy source exists, the matter is in its primordial form, where two super-dense fundamental particles (FP) exist in a classical pure empty space (not a physical vacuum). They are (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  24
    Codings of separable compact subsets of the first Baire class.Pandelis Dodos - 2006 - Annals of Pure and Applied Logic 142 (1):425-441.
    Let X be a Polish space and a separable compact subset of the first Baire class on X. For every sequence dense in , the descriptive set-theoretic properties of the set are analyzed. It is shown that if is not first countable, then is -complete. This can also happen even if is a pre-metric compactum of degree at most two, in the sense of S. Todorčević. However, if is of degree exactly two, then is always Borel. A deep (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  31. Strict Finitism and the Logic of Mathematical Applications, Synthese Library, vol. 355.Feng Ye - 2011 - Springer.
    This book intends to show that, in philosophy of mathematics, radical naturalism (or physicalism), nominalism and strict finitism (which does not assume the reality of infinity in any format, not even potential infinity) can account for the applications of classical mathematics in current scientific theories about the finite physical world above the Planck scale. For that purpose, the book develops some significant applied mathematics in strict finitism, which is essentially quantifier-free elementary recursive arithmetic (with real numbers encoded as elementary (...)
     
    Export citation  
     
    Bookmark  
  32.  43
    Psychophysical scaling: Judgments of attributes or objects?Gregory R. Lockhead - 1992 - Behavioral and Brain Sciences 15 (3):543-558.
    Psychophysical scaling models of the form R = f, with R the response and I some intensity of an attribute, all assume that people judge the amounts of an attribute. With simple biases excepted, most also assume that judgments are independent of space, time, and features of the situation other than the one being judged. Many data support these ideas: Magnitude estimations of brightness increase with luminance. Nevertheless, I argue that the general model is wrong. The stabilized retinal image (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  33.  45
    Effective Borel measurability and reducibility of functions.Vasco Brattka - 2005 - Mathematical Logic Quarterly 51 (1):19-44.
    The investigation of computational properties of discontinuous functions is an important concern in computable analysis. One method to deal with this subject is to consider effective variants of Borel measurable functions. We introduce such a notion of Borel computability for single-valued as well as for multi-valued functions by a direct effectivization of the classical definition. On Baire space the finite levels of the resulting hierarchy of functions can be characterized using a notion of reducibility for functions and corresponding (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  34. Meillassoux’s Virtual Future.Graham Harman - 2011 - Continent 1 (2):78-91.
    continent. 1.2 (2011): 78-91. This article consists of three parts. First, I will review the major themes of Quentin Meillassoux’s After Finitude . Since some of my readers will have read this book and others not, I will try to strike a balance between clear summary and fresh critique. Second, I discuss an unpublished book by Meillassoux unfamiliar to all readers of this article, except those scant few that may have gone digging in the microfilm archives of the École normale (...)
     
    Export citation  
     
    Bookmark   2 citations  
  35.  8
    Beyond the Outer Shores: The Untold Odyssey of Ed Ricketts, the Pioneering Ecologist Who Inspired John Steinbeck and Joseph Campbell by Eric Enno Tamm (review).George Meadows - 2021 - Environment, Space, Place 13 (2):133-136.
    In lieu of an abstract, here is a brief excerpt of the content:Book Reviews 133 Beyond the Outer Shores: The Untold Odyssey of Ed Ricketts, the Pioneering Ecologist Who Inspired John Steinbeck and Joseph Campbell BY ERIC ENNO TAMM New York: Thunder’s Mouth Press, 2004 REVIEWED BY GEORGE MEADOWS How do you write a biography of someone who is best known as a fictional character? This is the challenge Erik Tamm has taken on in his recent biography of Edward Ricketts, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  3
    Translating Across Cultures.Kinya Nishi - 2011 - Culture and Dialogue 1 (1):91-105.
    The paper offers a philosophical reflection upon the film Ghajini which was directed by Ajith Rahul Murugadoss in 2008. The film is an Indian remake/translation/transcreation of Christopher Nolan’s Memento (2000). Through Ghajini, I attempt to explore the reversible migration between spaces such as forgetfulness and memory, moment and sequence, inwardness (or consciousness) and externality (or the world). The paper creates an intercultural dialogue about self-identity and the materials of which it is made, a theme touched upon and developed in (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  22
    Notas introductorias a la cuidad pedagógica.Jorge López Lloret - 1997 - Daimon: Revista Internacional de Filosofía 14:83-92.
    The developed cities are product of a very complex sequence of factors. This is in this way in the process of constitution of the classical polis in Greece. All it involved institutionals and representationals conflicts reflected in the struture of the urban space. The most important is the development of the love to the monetary richness in itself and the development of the agora as urban center. The reaction to this caused the Plato and Aristotle's educational, urban (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  35
    Human Freedom after Darwin: A Critical Rationalist View (review).Theodore Waldman - 2003 - Journal of the History of Philosophy 41 (1):136-137.
    In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.1 (2003) 136-137 [Access article in PDF] John Watkins. Human Freedom after Darwin: A Critical Rationalist View. Chicago: Open Court Publishing, 1999. Pp. xi + 348. Cloth, $49.95. Paper, $24.95. John Watkins examines man's place in nature since Darwin. As a critical rationalist, using the methods of science, Watkins hopes to construct a world-view which challenges competing hypotheses and supports his own. He (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39.  43
    Form-of-Life: From Politics to Aesthetics (and Back).Jason E. Smith - 2013 - Nordic Journal of Aesthetics 23 (44-45).
    This article examines an often-mentioned but largely undeveloped concept in the work of Giorgio Agamben and in particular his Homo Sacer project: form-of-life. What is at stake in this concept is, I attempt to show, a way of thinking “politics” outside of the space of sovereignty. By examining a short text on this notion published just before the opening installment of the Homo Sacer sequence, this article demonstrates the way this early formulation of the concept is indebted to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  39
    Tree Structures Associated to a Family of Functions.Spiros A. Argyros, Pandelis Dodos & Vassilis Kanellopoulos - 2005 - Journal of Symbolic Logic 70 (3):681 - 695.
    The research presented in this paper was motivated by our aim to study a problem due to J. Bourgain [3]. The problem in question concerns the uniform boundedness of the classical separation rank of the elements of a separable compact set of the first Baire class. In the sequel we shall refer to these sets (separable or non-separable) as Rosenthal compacta and we shall denote by ∝(f) the separation rank of a real-valued functionfinB1(X), withXa Polish space. Notice that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  7
    A Classical Modal Theory of Lawless Sequences.Ethan Brauer - 2023 - Bulletin of Symbolic Logic 29 (3):406-452.
    Free choice sequences play a key role in the intuitionistic theory of the continuum and especially in the theorems of intuitionistic analysis that conflict with classical analysis, leading many classical mathematicians to reject the concept of a free choice sequence. By treating free choice sequences as potentially infinite objects, however, they can be comfortably situated alongside classical analysis, allowing a rapprochement of these two mathematical traditions. Building on recent work on the modal analysis of potential infinity, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  24
    On the Uniform Computational Content of the Baire Category Theorem.Vasco Brattka, Matthew Hendtlass & Alexander P. Kreuzer - 2018 - Notre Dame Journal of Formal Logic 59 (4):605-636.
    We study the uniform computational content of different versions of the Baire category theorem in the Weihrauch lattice. The Baire category theorem can be seen as a pigeonhole principle that states that a complete metric space cannot be decomposed into countably many nowhere dense pieces. The Baire category theorem is an illuminating example of a theorem that can be used to demonstrate that one classical theorem can have several different computational interpretations. For one, we distinguish two different logical (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  19
    Quantum Equilibrium in Stochastic de Broglie–Bohm–Bell Quantum Mechanics.Jeroen C. Vink - 2023 - Foundations of Physics 53 (1):1-19.
    This paper investigates dynamical relaxation to quantum equilibrium in the stochastic de Broglie–Bohm–Bell formulation of quantum mechanics. The time-dependent probability distributions are computed as in a Markov process with slowly varying transition matrices. Numerical simulations, supported by exact results for the large-time behavior of sequences of (slowly varying) transition matrices, confirm previous findings that indicate that de Broglie–Bohm–Bell dynamics allows an arbitrary initial probability distribution to relax to quantum equilibrium; i.e., there is no need to make the ad-hoc assumption that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. Classical Systems, Standard Quantum Systems, and Mixed Quantum Systems in Hilbert Space.K. Kong Wan, Jason Bradshaw, Colin Trueman & F. E. Harrison - 1998 - Foundations of Physics 28 (12):1739-1783.
    Traditionally, there has been a clear distinction between classical systems and quantum systems, particularly in the mathematical theories used to describe them. In our recent work on macroscopic quantum systems, this distinction has become blurred, making a unified mathematical formulation desirable, so as to show up both the similarities and the fundamental differences between quantum and classical systems. This paper serves this purpose, with explicit formulations and a number of examples in the form of superconducting circuit systems. We (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  8
    The Position-Momentum Commutator as a Generalized Function: Resolution of the Apparent Discrepancy Between Continuous and Discrete Bases.Timothy B. Boykin - 2023 - Foundations of Physics 53 (3):1-9.
    It has been known for many years that the matrix representation of the one-dimensional position-momentum commutator calculated with the position and momentum matrices in a finite basis is not proportional to the diagonal matrix, contrary to what one expects from the continuous-space commutator. This discrepancy has correctly been ascribed to the incompleteness of any finite basis, but without the details of exactly why this happens. Understanding why the discrepancy occurs requires calculating the position, momentum, and commutator matrix elements in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  14
    Graphs with ∏ 1 0 (K)Y-sections.Boško Živaljević - 1993 - Archive for Mathematical Logic 32 (4):259-273.
    We prove that a Borel subset of the product of two internal setsX andY all of whoseY-sections are ∏ 1 0 (K)(∑ 1 0 (K)) sets is the intersection (union) of a countable sequence of Borel graphs with internalY-sections. As a consequence we prove some standard results about the domains of graphs in the product of two topological spaces all of whose horizontal section are compact (open) sets. A version of classical Vitali-Lusin theorem for those types of graphs (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  35
    Culturology Is Not a Science, But an Intellectual Movement.E. A. Orlova - 2003 - Russian Studies in Philosophy 41 (4):75-78.
    I would like to stress Vadim Mikhailovich's [Mezhuev's] position and clarify our conversation about culturology. It is constantly repeated that culturology is a science. It is my profound conviction that culturology is not a science. Culturology is a distinctive phenomenon of Russian culture and represents a certain intellectual movement. If one briefly surveys the history of its emergence, its philosophical origin becomes obvious. This intellectual movement consists of three levels, if one takes into account the "-logy" ending. First, the philosophical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  8
    Probabilistic Causality, Randomization and Mixtures.Jan von Plato - 1986 - PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986 (1):432-437.
    The scheme of abstract dynamical systems will represent repetitive experimentation: There is a basic space of events X1 and the denumerable product … contains all possible sequences of events x = (x1, x2, … ). There are projections qn which give the nth member of x: qn (x) = xn. A transformation T is defined over X by the equation qn (Tx)= q n+1 (x). It removes the sequence by one step, T(x1,x2,…) = (x2,x3,…) and is known as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  34
    Sequence mapping in a three-dimensional space by a numeric method and some of its applications.Leonard R. Lareo & Orlando E. Acevedo - 1999 - Acta Biotheoretica 47 (2):123-128.
    In this work we report a simple way to assign a single numeric value in a three-dimensional space to a given nucleotide sequence. The method reported allows for theoretical comparisons of naturally occurring nucleotide sequences.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 991