/sci/ - Science & Math

>>10849727
Always an excuse, never a bow too long to be drawn as far as the cult is concerned.

>>9982432
Good luck!

>tfw one of my results is going to be cited in my field's main textbook/reference

>>9684178
>the textbook is free

>tfw you realize that setoids are all we need and all the hand-wringing about quotient types and higher inductive types is just category theory autism

thank you based bishop for solving all foundational problems 50 years ago

>>9464050
This guy is correct

meaningful distinctions deserve to be maintained

>the answer is an integer
>the answer is not obvious
>the proof finally reduces to a form you recognize
>you derive classic results by yourself
>you derive a complex analytic continuation of a complicated sequence
>you do everything correctly the first time

>>7530952
A=76-B
76-B-B=38
-2B=38-76
B=-19

A-(-19)=38
A+19=38
A=38-19
A=19

A/B=19/(-19)=1

easy. most people ITT are dumb as fuck lol

how do i show my teacher how much i appreciate him without sucking his cock
he's teaching me calc 3, but he also teaches 8 other classes, including remedial math. i've seen this. these people suck at third grade math and he keeps 200% calm and explains through things thoroughly and completely, just like he does when he's teaching calc 3. he doesn't have a family and he's working almost 24/7, and he is the most happy, upbeat person i've ever met. i envy him as much as i appreciate him and want to do something nice for him because my classmates are kinda douchebags to him for some reason.
ideas?