News for hackers. Stuff that matters.

A comment on With Category Theory, Mathematics Escapes from Equality (2019). Parent comment

Re:With Category Theory, Mathematics Escapes from Equality (... by Ericson2314 on Sunday March 27, 2022 @08:45AM (#30819806)
Foundations goes back to Cantor and Frege, at least.

Set theorists have made a Whig History of sorts where everything leads to ZFC, but that is just their post-hoc reading of the intellectual history.

We can write Whig Histories too. See https://homepages.inf.ed.ac.uk/wadler/papers/frege/frege.pdf for example.

The fact is both narratives are wrong --- intellectual history is always more pluralistic and meandering than partisans want to admit in hindsight. We, as the underdogs, are ready to admit that. Can you all do the same?

[ Parent | on HN ]
Re:With Category Theory, Mathematics Escapes from Equality (... by spekcular on Sunday March 27, 2022 @10:05AM (#30820342)
That link talks almost entirely about implications for programming and not mathematics. I recommend the Penelope Maddy article linked in a comment above for a more in-depth discussion of the relevant history and aims of the field. She says things much more clearly than I can.
[ Parent | on HN ]
Re:With Category Theory, Mathematics Escapes from Equality (... by Ericson2314 on Sunday March 27, 2022 @12:57PM (#30821793)
Yes, my point is "functional programming" and "ZFC" are both not predestined as the inevitable conclusion the ideas preceding them would lead up to.
[ Parent | on HN ]