3 ms·
\tangent does the formal proof make sense to a mathematician (as in, can they see it)? Or is it more the hex of assembly of to the high level language of the i
by hyperpallium 8y ago
\tangent does the formal proof make sense to a mathematician (as in, can they see it)?
Or is it more the hex of assembly of to the high level language of the intuition, in the semse that they can verify it, but not necessarily see it?