|
|
|
|
|
|
by trehalose
990 days ago
|
|
|
If I may nitpick, it shouldn't ever output "undecidable" but rather something like "undecided" or "I give up". A program that can be trivially seen to halt if we let it run for a quadrillion years is only "undecidable" in the sense that we might get impatient and die. |
|
|