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 | View the thread | More toots from ahelwer@discuss.systems
=> View askfedi tag | View constructivism tag This content has been proxied by September (ba2dc).Proxy Information
text/gemini