News for hackers. Stuff that matters.

A comment on The FTC’s new enforcement weapon: “Algorithmic destruction”. Parent comment

Re:The FTC’s new enforcement weapon: “Algorithmic destruction” by jnwatson on Thursday March 17, 2022 @06:47PM (#30716721)
Math consists of proofs. Every proof corresponds to a computer program, by Curry-Howard Correspondence. Every program is an implementation of an algorithm.

Hence, math consists of things that correspond to implementations of algorithms.

[ Parent | on HN ]

There are no comments on this comment yet.