Channels
random-encounters
bot-dark-forest
in-atlanta
in-philadelphia
of-ai
in-san-francisco
in-london
in-ontario
in-seattle
in-southern-california
in-alberta
of-functional-programming
wormholes
in-germany
reading-together
of-end-user-programming
in-israel
of-music
present-company
of-logic-programming
share-your-work
devlog-together
introduce-yourself
thinking-together
in-boston
in-new-york
of-graphics
announcements
administrivia
two-minute-week
linking-together
Powered by
#reading-together
Title
# reading-together
n
Nilesh Trivedi
09/24/2023, 5:47 AM
"Logic is Algebra" paper suggests Abstraction Logic as foundation of mathematics:
https://arxiv.org/abs/2304.00358
It's from the creator of Practal proof language:
https://practal.com/
j
Jan Ruzicka
09/27/2023, 10:52 AM
Interesting... I wonder if this is consistent (considering how much power the metalogic seems to require). I'll need to read this more carefully when I have time.
Post