Post #1551782
2026-04-08 23:14 UTC
@screwlisp @andrejbauer Describing learning constructive mathematics as a traumatic event is too funny 🤣 . it can't be that bad LMAO
Replies (1)
-
@screwlisp@gamerplus.org 2026-04-08 23:38
@andrejbauer Sorry for the slightly grasping side note, but did you see Ken Baclawski's introduction to foundation ontology by analogy to a topos foundation model of mathematics (last week)? https://www.youtube.com/watch?v=Ba8Cs0eVeHo @Mr0