News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.