#higherorderlogic — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #higherorderlogic, aggregated by home.social.
-
Late to the party, but I heart “Rethinking Set Theory”, Tom Leinster’s presentation of ETCS (https://arxiv.org/abs/1212.6543). My natal foundation is higher-order logic, and this is the first time set theory has made any sense to me, other than as a technical device.
Bonus lecture notes: https://webhomes.maths.ed.ac.uk/~tl/ast/ast.pdf
-
ΛProlog: Logic programming in higher-order logic
https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/
#HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews
-
ΛProlog: Logic programming in higher-order logic
https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/
#HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews
-
ΛProlog: Logic programming in higher-order logic
https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/
#HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews
-
ΛProlog: Logic programming in higher-order logic
https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/
#HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews
-
ΛProlog: Logic programming in higher-order logic
https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/
#HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews