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

the claim in the operations is that these sums have finite values.


Yes, but you cannot assume that the values are finite in the "proof" that they are finite. You have to prove that they are finite before you are allowed to manipulate them as finite quantities.


to prove by contradiction, that's exactly what you do. You assume they are finite, use allowed operations, show a contradiction.




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

Search: