Interesting paper!Skepdick wrote: ↑Mon Mar 04, 2024 11:34 am Here's a paper that might upset your sensibilities: https://www.ams.org/journals/bull/2017- ... 1556-4.pdf
Very subtle, though.
He uses the example of Russell's paradox to demonstrate that the proof seemingly uses the law of the excluded middle but is still constructive. I still don't get the point completely, though.