← Back to context Comment by antonvs 12 hours ago Stringing what together? A sequence of logical implications? The word for that is "proof". 2 comments antonvs Reply cyanydeez 11 hours ago You 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 3 hours ago A sequence of logical implications that each follow from previous ones is exactly what a proof is. Did I really need to spell that out?
cyanydeez 11 hours ago You 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 3 hours ago A sequence of logical implications that each follow from previous ones is exactly what a proof is. Did I really need to spell that out?
antonvs 3 hours ago A sequence of logical implications that each follow from previous ones is exactly what a proof is. Did I really need to spell that out?
You 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.
A sequence of logical implications that each follow from previous ones is exactly what a proof is. Did I really need to spell that out?