#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
-
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
-
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
-
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
-
On my #blog , in which I try to write pithy summaries of major papers and books in my field, I attempt to say something meaningful in minimal space about the monumental 'Sketches of an Elephant' https://updatedscholar.blogspot.com/2022/11/discussing-sketches-of-elephant-topos.html #CategoryTheory #ToposTheory #topos #HigherOrderLogic
-
On my #blog , in which I try to write pithy summaries of major papers and books in my field, I attempt to say something meaningful in minimal space about the monumental 'Sketches of an Elephant' https://updatedscholar.blogspot.com/2022/11/discussing-sketches-of-elephant-topos.html #CategoryTheory #ToposTheory #topos #HigherOrderLogic
-
On my #blog , in which I try to write pithy summaries of major papers and books in my field, I attempt to say something meaningful in minimal space about the monumental 'Sketches of an Elephant' https://updatedscholar.blogspot.com/2022/11/discussing-sketches-of-elephant-topos.html #CategoryTheory #ToposTheory #topos #HigherOrderLogic
-
On my #blog , in which I try to write pithy summaries of major papers and books in my field, I attempt to say something meaningful in minimal space about the monumental 'Sketches of an Elephant' https://updatedscholar.blogspot.com/2022/11/discussing-sketches-of-elephant-topos.html #CategoryTheory #ToposTheory #topos #HigherOrderLogic