3 ms·
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 m
by spekcular 5y ago
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.
- Ericson2314 5y agoYes, my point is "functional programming" and "ZFC" are both not predestined as the inevitable conclusion the ideas preceding them would lead up to.