Jeff Leader
181.4K posts
Jeff Leader me-retweet
for the present purpose, to ascertain what the schoolmasters of that degenerate age conceived mathematics to be.
/2x
English
Jeff Leader me-retweet
And we find Boëthius (A.D. 500) defining them as the arts which relate, not to quantity, but to quantities, or quanta. What this would seem to imply is, that mathematics is the foundation of the minutely exact sciences; but really it is not worth our while,
/1
English
Jeff Leader me-retweet
Geometry, arithmetic, astronomy, and music were, in the Roman schools of the fifth century and earlier, recognized as the four branches of mathematics.
English
Jeff Leader me-retweet
by its peculiar mode and degree of abstractness.Precisely what he conceives this to be it would require me to go too far into the technicalities of his philosophy to explain;and I do not suppose anybody would today regard the details of his opinion as important for mypurpose.
/2x
English
Jeff Leader me-retweet
Aristotle names, as the subjects of mathematical study, quantity and continuity. But though he never gives a formal definition of mathematics,he makes quite clear, in more than a dozen places,his view that mathematics ought not to be defined by the things which it studies but
/1
English
Jeff Leader me-retweet
'I find it unsatisfactory to 'classify' PDEs: this is possible in two variables, but creates the false impression that there is some kind of general and useful classification scheme available in general.' -- Lawrence Evans
English
Jeff Leader me-retweet
The affordability crisis isn’t an accident — it’s driven by concentrated corporate power.
Just look at the latest evidence in California's price-fixing case against Amazon.
English
Jeff Leader me-retweet
GOP senators losing confidence in Hegseth amid Pentagon turmoil
thehill.com/homenews/senat…
English
Thought I'd never solve this one; must have stared at it for 20 minutes & tried various combinations, but I finally solved the Wordle in 4. And how did you do? Wordle #1,773 4/6
⬜🟨⬜🟩⬜
⬜⬜🟩🟩⬜
⬜⬜🟩🟩⬜
🟩🟩🟩🟩🟩
English
Jeff Leader me-retweet
Theorem of the Day (April 27, 2026) : The Four-Colour Theorem
Source : Theorem of the Day / Robin Whitty
pdf : theoremoftheday.org/CombinatorialT…
notes : #1" target="_blank" rel="nofollow noopener">theoremoftheday.org/Resources/Theo…
#mathematics #maths #math #theorem
English
Jeff Leader me-retweet
School Shooting: There’s nothing we can do about this. Don’t politicize these tragedies.
Political Shooting: We need a $400 million bunker built immediately and you hate America if you don’t agree.
English
Jeff Leader me-retweet
FINAL: Rockies 3, Mets 0
WP: Chase Dollander
LP: Kodai Senga
SV: Zach Agnos
📰 The Mets were swept by the Rockies, scoring four runs in the series. They've lost 15 of 17. It isn't good.
📊 Record: 9-19
📉 Streak: L3
🏃♂️ Pace: 52-110
Next: Tuesday vs. WAS, 7:10 p.m. ET
English
Jeff Leader me-retweet
Breaking news: The Trump administration provided a lower level of security for the White House correspondents’ dinner than it has for other gatherings of high-ranking officials, according to officials familiar with the plan. wapo.st/4eb1pRg
English
Jeff Leader me-retweet
This is nuts.
Sawyer Hackett@SawyerHackett
Spotted in DC: DHS officers (likely detailed to ICE) making traffic stops in DC with duct taped license plates. They are being accompanied by @dcpolicedept. From what I saw, they pulled over a man (who appeared to be Black), made him get out of his car, searched it, then let him go. Unclear whether they wrote him a ticket, but clearly wasn’t undocumented like they hoped. Looked like they were just fishing for arrests. DC taxpayers—who are denied representation federally—are helping fund an authoritarian regime’s “show me your papers” agenda. Pathetic.
English
Jeff Leader me-retweet
Jeff Leader me-retweet
Jeff Leader me-retweet
“9-1-1 what’s your emergency?”
“There’s someone in the house. He’s trying to kill me.”
“Okay, what I want you to do is get to your ballroom.”
“I don’t have a ballroom.”
“…Then may God have mercy on your soul.”
English
Jeff Leader me-retweet
