News for hackers. Stuff that matters.

A comment on Mathematicians welcome computer-assisted proof in ‘grand unification’ theory. Parent comment

Re:Mathematicians welcome computer-assisted proof in ‘grand ... by fspeech on Sunday June 20, 2021 @03:14AM (#27567873)
Yes and the isomorphism is known as Curry-Howard Correspondence https://en.wikipedia.org/wiki/Curry-Howard_correspondence
[ Parent | on HN ]

There are no comments on this comment yet.