Blairbash.org

Search Quotes 

#12712

1010

Dec. 12, 2023, 10:58 p.m.

⚐ Report
// working through a Fitch-style proof; ∀xƎy[P(y,x) -> ~Ǝz(P(y,z) ∧ P(z,y)] Rose: So let's take a guy. What should we name our guy? Student: Raul. Rose: Okay, Raul it is. So if someone loves Raul, then it's not the case that they have somebody they love who also loves them. // later Rose: So let's say Raul loves someone. I need a name for the person Raul loves. John: Paul. Rose: Paula. Okay. John: No, just Paul. Rose: Oh, straight Paul? Okay. Stephen: I'm not so sure if "straight" is the right word to use here.

#12697

88

Dec. 8, 2023, 4:15 p.m.

⚐ Report
Rose: Here we have a screenshot from Wikipedia. You know the presentation's getting serious when it includes a screenshot from Wikipedia.

https://en.wikipedia.org/wiki/Peano_arithmetic#Equivalent_axiomatizations

logic, wikipedia, rose

#12681

33

Dec. 6, 2023, 5:26 p.m.

⚐ Report
//explaining natural numbers to a hypothetical alien who can do Fitch-style proofs really well Rose: This is like if you try to teach a board game to a really smart person. Rose: You start explaining it, and very quickly they get annoyed, and say "stop trying to explain it! Just tell me all the rules."

#12680

77

Dec. 6, 2023, 5:24 p.m.

⚐ Report
Rose: What are you boys doing on a laptop? Alexei: Rose. ... We're watching your lectures. Rose: During my class? *closes Alexei's laptop* That's too much of me.

#12646

99

Dec. 4, 2023, 4:03 p.m.

⚐ Report
//chaotic rose anthology, december 4 "It's been a long time since I've had a German-speaker in the class. We're about to get to a lot of German words. This is exciting." "I won't sign the fish forms for people not in the fish class [Marine Biology]." "Can we not play with the Tower of Hanoi? It makes a nonzero amount of sound." "Karen Cao is messing with me, and I appreciate that." "What's the Extreme Value Theorem? Katz raised his hand. Is he bluffing? Nobody knows." "The way they teach this [power series for trigonometric functions] in the US is pretty bad -- well, only if you think about it."

#12621

1010

Nov. 30, 2023, 5:14 p.m.

⚐ Report
//chaotic rose anthology, november 30 "I feel a little better, but I don't want to take any chances, so I have an energy drink, and DayQuil, and tea. Those are all the drugs I can use legally." "This class is all about talking about our feelings." "I want all the steps to be written out, so stupid people like me can read it and understand." "I have a degree, I promise." "Have you heard of the real number 4? Yeah? Great. I have, too." "I'm not going to go over pi today. We'll go over it later -- hopefully never." "Stephen, don't talk about problems. Now is the time to celebrate our successes." "I won't use the paper. I'll use my brain, and my energy drink." "Why are you in the FLUB, little x? Because you're in one of the gammas."

FLUB = F???????? Least Upper Bound

logic, rose

#12620

77

Nov. 30, 2023, 5:04 p.m.

⚐ Report
// talking about real numbers and dedekind cuts Rose: Oh, yeah, shit's getting real!

#12595

88

Nov. 28, 2023, 4:02 p.m.

⚐ Report
//chaotic rose anthology, november 28 "The critics' consensus is that [Wish (2023) is] terrible, but I like it." "You were all bored by my lecture, so maybe my lecture was bad, but maybe it was all your fault." "You are allowed to think. You are even encouraged to think." "I feel like I've said this five times already, but saying it one more time would be good." "I'm leading a whole counter-revolution. When I write my own calculus textbook ..." "An axiom is like a little packet of magic dust." "Sameer! Wake up. Stand up. You can't fall asleep if you're standing." "We have two facts about the least upper bound. It's an upper bound, and it's the least." "Are we ready to start the proof? ... No. That's a trick question. We're not ready, because we don't know what the hell's going on." "Wake up, everyone! Smack yourself. Smack your neighbour. Do whatever it takes." "If you just reach in with your grubby little fingers and go 'eurherhuuerh' ..."

#12567

57

Nov. 21, 2023, 1:22 p.m.

⚐ Report
Rose: The integers -- we know those. You just count some rocks, or something.

#12554

66

Nov. 17, 2023, 4:17 p.m.

⚐ Report
Rose, to Klees: You're standing at the gate, holding a sword, fighting off divergent series, stopping them from entering your maths.