Is type theory a meme?
>>7699061
Formal systems in general are memes
>>7699061
Per-Martin really likes \subset for implication lol.
Also univalence is the biggest meme mathematics at the moment imo.
>>7699423
It's [math]\supset[/math] actually.
Typo theory get out, this is ZFC for life
>>7699061
Anything past calc III is meme territory.
What is the real question here?
Type theory is a cool thing, that's for sure. To like it, you just need to like the intuition part of classical logic (i.e. most of it) and coding functions. And it helps if you like watching birds fucking.
btw. I just saw that this was just uploaded (very vaguely related) (also posting it because some anon said that this is his current waifu)
https://www.youtube.com/watch?v=KtNlItQOE9E
>>7699574
>tfw actually saw her give a seminar talk
>>7699061
i hate chalk, that slight scratchy vibration when writing makes my balls shrivel. not to mention the squeek after certain wear
messy too
>>7699545
>And it helps if you like watching birds fucking.
kek'd
>>7699574
Stephanie Weirich is mai waifu.
>>7699589
>i hate chalk
confirmed for gay
>>7699574
I first read "toposes" as "topless." How disappointing.
>>7699061
nope, it's a superior version of set theory
>>7699891
If you say so, Professor.... Now you want me to buy which one of your badly written books?
is OP asking if something is a meme a meme
that's a lil gay desu
>>7699985
>2015
>using gay as a pejorative
>>7699574
she's fucking ugly you autist
>>7701062
i'm not the anon you're replying too, but do you genuinely not understand that there is more to love than looks?
>>7699970
http://homotopytypetheory.org/book/
it's free but you can order a hard copy if you want
>>7699204
>Formal systems in general are memes
indeed
>>7699423
>>Per-Martin
what does Per mean anyway ?
>>7701127
>what does Per mean anyway ?
Peter
>>7701127
>what does Per mean anyway ?
stupid swedish name
>>7699574
Who is this semen demon?
>>7699574
>toposes
Reeeeeeeeee
Women I swear...
>>7701976
it's the preferred term of her advisor and johnstone makes some joke about thermoi
>>7702173
1 topos
2 topos
3 topos
...
>>7702742
What is the point of this post?
Idk, I had some of it in my functional programming class, was pretty cool.
>>7702742
I'm lucky my parents were relatively sane, though they talked a lot of shit about each other. Eventually I got sick of going back and forth and eventually chose my mother. Half because had moron boyfriends coming and going, and she wasn't capable of any meaningful connection. I knew I'd be left alone, I could have nothing and no one.
I didn't fully consider the repercussions of that choice. I figured I didn't have any value either way and thought my father wouldn't be too affected. I think I was probably wrong.
There is no way to do a divorce right when children are involved.
>>7703608
idktf Anon but I feel for you. I hope at least you find happiness in diligent study of type theory, proof theory and categorical foundations of mathematics.
