|
|
|
|
|
|
by JadeNB
4445 days ago
|
|
|
Sure, but, regardless of agency, human or automated, it is still not possible to prove all true theorems. (The human / automated distinction comes in more sharply in the halting problem, where any potential halting decider will choke on some program that proveably terminates.) |
|
|