Search results for 'Ernst P. Specker' (try it on Scholar)

23 found
Sort by:
  1. Ernst P. Specker (forthcoming). Dualität. Dialectica:451--65.score: 870.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  2. Ernst P. Specker (1962). Typical Ambiguity. In Ernst Nagel (ed.), Logic, Methodology and Philosophy of Science. Stanford University Press. 116--23.score: 870.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  3. J. Barkley Rosser (1954). Review: Ernst P. Specker, The Axiom of Choice in Quine's New Foundations for Mathematical Logic. [REVIEW] Journal of Symbolic Logic 19 (2):127-128.score: 450.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Ernst Specker (1949). Nicht Konstruktiv Beweisbare Sätze der Analysis. Journal of Symbolic Logic 14 (3):145-158.score: 240.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Ernst Specker (1988). Postmoderne Mathematik: Abschied Vom Paradies? Dialectica 42 (3):163-170.score: 240.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Simon Kochen & E. P. Specker (1967). The Problem of Hidden Variables in Quantum Mechanics. Journal of Mathematics and Mechanics 17:59--87.score: 240.0
  7. Von Ernst Specker (1958). Dualität. Dialectica 12 (3‐4):451-465.score: 240.0
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Ernst Specker (1960). Die logik nicht gleichzeitig entsc heidbarer aussagen. Dialectica 14 (2‐3):239-246.score: 240.0
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Ernst Specker (1950). Review: Heinrich Scholz, Vorlesungen Uber Grundzuge der Mathematischen Logik. [REVIEW] Journal of Symbolic Logic 15 (3):200-201.score: 240.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Ernst Specker (1950). Review: Pascual Jordan, Zur Quanten-Logik. [REVIEW] Journal of Symbolic Logic 15 (4):283-283.score: 240.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  11. Ernst Specker (1957). Zur Axiomatik der Mengenlehre (Fundierungs‐ und Auswahlaxiom). Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13‐20):173-210.score: 240.0
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Robert Spekkens (2011). Ernst Paul Specker (1920-2011). Mind and Matter 9 (2):121-128.score: 140.0
    No categories
     
    My bibliography  
     
    Export citation  
  13. E. P. (1999). Two No-Go Theorems for Modal Interpretations of Quantum Mechanics. Studies in History and Philosophy of Science Part B 30 (3):403-431.score: 120.0
    Modal interpretations take quantum mechanics as a theory which assigns at all times definite values to magnitudes of quantum systems. In the case of single systems, modal interpretations manage to do so without falling prey to the Kochen and Specker no-go theorem, because they assign values only to a limited set of magnitudes. In this paper I present two further no-go theorems which prove that two modal interpretations become nevertheless problematic when applied to more than one system. The first (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Steven Orey (1959). Review: Ernst Specker, Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom). [REVIEW] Journal of Symbolic Logic 24 (3):226-227.score: 120.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  15. G. Hasenjaeger (1962). Review: Ernst Specker, Dualitat. [REVIEW] Journal of Symbolic Logic 27 (2):231-231.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Rozsa Peter (1950). Review: Ernst Specker, Nicht Konstruktiv Beweisbare Satze der Analysis. [REVIEW] Journal of Symbolic Logic 15 (1):67-68.score: 120.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Mordecai Waegell, P. K. Aravind, Norman D. Megill & Mladen Pavičić (2011). Parity Proofs of the Bell-Kochen-Specker Theorem Based on the 600-Cell. Foundations of Physics 41 (5):883-904.score: 54.0
    The set of 60 real rays in four dimensions derived from the vertices of a 600-cell is shown to possess numerous subsets of rays and bases that provide basis-critical parity proofs of the Bell-Kochen-Specker (BKS) theorem (a basis-critical proof is one that fails if even a single basis is deleted from it). The proofs vary considerably in size, with the smallest having 26 rays and 13 bases and the largest 60 rays and 41 bases. There are at least 90 (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. Mordecai Waegell & P. K. Aravind (2011). Parity Proofs of the Kochen-Specker Theorem Based on the 24 Rays of Peres. Foundations of Physics 41 (12):1786-1799.score: 54.0
    A diagrammatic representation is given of the 24 rays of Peres that makes it easy to pick out all the 512 parity proofs of the Kochen-Specker theorem contained in them. The origin of this representation in the four-dimensional geometry of the rays is pointed out.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. Mordecai Waegell & P. K. Aravind (2014). Parity Proofs of the Kochen–Specker Theorem Based on the 120-Cell. Foundations of Physics 44 (10):1085-1095.score: 54.0
    It is shown how the 300 rays associated with the antipodal pairs of vertices of a 120-cell (a four-dimensional regular polytope) can be used to give numerous “parity proofs” of the Kochen–Specker theorem ruling out the existence of noncontextual hidden variables theories. The symmetries of the 120-cell are exploited to give a simple construction of its Kochen–Specker diagram, which is exhibited in the form of a “basis table” showing all the orthogonalities between its rays. The basis table consists (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. P. R. Holland, Kochen–Specker -Obstruction for Position and Momentum Using a Single Degree of Freedom.score: 42.0
    The Bell–Kochen–Specker theorem shows that, in any Hilbert space of dimension of at least 3, it is impossible to assign noncontextual definite values to all observables in such a way that the quantum-mechanical predictions are reproduced. This leaves open the issue of what subsets of observables may be assigned definite values. Clifton has shown that, for a system of at least two continuous degrees of freedom, it is not possible to assign simultaneous noncontextual values to two coordinates and their (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Elizabeth Gould & P. K. Aravind (2010). Isomorphism Between the Peres and Penrose Proofs of the BKS Theorem in Three Dimensions. Foundations of Physics 40 (8):1096-1101.score: 24.0
    It is shown that the 33 complex rays in three dimensions used by Penrose to prove the Bell-Kochen-Specker theorem have the same orthogonality relations as the 33 real rays of Peres, and therefore provide an isomorphic proof of the theorem. It is further shown that the Peres and Penrose rays are just two members of a continuous three-parameter family of unitarily inequivalent rays that prove the theorem.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. Gian Aldo Antonelli (1998). Extensional Quotients for Type Theory and the Consistency Problem for NF. Journal of Symbolic Logic 63 (1):247-261.score: 24.0
    Quine’s “New Foundations” (NF) was first presented in Quine [1937] and later on in Quine [1963]. Ernst Specker [1958, 1962], building upon a previous result of Ehrenfeucht and Mostowski [1956], showed that NF is consistent if and only if there is a model of the Theory of Negative (and positive) Types (TNT) with full extensionality that admits of a “shifting automorphism,” but the existence of a such a model remains an open problem.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  23. Martijn Caspers, Chris Heunen, Nicolaas P. Landsman & Bas Spitters (2009). Intuitionistic Quantum Logic of an N-Level System. Foundations of Physics 39 (7):731-759.score: 12.0
    A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Döring and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (Heunen et al. in arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup through the (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation