|
|
|
|
|
|
by Firadeoclus
2785 days 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. |
|
|