arXiv:2304.00358cs.LO
Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.
Logic really is just algebra, given one uses the right kind of algebra, and the right kind of logic. The right kind of algebra is abstraction algebra, and the right kind of logic is abstraction logic.
Linked by 1 identifiable commenter in 2 comments across 2 threads, from Sep 2023 to Nov 2024. Found in 1 HN submission from Sep 2023 to Sep 2023. Open submission discussions.
I think the important idea from math for programming, and pretty much everything else, is that of a function that operates on functions. You can build on that important idea in different general ways, for example category theory, or type theory. There is a much simpler way of…
Connected through shared HN threads, not inferred similarity or a recommendation.
This interplay between intuition and logic is exactly what makes the magic happen. You need intuition to feel your way forward, and then logic to solidify your progress so far, and also for ideas maybe not directly accessible via intuition only. I've experienced that myself, and…
practalView on HNParent context