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

Let's assume there exists one or more privileged ref system(s), and deal the two cases one by one. If there was one privileged reference system, and in our deduction process it's not involved,then the original deduction still holds. therefore the special ref system is an redudunt assumption. If there were many such ref systems, we would have to carefully get them involved in any possible deduction process, which is impossible. QED


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

Search: