if you mean you can prove 2+2==4, it's actually tautology: | | + | | == | | | | | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

solarist on Dec 10, 2019 | parent | context | favorite | on: Simple Rules ‘Bootstrap’ the Laws of Physics

if you mean you can prove 2+2==4, it's actually tautology: | | + | | == | | | |

hprotagonist on Dec 10, 2019 [–]

no like, "addition is closed over the integers" is something you can show to be True (for all members of an infinite set, no less -- so it's not empirical.)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact