David J. Webb

Logician, musician, special edition. I run upper division math at Chaminade University, and study computability theory/LEAN when I can. Opinions my own. He/him.

[Daniel Litt @littmath]

(dark souls text) COUNTEREXAMPLE FOUND

[🅱️askerville 🇦🇪 @WB_Baskerville]

For there to be an “American Homer” the answer would have to be immediately obvious to everyone, to such a degree that doubting it would immediately mark you as an eccentric. E.g the Italian Homer is Dante. So that this is even a question shows there isn’t one.

[David J. Webb @DJWebbMath]

@LongFormMath R - {60}, surely 😉

[David J. Webb @DJWebbMath]

@JDHamkins @berenthefirst I can think of one theorem where it helps: just plug in φ = ⊥ 😉

[David J. Webb @DJWebbMath]

@virgil_30 @danrobinson Also - and this is magnificently petty - that’s not what “exception that proves the rule” means

[David J. Webb @DJWebbMath]

@fuckyeahspones I’ll be damned, Enterprise went off the air just in time for Doctor Who to come back. I really thought there was a more recent gap!

[David J. Webb @DJWebbMath]

@sillyestgal @ChazakielDoremi When I read it as a teen, I thought “Holden smokes and fails classes? What an unlikable prick.”

The book is beloved for a reason, but I found the protagonist so utterly alien to my own experience that I couldn’t get into it. Perhaps a lack of imagination on my part!

[Lyndon Baines Johnson @lyndonbajohnson]

Not everyone can do the noble profession of podcasting about betting lines.

[David J. Webb @DJWebbMath]

@natssauer @TexDetroyer Damn, I teach Calc 1 a lot and I’d love to read it!

[David J. Webb @DJWebbMath]

@ElliotGlazer Honestly just happy to see Grant agree that the effects of the incompleteness in mathematics are vastly overblown.

[David J. Webb @DJWebbMath]

@NumberTheorist @Movie_Xtra1 Not even a hard one!

[David J. Webb @DJWebbMath]

@patchdj They did feel a little out of place in that way, but I read it as “these are old cobbled together models”, so it worked for me

[David J. Webb @DJWebbMath]

@BasedMikeLee @KamerynJW Julia how dare you jump scare this onto my timeline

[David J. Webb @DJWebbMath]

The exchange rate in Voyage of the Damned makes no sense.

Foon bankrupted her family by spending 5,000 credits, which will take 20 years to pay off.

But Mr. Copper’s credit card has a million pounds, which we’re told is 50 million credits, so she’s only spent £100!

[Marwood @Qui_Quae_Quod42]

Give me your best Doctor Who nitpicks. No reasonable criticisms or analysis, I'm talking real pedantic here.

[David J. Webb @DJWebbMath]

I mean yeah, of course it is, it’s me who’s asking!

[David J. Webb @DJWebbMath]

@UrsSchreiber Hmm, I disagree that chords are just sets of notes. In the abstract yes, but in practice we distinguish between inversions, especially when the notes might cluster together

[David J. Webb @DJWebbMath]

@shimelyasmin It would make his character on Boston Legal even funnier

[David J. Webb @DJWebbMath]

@namwalien I think when you see it laid out as four lines of similar length, then before even reading them it’s natural to want them to fall into a rhyme scheme.

But if you’re hearing it aloud and you don’t know where it’s going - as it was originally delivered! - then it’s perfect as is

[David J. Webb @DJWebbMath]

@littmath @khoomeik I was getting ready to throw hands in defense of 1-randomness, so I figured it was something else

[David J. Webb @DJWebbMath]

@littmath @khoomeik Oh then we 1000% agree, yeah.