Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Titans of Mathematics Clash Over Epic Proof of ABC Conjecture. Parent comment
1+1=1+S(0) [definition of 1]
1+S(0)=S(1+0) [definition of addition, a+S(b)=S(a+b)]
1+1=S(1+0) [transitivity of equality]
S(1+0)=S(1) [definition of addition, a+0=a]
1+1=S(1) [transitivity of equality]
S(1)=2 [definition of 2]
1+1=2 [transitivity of equality]
There are no comments on this comment yet.
1+1=1+S(0) [definition of 1]
1+S(0)=S(1+0) [definition of addition, a+S(b)=S(a+b)]
1+1=S(1+0) [transitivity of equality]
S(1+0)=S(1) [definition of addition, a+0=a]
1+1=S(1) [transitivity of equality]
S(1)=2 [definition of 2]
1+1=2 [transitivity of equality]