Hacker News new | ask | show | jobs
by mgdlbp 931 days ago
https://ncatlab.org/nlab/all_pages

;-D
1 comments
theodric 931 days ago
What the actual hell is this? Have people really gone to this much effort to write a backstory for a comedic skit?
link
gqcwwjtg 931 days ago
That’s genuine metamathematics, only one joke in there https://ncatlab.org/nlab/list/joke
link
theodric 930 days ago
Any sufficiently-advanced mathematics is indistinguishable from technobabble, I guess
link