Ancestors

Written by Andrew Helwer on 2025-01-12 at 17:57

Am I remembering wrong or is there some particular popular essay on why constructive mathematics is the way to go? After working through a weird proof that uses the law of the excluded middle to pop a bunch of propositions into existence out of nowhere I am feeling sympathetic lol

[#]AskFedi #Constructivism

=> More informations about this toot | More toots from ahelwer@discuss.systems

Toot

Written by Jarrod Urban on 2025-01-13 at 06:43

@ahelwer maybe you can find a reference in the bibliography of this paper.

https://web.archive.org/web/20060209210015/http://staff.science.uva.nl/~anne/hhhist.pdf

If you find anything good. Please let me know. It would be an interesting read for me.

=> More informations about this toot | More toots from jarrodu@social.tchncs.de

Descendants