7 ms·Then I'm curious: is it possible to know when we know everything there is to know?by daef 2y agoThen I'm curious: is it possible to know when we know everything there is to know?brap 2y agoGood question. I don’t know!frotaur 2y agoThe answer is no. There are statements for which knowing if they are decidable is undecidable.daef 2y agoI know that \exists undecidable statements, I just don't know if this specific statement is decidable...