12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 14:10, 13 April 2012
, 14:10, 13 April 2012→6.4. A Formal Point of View: add ref details
<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: “Category” from Aristotle and Kant, “Functor” from Carnap …, and “natural transformation” 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: “Category” from Aristotle and Kant, “Functor” from Carnap …, and “natural transformation” from then current informal parlance.</p>
|-
|-
| align="right" | Mac Lane, Cat.Work.Math. 29–30
| align="right" | Saunders Mac Lane, Cat.Work.Math. 29–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 3.364, “On the Algebra of Logic : A Contribution to the Philosophy of Notation”,<br>
<i>American Journal of Mathematics</i>, 7(2), 180–202, (1885).</p>
|}
|}