224
you are viewing a single comment's thread
view the rest of the comments
[-] kogasa@programming.dev 1 points 1 year ago

What are you doing with the HoTT book if you have never heard of Cantor's theorem??? You must understand there's a minimum of several years of intensive study in between these two things

[-] silent_water@hexbear.net 1 points 1 year ago

self-study. it's been a decade since I was in school and kept encountering references to it, so I've been working through a lecture series and the book.

this post was submitted on 12 Aug 2023
224 points (100.0% liked)

196

16505 readers
2104 users here now

Be sure to follow the rule before you head out.

Rule: You must post before you leave.

^other^ ^rules^

founded 1 year ago
MODERATORS