| ▲ | unexpectedtrap 5 days ago | |
Correctness of the kernel and consistency of the theory implemented in it are different things. Gödel’s theorems prevent you from proving the latter, but not the former. | ||
| ▲ | codebje 5 days ago | parent [-] | |
Interesting - what is correctness of the kernel here? That it faithfully implements the model? | ||