16 found
Order:
Disambiguations
Ernst Specker [14]Ernst P. Specker [2]
  1.  55
    Nicht konstruktiv beweisbare sätze der analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.
  2. Typical Ambiguity.Ernst P. Specker - 1962 - In Ernest Nagel (ed.), Logic, methodology, and philosophy of science. Stanford, Calif.,: Stanford University Press. pp. 116--23.
    No categories
     
    Export citation  
     
    Bookmark   24 citations  
  3.  56
    Zur Axiomatik der Mengenlehre (Fundierungs‐ und Auswahlaxiom).Ernst Specker - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13‐20):173-210.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  4. The Axiom of choice in Quine's New Foundations for Mathematical Logic.Ernst P. Specker - 1954 - Journal of Symbolic Logic 19 (2):127-128.
  5.  18
    Die logik nicht gleichzeitig entsc heidbarer aussagen.Ernst Specker - 1960 - Dialectica 14 (2‐3):239-246.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  6.  12
    Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom).Ernst Specker - 1957 - Mathematical Logic Quarterly 3 (13-20):173-210.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  7.  10
    Nicht Konstruktiv Beweisbare Sätze der Analysis.Ernst Specker - 1950 - Journal of Symbolic Logic 15 (1):67-68.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  1
    Vorlesungen Über Grundzüge der Mathematischen Logik.Ernst Specker - 1950 - Journal of Symbolic Logic 15 (3):200-201.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  9
    Dualitat.Ernst Specker - 1962 - Journal of Symbolic Logic 27 (2):231-231.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  11
    Jordan Pascual. Zur Quanten-Logik. Archiv der Mathematik , Bd. 2 , S. 166–171.Ernst Specker - 1951 - Journal of Symbolic Logic 15 (4):283-283.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. Komplexität von Entscheidungsproblemen: ein Seminar.Ernst Specker & Volker Strassen (eds.) - 1976 - New York: Springer Verlag.
     
    Export citation  
     
    Bookmark  
  12. Kommentar zum Beitrag von Wolfgang Balzer.Ernst Specker - 1988 - In Paul Hoyningen-Huene & Gertrude Hirsch (eds.), Wozu Wissenschaftsphilosophie?: Positionen und Fragen zur gegenwärtigen Wissenschaftsphilosophie. New York: Walter de Gruyter. pp. 75-75.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  25
    Postmoderne Mathematik: Abschied vom Paradies?Ernst Specker - 1988 - Dialectica 42 (3):163-170.
    SummaryIn order to use modern infinitary mathematics in the natural sciences, human beings have developed a corresponding picture of the world. The gnomes have made a similar step for their trade — books e.g. are sold and bought in infinite sets. In a gnomic‐human dialogue the problems arrising from such attitudes are discussed and a path from modern to postmodern mathematics is sketched.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  9
    Review: Heinrich Scholz, Vorlesungen Uber Grundzuge der Mathematischen Logik. [REVIEW]Ernst Specker - 1950 - Journal of Symbolic Logic 15 (3):200-201.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  10
    Review: Pascual Jordan, Zur Quanten-Logik. [REVIEW]Ernst Specker - 1950 - Journal of Symbolic Logic 15 (4):283-283.
  16.  16
    Scholz Heinrich. Vorlesungen über Grundzüge der mathematischen Logik. Mimeographiert. Ausarbeitungen mathematischer und physikalischer Vorlesungen, Bde. VI, VII. Aschendorff'sche Verlagsbuchhandlung, Münster 1949, zwei Bände, XII + 316 S., X + 311 S. [REVIEW]Ernst Specker - 1950 - Journal of Symbolic Logic 15 (3):200-201.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark