|
|
|
|
|
|
by adamnemecek
842 days ago
|
|
|
> Program equivalence, for instance, hits the wall of the halting problem. Yet somehow people think that it's just a matter of time before an AI that can solve the problem of giving you a mathematically equivalent code to an existing code. This is a solved problem in the context of total programming. |
|
|