3 ms·
It is undecidable to determine whether a manuscript has terminated, or whether it will continue being revised forever.
by harveywi 4y ago
It is undecidable to determine whether a manuscript has terminated, or whether it will continue being revised forever.