کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
1160930 | 1490346 | 2011 | 9 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: Understanding the infinite II: Coalgebra Understanding the infinite II: Coalgebra](/preview/png/1160930.png)
In this paper we give an account of the rise and development of coalgebraic thinking in mathematics and computer science as an illustration of the way mathematical frameworks may be transformed. Originating in a foundational dispute as to the correct way to characterise sets, logicians and computer scientists came to see maximizing and minimizing extremal axiomatisations as a dual pair, each necessary to represent entities of interest. In particular, many important infinitely large entities can be characterised in terms of such axiomatisations. We consider reasons for the delay in arriving at the coalgebraic framework, despite many unrecognised manifestations occurring years earlier, and discuss an apparent asymmetry in the relationship between algebra and coalgebra.
Journal: Studies in History and Philosophy of Science Part A - Volume 42, Issue 4, December 2011, Pages 571–579