home.social

#higherorderlogic — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #higherorderlogic, aggregated by home.social.

  1. Late to the party, but I heart “Rethinking Set Theory”, Tom Leinster’s presentation of ETCS (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: webhomes.maths.ed.ac.uk/~tl/as

    #settheory #etcs #higherorderlogic

  2. Late to the party, but I heart “Rethinking Set Theory”, Tom Leinster’s presentation of ETCS (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: webhomes.maths.ed.ac.uk/~tl/as

    #settheory #etcs #higherorderlogic

  3. Late to the party, but I heart “Rethinking Set Theory”, Tom Leinster’s presentation of ETCS (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: webhomes.maths.ed.ac.uk/~tl/as

    #settheory #etcs #higherorderlogic

  4. Late to the party, but I heart “Rethinking Set Theory”, Tom Leinster’s presentation of ETCS (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: webhomes.maths.ed.ac.uk/~tl/as

    #settheory #etcs #higherorderlogic

  5. 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' updatedscholar.blogspot.com/20 #CategoryTheory #ToposTheory #topos #HigherOrderLogic

  6. 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' updatedscholar.blogspot.com/20 #CategoryTheory #ToposTheory #topos #HigherOrderLogic

  7. 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' updatedscholar.blogspot.com/20 #CategoryTheory #ToposTheory #topos #HigherOrderLogic

  8. 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' updatedscholar.blogspot.com/20 #CategoryTheory #ToposTheory #topos #HigherOrderLogic