And does “mathematics” mean “constructive logic”? You criticise people’s narrow view of foundation, but aren’t you just replacing that with a different but equally narrow view? I think some philosophical discussion is required.
And does “mathematics” mean “constructive logic”? You criticise people’s narrow view of foundation, but aren’t you just replacing that with a different but equally narrow view? I think some philosophical discussion is required.