Hacker News new | past | comments | ask | show | jobs | submit login
Isolation Lemma (wikipedia.org)
5 points by andersource on May 1, 2023 | hide | past | favorite | 1 comment



For the middle brow CS casuals like myself, is this conceptually adjacent to constructing a proof by contradiction?




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

Search: