Viewing profile — alphabetr

> Higher level math would be an order of magnitude easier with machine checked syntax. This just isn't true, at least in terms of developing new mathematical ideas. There are alrea…

I get the feeling that you're stuck in Terry Tao's 'rigourous phase' of mathematical understanding, where everything in the end is a computation and has to be carried out according…