« first day (1090 days earlier)      last day (2021 days later) » 

Slereah
Slereah
07:00
Hm
What's a good notation for a proof
For solving an equation I can just do \begin{eqnarray}a&=&b\\&=& c\\&=& d\end{eqnarray}
do I just use \begin{eqnarray}&&\vdash a\\&&\vdash b\\&&\vdash c\end{eqnarray}
 
8 hours later…
user21820
user21820
14:59
@Slereah If you're talking about a formal proof, depends on which style of deductive system. I think the only style that is humanly usable for actual mathematics is Fitch-style or something like it.
Jun 15 at 11:07, by user21820
@user2103480 Exactly my feeling. As a TA, I always spend at least one lesson to try to explain the core ideas of Fitch-style deduction, namely contexts (represented via indentation), which include the if-subcontext and ∀-subcontext, and show how proof-by-contradiction is completely transparent from the Fitch-style viewpoint. And then I use it throughout the course. Sadly, however, not every student appreciates; a number of them simply want grades over understanding.
See here for my own Fitch-style system for formal set theory that is as strong as ZFC but easier to use.

« first day (1090 days earlier)      last day (2021 days later) »