News for hackers. Stuff that matters.

A comment on Why isn't there a replication crisis in math?. Parent comment

Re:Why isn't there a replication crisis in math? by freemint on Wednesday February 02, 2022 @06:35PM (#30185878)
Not any proof with quantifiers. As soon as statement contains ∀ (for all) ∃ (there exists one) where you have a way bigger branching factor and the claim after the quantifiers needs to be true all for all (or atleast for one) element of the set you draw from.
[ Parent | on HN ]
Re:Why isn't there a replication crisis in math? by k__ on Wednesday February 02, 2022 @07:29PM (#30186572)
Yes, what I meant was, math proofs are well defined, and programs are often a heap of stuff thrown together.

While it's harder to produce the math proof, it's probably harder to grasp what's going on in a program in a mathematical sense.

[ Parent | on HN ]