News for hackers. Stuff that matters.

A comment on What do we mean by "the foundations of mathematics"?. Parent comment

Re:What do we mean by "the foundations of mathematics"? by layer8 on Wednesday November 01, 2023 @04:57PM (#38105107)
> Recently I found another notion of "provability"

Any pointers to that alternative notion?

[ Parent | on HN ]
Re:What do we mean by "the foundations of mathematics"? by bvssvni on Wednesday November 01, 2023 @05:04PM (#38105216)
I'm implementing it in this project: https://crates.io/crates/hooo
[ Parent | on HN ]