|
|
|
|
|
|
by cyphar
2 hours ago
|
|
|
Don't Godel's incompleteness theorems mean that completeness is a property you don't want in a prover (as it means the prover must then be inconsistent and this unsuable) and consistency is a property of the prover you cannot prove using the prover itself? |
|
|