5 ms·
>That's what's covered by the "assuming you have formalized the statement correctly" parenthetical. Sure. But it's fair to ask how to validate that assumption.
by oh_my_goodness 9mo ago
>That's what's covered by the "assuming you have formalized the statement correctly" parenthetical.
Sure. But it's fair to ask how to validate that assumption.
- fsmv 9mo agoSkilled humans must understand the problem and write the theorem statement.