Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
serge2k
on June 22, 2016
|
parent
|
context
|
favorite
| on:
Why isn’t the fundamental theorem of arithmetic ob...
2 + 2 = S(S(0)) + S(1) = S(S(S(0)) + 1) = S(S(S(0)) + S(0)) - S(S(S(S(0 + 0)))) = S(S(S(S(0)))) = 4
Definiton of Successor (S) and addition. It's trivial.
fiatjaf
on June 22, 2016
[–]
How is the definition of Successor so obvious, even if you explain it? How can I understand what it so obviously means?
serge2k
on June 22, 2016
|
parent
[–]
It's an axiom. We are talking specifically about 2+2=4 being trivial because it falls out of the axioms.
https://en.wikipedia.org/wiki/Peano_axioms
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Definiton of Successor (S) and addition. It's trivial.