logoalt Hacker News

antonvstoday at 5:39 PM1 replyview on HN

Stringing what together? A sequence of logical implications? The word for that is "proof".


Replies

cyanydeeztoday at 6:04 PM

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.