Changes

Line 527: Line 527:  
<p>Now the discovery of ideas as general as these is chiefly the willingness to make a brash or speculative abstraction, in this case supported by the pleasure of purloining words from the philosophers:  &ldquo;Category&rdquo; from Aristotle and Kant, &ldquo;Functor&rdquo; from Carnap &hellip;, and &ldquo;natural transformation&rdquo; from then current informal parlance.</p>
 
<p>Now the discovery of ideas as general as these is chiefly the willingness to make a brash or speculative abstraction, in this case supported by the pleasure of purloining words from the philosophers:  &ldquo;Category&rdquo; from Aristotle and Kant, &ldquo;Functor&rdquo; from Carnap &hellip;, and &ldquo;natural transformation&rdquo; from then current informal parlance.</p>
 
|-
 
|-
| align="right" | Mac Lane, Cat.Work.Math. 29&ndash;30
+
| align="right" | Saunders Mac Lane, Cat.Work.Math. 29&ndash;30
 
|}
 
|}
   Line 538: Line 538:  
<p>I even hope that what I have done may prove a first step toward the resolution of one of the main problems of logic, that of producing a method for the discovery of methods in mathematics.</p>
 
<p>I even hope that what I have done may prove a first step toward the resolution of one of the main problems of logic, that of producing a method for the discovery of methods in mathematics.</p>
 
|-
 
|-
| align="right" | C.S. Peirce, CP 3.364
+
| align="right" |
 +
<p>Charles S. Peirce, CP&nbsp;3.364, &ldquo;On the Algebra of Logic : A Contribution to the Philosophy of Notation&rdquo;,<br>
 +
<i>American Journal of Mathematics</i>, 7(2), 180&ndash;202, (1885).</p>
 
|}
 
|}
  
12,080

edits