17 found
Order:
Disambiguations
Saunders Mac Lane [16]Saunders Lane [1]
  1. Mathematics: Form and Function.Saunders Mac Lane - 1990 - Studia Logica 49 (3):424-426.
     
    Export citation  
     
    Bookmark   28 citations  
  2. Structure in mathematics.Saunders Lane - 1996 - Philosophia Mathematica 4 (2):174-183.
    The article considers structuralism as a philosophy of mathematics, as based on the commonly accepted explicit mathematical concept of a structure. Such a structure consists of a set with specified functions and relations satisfying specified axioms, which describe the type of the structure. Examples of such structures such as groups and spaces, are described. The viewpoint is now dominant in organizing much of mathematics, but does not cover all mathematics, in particular most applications. It does not explain why certain structures (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3.  99
    Despite pyhsicists, proof is essential in mathematics.Saunders Mac Lane - 1997 - Synthese 111 (2):147-154.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  34
    A logical analysis of mathematical structure.Saunders Mac Lane - 1935 - The Monist 45 (1):118 - 130.
  5.  9
    Cooley John C.. Outline of symbolic logic. Harvard Cooperative Society, Cambridge, Mass., 1938.Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):126-126.
  6.  17
    Symbolic Logic.Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):125-126.
  7.  6
    Tarski Alfred. Der Aussagenkalkül und die Topolagie. Fundamenta mathematicae, vol. 31 , pp. 103–134.Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):26-27.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  13
    Bornstein Benedykt. Geometrical logic. The structures of thought and space. Bibliotheca Universitatis Liberae Polonae, ser. B, no. 8 . Wolna Wszechnica Polska, Warsaw 1939, 114 pp. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):133-134.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  19
    Birkhoff Garrett. Lattices and their applications. Bulletin of the American Mathematical Society, vol. 44 , pp. 793–800. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):34-35.
  10.  12
    MacNeille H. M.. Extension of a distributive lattice to a Boolean ring. Bulletin of the American Mathematical Society, vol. 45 , pp. 452–455. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):134-134.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  14
    Pankajam S.. On symmetric functions of m symmetric functions in a Boolean algebra. Proceedings of the Indian Academy of Sciences, section A, vol. 9 , pp. 95–102. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):124-124.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  10
    Review: Alfred Tarski, Der Aussagenkalkul und die Topologie. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):26-27.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  13
    Review: Benedykt Bornstein, Geometrical Logic. The Structures of Thought and Space. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):133-134.
  14.  16
    Review: Garrett Birkhoff, Lattices and their Applications. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):34-35.
  15.  14
    Review: H. M. MacNeille, Extension of a Distributive Lattice to a Boolean Ring. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):134-134.
  16.  6
    Review: John C. Cooley, Outline of Symbolic Logic. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):126-126.
  17.  9
    Review: M. H. Stone, The Representation of Boolean Algebras. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):35-35.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark