Proof assistants

One of the most important skills for any working (and not working) mathematician is the ability of organize, classify and structure human thought, actually this skills are important for any critical thinker of any matter of human thinking. But what makes mathematicians to have an important advantage over other people is that we can say that mathematics is the study of those ideas.

For example, think on the following expression

i\hbar\frac{\partial}{\partial t}\left|\Psi(t)\right>=H\left|\Psi(t)\right>

Leave a Comment