|
|
|
|
|
by Jach
2950 days ago
|
|
There's a lot to be said for using computer tools. If you're writing proofs, why not do it formally? [0] If you're working with graphical concepts, why not code them up, or use a drawing program (or hey, a graphing calculator) rather than pulling out a ruler and such (and maybe learning to draw at all if you don't know how)? If you have sloppy handwriting (as I'm sure many of us here do), why not type in something you'll always be able to read later? (Along with whomever you show it to -- I did a lot of college homework using LaTeX. With macros I could do things way more efficiently, with comments I could go back and see what I was thinking at a misstep (if I wrote anything).) The downside of course is that computers are very capable distraction vehicles, you need a bit of discipline to sit at one and study / do this sort of work at the same time for prolonged periods. Pulling out the ethernet cable can help but may not be sufficient depending on one's level of discipline and access to offline distractions. A lot of the old methods of learning actually work and so the advice is sound to strictly adhere to them when you're having struggles. Certain modern enhancements are worth a qualified mention though. [0] https://lamport.azurewebsites.net/pubs/proof.pdf |
|
Because that requires learning a formal proof-verification language. I'm certainly interested in that, but it is a distraction from learning undergraduate mathematics.
> If you're working with graphical concepts, why not code them up, or use a drawing program (or hey, a graphing calculator) rather than pulling out a ruler and such (and maybe learning to draw at all if you don't know how)?
> If you have sloppy handwriting (as I'm sure many of us here do), why not type in something you'll always be able to read later? (Along with whomever you show it to -- I did a lot of college homework using LaTeX. With macros I could do things way more efficiently, with comments I could go back and see what I was thinking at a misstep (if I wrote anything).)
I'm confused; my post was advocating using software, so I'm unclear why you're suggesting I use software.
> A lot of the old methods of learning actually work and so the advice is sound to strictly adhere to them when you're having struggles.
What is that, a flat contradiction of my post?
Very strange, maybe you meant to reply to a different post?