https://futureofcoding.org/ logo
#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.