top | item 44969540 (no title) unexpectedtrap | 6 months 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. discuss order hn newest codebje|6 months ago Interesting - what is correctness of the kernel here? That it faithfully implements the model?
codebje|6 months ago Interesting - what is correctness of the kernel here? That it faithfully implements the model?
codebje|6 months ago