|
|
|
|
|
|
by tgflynn
2377 days ago
|
|
|
> Infinities have the opposite effect then you might think, they make things simpler. It's much easier to reason about an infinite list of numbers then to reason about 64 bit numbers. I would argue that a few extra lines in a proof is a small price to pay to avoid the Godelian catastrophe. |
|
|