0
0
1
0
#MetaMath
Latest posts tagged with #MetaMath on Bluesky
Trending
#Ukraine Conflict
#U.S. Foreign Policy
#F1
#Chinese Grand Prix
#SNL
#Venezuela Baseball
#AEW Collision
#Six Nations
#Newcastle United
#Arsenal vs Everton
#Ukraine Conflict
#U.S. Foreign Policy
#F1
#Chinese Grand Prix
#SNL
#Venezuela Baseball
#AEW Collision
#Six Nations
#Newcastle United
#Arsenal vs Everton
Posts tagged #MetaMath
🤔 Click the link( We know, we know, Xitter is not a very safe neighborhood. Unfortunately, many good math accounts have not migrated elsewhere yet.) and watch the video.
#mathematics #math #MetaMath
Source:https://buff.ly/VMBjdNk
0
0
0
0
We have always loved this quote, because it captures our own experience in doing math.
#mathematics #math #MetaMath #quote
Source:https://buff.ly/bA0YGAS
0
0
0
0
My (first!) new paper published in PRIMUS is joint work with Jackie Dewar of Loyola Marymount and Megan Breit-Goodwin of Anoka-Ramsey CC. We provide results and analysis of a survey of SOTL practitioners in mathematics. #MetaMath
doi.org/10.1080/1051...
9
4
0
0
Intro to qualitative #MetaMath work with @rachel-roca.bsky.social includes our #DisruptJMM analysis with @drew-lewis.com @nativemath.bsky.social and Stefanie Marshall.
What do influencers do? Turns out there are different types - Shapers, Thought leaders, and Netweavers.
8
3
0
0
Screenshot of a slide from the talk: "little in academia makes sense except in the light of prestige", • understanding epistemic and social inequalities requires understanding how prestige drives and maintains them • untangling the effects of social biases can make science better & more meritocratic talk outline: • prestige shapes who joins the scientific workforce • prestige shapes which scientific ideas spread • prestige shapes who persists as a scientist, and what they study
Screenshot of a summary slide of the talk, titled "who hires whose graduates as faculty?" • prestige is a structural variable in the scientific workforce • placement power quantifies reputation via outcomes (not inputs, as in USNRW) • reveals core-periphery structure of academia • faculty flow from core -> periphery ("the colonies") • modest fraction stays inside core ("homeland") • small fraction flows "upstream" • these hierarchies extremely stable over time • prestige -> faculty production -> hierarchy
Screenshot of a summary slide from the talk, titled "what shapes the spread of ideas?" • prestige is a structural variable in the spread of knowledge • scientists carry ideas from PhD to faculty institution • prestige (placement power) drives epistemic inequalities • simulations suggests exponential dependence of "impact" on increased prestige • your position in the network shapes how far your ideas spread • prestige hierarchies do have benefits — rapid synchronization of knowledge, culture • prestige -> faculty production -> influence
Screenshot of a results slide from the talk, titled "subfield mediates gender & prestige" • faculty hiring typically at the subfield level — hire in "AI" or in "Numerical Computing" etc. • does representation vary across subfield? does subfield vary with prestige? • results from Laberge et al. (2022), showing that in Computer Science: -- gender varies by CS subfield -- older CS subfields are less diverse -- little racial variation across subfield -- but, strong racial variation by career stage -- Whites overrepresented at PhD, but proportional at faculty -- Black, Hispanic, underrepresented at PhD, but proportional at faculty and that less gender diverse CS subfields = more heavily represented in prestigious CS departments, ie, subfield and prestige mediate gender representation in CS
Slides from my American Inst. of Math @caltech.edu #MetaMath workshop talk on "Prestige, representation, and the spread of scientific ideas" earlier this week aaronclauset.github.io/slides/Claus...
14
4
2
0
37
2
1
1
That’s what we want you to do. I think Michael Barany is asking “How does SIAM’s leadership diversity figures compare to other math profesional society’s demographics over time?” #ModelingMath #MetaMath aimath.org/workshops/up...
2
0
1
0
0
0
0
0
Readings shared October 29, 2025. jaalonso.github.io/vestigium/po... #AI #CompSci #FunctionalProgramming #GenAI #HOL_Light #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Metamath #Mizar #Programming #Python #Rocq
0
0
0
0
1000+ theorems (The spiritual successor of Freek’s list of 100 theorems. Now with more than 1000 theorems!). ~ Katja Berčič et als. 1000-plus.github.io/all #Math #ITP #IsabelleHOL #HOL_Light #Rocq #LeanProver #Metamath #Mizar
3
2
0
0
Cédric Villani who won the Fields Medal in 2010 for his work on the Boltzmann equation, which one might think of as applied math, on the famous math problems.
#mathematics #math #MetaMath #quote
0
0
0
0
0
0
0
0
0
0
0
0
I bet @drew-lewis.com @sam.mathcomms.com and other #metamath peeps might like this
4
0
0
0
In this series of toots, Terry Tao discuss the different mindsets of mathematicians and scientists.
#mathematics #math #science #MetaMath
Source:https://mathstodon.xyz/@tao/114202916107427434
0
0
0
0
Peter Woit discusses what Bill Gates reveals about his relationship to math in his new autobiography.
#mathematic #math #MetaMath #bio
Source:https://buff.ly/3EQbLWK
0
0
0
0
As we have noted before, when you post a question on MathOverflow there is a nonzero chance that it may be answered by Terry Tao
#mathematics #math #MetaMath
Source:https://buff.ly/4gwLxWr
0
0
0
0
Encouraging words from Andrew Wiles.
#mathematics #math #MetaMath #quote
Source:https://buff.ly/3WTL61E
1
0
0
0
Brandon Wilson presenting at Dyalog '24
Brandon Wilson presenting at Dyalog '24
Brandon Wilson presenting at Dyalog '24
Brandon Wilson presenting at Dyalog '24
At #Dyalog24, Brandon Wilson is demonstrating how APL can handle large mathematical databases like Metamath, offering a unique solution for efficient proof verification. But who will ask the questions at the end? 😱 #APL #ProofVerification #DataParallel #Metamath
0
0
0
0
Lecturas compartidas el 25 de junio de 2024. jaalonso.github.io/vestigium/po... #ITP #Agda #Coq #HOL #HOL_Light #IsabelleHOL #Lean4 #Metamath #Math #Haskell #Python #Algorithms #AI #MachineLearning
0
0
0
0
Lecturas compartidas el 11 de mayo de 2024. jalonso.substack.com/lecturas-com... #ITP #Lean4 #IsabelleHOL #Agda #Coq #HOL_Light #Metamath #Mizar #Math #Programming #CommonLisp
0
0
0
0
Algorithm and abstraction in formal mathematics. ~ Heather Macbeth. arxiv.org/abs/2405.04699 #ITP #Agda #Coq #Lean4 #HOL_Light #IsabelleHOL #Metamath #Mizar #Math
2
0
0
0
Supplementary comment on ZFC and "social proofs" (the kinds of proofs that usually occur in papers):
math.codidact.com/posts/290727...
Details:
mathweb.ucsd.edu/%7Esbuss/Res...
#SocialProofs #Mathematics #Metamath
0
1
0
0
Screenshot of a slide with 3 memes
Loved the #MetaMath memes at the end of Ron Buckmire's talk at JMM this morning
6
2
0
0