Changes

<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

|}

|}

<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>

|}

|}