Remix.run Logo
scott_meyer 2 hours ago

Proof by contradiction requires finding a single contradiction. Practical utility just requires that contradiction be infrequent enough.