4 ms·
From Wikipedia: > Brouwer the intuitionist in particular objected to the use of the Law of Excluded Middle over infinite sets It always seems to me that using
by Firadeoclus 8y ago
From Wikipedia:
> Brouwer the intuitionist in particular objected to the use of the Law of Excluded Middle over infinite sets
It always seems to me that using the LEM over infinite sets is akin to claiming that all problems are decidable.