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 mikhailfranco on Thursday November 02, 2023 @04:23PM (#38119578)
The canonical paper on this was written by De Millo, et al., but it has a rather ungrammatical and incomprehensible title that does it no favors. However, the al. include Lipton and Perlis, so listen up...

Social Processes and Proofs of Theorems and Programs

https://dl.acm.org/doi/pdf/10.1145/359104.359106 [pdf]

[ Parent | on HN ]

There are no comments on this comment yet.