Hacker News new | past | comments | ask | show | jobs | submit login

Still quite interesting. Physics is a way of giving an interpretation to a physical system. Only based on an interpretation we can answer questions about internal and external consistency as well as completeness.

Trivial example:

a @ b

b @ c

c @ a

Makes "sense" if @ is = but not if @ is <.




Makes sense if @ is reflexive, more generally speaking :) I have no problem redefining < to make c < a true, that's just a matter of interpretation


Or we might be working in a preorder which has that particular a<b<c<a loop.




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

Search: