>Imagine if all the programming documentation you worked with was at the level of a 1980's first book on BASIC.
mathematical maturity is the same as "code sense". when i started writing code a couple of years ago i would get cross-eyed reading large blocks of code i.e. i would get lost in the syntax and the abstractions and the idioms. at the same time i had pretty decent "mathematical maturity" i.e. i could read papers and textbooks pretty handily. comparing it seems obvious that formal mathematics, with its idioms, abstractions, and syntax is basically the same thing (without pushing the curry-howard isomorphism too far).
mathematical maturity is the same as "code sense". when i started writing code a couple of years ago i would get cross-eyed reading large blocks of code i.e. i would get lost in the syntax and the abstractions and the idioms. at the same time i had pretty decent "mathematical maturity" i.e. i could read papers and textbooks pretty handily. comparing it seems obvious that formal mathematics, with its idioms, abstractions, and syntax is basically the same thing (without pushing the curry-howard isomorphism too far).