(I wrote the Fundamental Theorem of Algebra post.)
I don't necessarily disagree; I wrote the original thing as a proof of concept and wasn't expecting it to be perfect first time out. However, I do have the extra notion -- given my design ideas presume things are being delivered electronically, as seems to be the case with most math papers these days -- that one could expand or condense different parts of the proof so the amount of detail would be selectable.
Also, however, regarding the fiddly details, some of the insights conveyable in one line are in the ... (read more)
(I wrote the Fundamental Theorem of Algebra post.)
I don't necessarily disagree; I wrote the original thing as a proof of concept and wasn't expecting it to be perfect first time out. However, I do have the extra notion -- given my design ideas presume things are being delivered electronically, as seems to be the case with most math papers these days -- that one could expand or condense different parts of the proof so the amount of detail would be selectable.
Also, however, regarding the fiddly details, some of the insights conveyable in one line are in the ... (read more)