4 ms·
Stringing what together? A sequence of logical implications? The word for that is "proof".
by antonvs 2mo ago
Stringing what together? A sequence of logical implications? The word for that is "proof".
- cyanydeez 2mo agoYou mis understand, which is why these articles are so empty. I could find some math starved journal and poblish a bunch of logical implications, but that doesn't mean the logic is sound. A collection of logical implications <> proof.
- antonvs 2mo agoA sequence of logical implications that each follow from previous ones is exactly what a proof is. Did I really need to spell that out?