Post #1330065

The irony is that the foundation that de Bruijn chose works for what Brouwer wanted. And it mutated into Martin-Löf Type Theory. You can fight endlessly again each other, but in the end you are doing the same thing.