"So many things" lmao I have two (2) things to read
Here's a list of my favourite Conor McBride paper titles:
"Doo bee doo bee doo"
"Everybody's Got To Be Somewhere"
"I Got Plenty o' Nuttin'"
"Do be do be do"
"How to keep your neighbours in order"
"The gentle art of levitation"
"Let's See How Things Unfold"
"Clowns to the left of me, jokers to the right"
"What's the deal with dependent types?" (mood)
"The view from the left"
"i am not a number - i am a free variable"
We don't even HAVE a set theory course
The only courses on metalogic are in PHIL
Should've done a CS+math major
The only time I use my physics knowledge is when I need the math parts or when I'm making a shitpost about Schrödinger's various possessions
I feel like there's a lot of random gaps in the middle of my knowledge about things like set theory and type theory that I don't feel like I have with things like calculus bc I had a very uniform education when it came to calculus
All my calculus gaps are on either end and are things like real analysis and diff geo so they don't count as gaps, just vast expanses in the distance
I know it's not aleph-1 bc 2^aleph-0 = aleph-1 so it's not strong
aleph-omega... but what is the one after that
now there's strong cardinals??
When bread goes in the toaster and toast comes out... where does the bread go
I'm looking at variable assignments and I am like, where are the let statements?
MSc. student in CS, specializing in programming languages and such
Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully.