|
|
|
|
|
|
by perching_aix
6 days ago
|
|
|
I might be slow today but I'm pretty sure that the Church-Turing thesis is about undecidable statements, not false decidable statements. If a decidable statement is false... then that's it, it is just false, that's how we can decide so in the first place. |
|
|