3 ms·
That is not a number in constructivism. But there are numbers in constructivism for which it is unknown whether they are zero. Some of which must remain unknow
by btilly 2mo ago
That is not a number in constructivism.
But there are numbers in constructivism for which it is unknown whether they are zero. Some of which must remain unknown, if mathematics is consistent. This is a rather important and weird edge case.