#russell — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #russell, aggregated by home.social.
-
L’#Alpine mette KO #Russell e le #Ferrari, le cause del disastro https://www.formula1.it/news/32482/1/l-alpine-mette-ko-russell-e-le-ferrari-le-cause-del-disastro?utm_source=dlvr.it&utm_medium=mastodon
-
𝗩𝗲𝗿𝘀𝘁𝗮𝗽𝗽𝗲𝗻 𝗱𝗲𝗿𝗱𝗲 𝗶𝗻 𝗱𝗲𝗿𝗱𝗲 𝘁𝗿𝗮𝗶𝗻𝗶𝗻𝗴 𝗼𝗽 𝗠𝗼𝗻𝘇𝗮, 𝗥𝘂𝘀𝘀𝗲𝗹𝗹 𝘀𝗻𝗲𝗹𝘀𝘁𝗲
Max Verstappen heeft bij de derde en laatste training van de Grote Prijs van Italië de derde tijd gereden. De Red Bull-coureur was op het circuit van Monza 0,350 seconde langzamer dan Mercedes-coureur George Russell.
-
#GPItalia - FP3: #Russell davanti a tutti, tensione tra Verstappen e Hamilton https://www.formula1.it/news/32469/1/gp-italia-fp3-russell-davanti-a-tutti-tensione-tra-verstappen-e-hamilton?utm_source=dlvr.it&utm_medium=mastodon
-
📰 Russell se impuso en duelo con Leclerc y dominó en segundos libres del GP de Italia de Fórmula 1
🔗 https://www.biobiochile.cl/especial/bio-bio-tuercas/noticias/2026/09/04/formula-1-george-russell-se-impuso-en-segundos-libres-gp-italia.shtml -
𝗥𝘂𝘀𝘀𝗲𝗹𝗹 𝘀𝗻𝗲𝗹𝘀𝘁𝗲 𝗶𝗻 𝘁𝘄𝗲𝗲𝗱𝗲 𝘃𝗿𝗶𝗷𝗲 𝘁𝗿𝗮𝗶𝗻𝗶𝗻𝗴, 𝗩𝗲𝗿𝘀𝘁𝗮𝗽𝗽𝗲𝗻 𝗻𝗲𝗴𝗲𝗻𝗱𝗲
Formule 1-coureur George Russell heeft bij de tweede vrije training voor de Grote Prijs van Italië de beste tijd neergezet. De 28-jarige Brit van Mercedes was op het Autodromo Nazionale Monza sneller dan de Monegask Charles Leclerc, die in zijn Ferrari nog de rapste was tijdens de eerste vrije...
-
𝗥𝘂𝘀𝘀𝗲𝗹𝗹 𝘀𝗻𝗲𝗹𝘀𝘁𝗲 𝗶𝗻 𝘁𝘄𝗲𝗲𝗱𝗲 𝘃𝗿𝗶𝗷𝗲 𝘁𝗿𝗮𝗶𝗻𝗶𝗻𝗴, 𝗩𝗲𝗿𝘀𝘁𝗮𝗽𝗽𝗲𝗻 𝗻𝗲𝗴𝗲𝗻𝗱𝗲
Formule 1-coureur George Russell heeft bij de tweede vrije training voor de Grote Prijs van Italië de beste tijd neergezet. De 28-jarige Brit van Mercedes was op het Autodromo Nazionale Monza sneller dan de Monegask Charles Leclerc, die in zijn Ferrari nog de rapste was tijdens de eerste vrije...
-
𝗥𝘂𝘀𝘀𝗲𝗹𝗹 𝘀𝗻𝗲𝗹𝘀𝘁𝗲 𝗶𝗻 𝘁𝘄𝗲𝗲𝗱𝗲 𝘃𝗿𝗶𝗷𝗲 𝘁𝗿𝗮𝗶𝗻𝗶𝗻𝗴, 𝗩𝗲𝗿𝘀𝘁𝗮𝗽𝗽𝗲𝗻 𝗻𝗲𝗴𝗲𝗻𝗱𝗲
Formule 1-coureur George Russell heeft bij de tweede vrije training voor de Grote Prijs van Italië de beste tijd neergezet. De 28-jarige Brit van Mercedes was op het Autodromo Nazionale Monza sneller dan de Monegask Charles Leclerc, die in zijn Ferrari nog de rapste was tijdens de eerste vrije...
-
𝗥𝘂𝘀𝘀𝗲𝗹𝗹 𝘀𝗻𝗲𝗹𝘀𝘁𝗲 𝗶𝗻 𝘁𝘄𝗲𝗲𝗱𝗲 𝘃𝗿𝗶𝗷𝗲 𝘁𝗿𝗮𝗶𝗻𝗶𝗻𝗴, 𝗩𝗲𝗿𝘀𝘁𝗮𝗽𝗽𝗲𝗻 𝗻𝗲𝗴𝗲𝗻𝗱𝗲
Formule 1-coureur George Russell heeft bij de tweede vrije training voor de Grote Prijs van Italië de beste tijd neergezet. De 28-jarige Brit van Mercedes was op het Autodromo Nazionale Monza sneller dan de Monegask Charles Leclerc, die in zijn Ferrari nog de rapste was tijdens de eerste vrije...
-
𝗥𝘂𝘀𝘀𝗲𝗹𝗹 𝘀𝗻𝗲𝗹𝘀𝘁𝗲 𝗶𝗻 𝘁𝘄𝗲𝗲𝗱𝗲 𝘃𝗿𝗶𝗷𝗲 𝘁𝗿𝗮𝗶𝗻𝗶𝗻𝗴, 𝗩𝗲𝗿𝘀𝘁𝗮𝗽𝗽𝗲𝗻 𝗻𝗲𝗴𝗲𝗻𝗱𝗲
Formule 1-coureur George Russell heeft bij de tweede vrije training voor de Grote Prijs van Italië de beste tijd neergezet. De 28-jarige Brit van Mercedes was op het Autodromo Nazionale Monza sneller dan de Monegask Charles Leclerc, die in zijn Ferrari nog de rapste was tijdens de eerste vrije...
-
Proposition 129, p. 83: If 𝐹 is a function and (for distinct 𝐴 and 𝐵) either 𝐴 follows 𝐵 or 𝐵 follows 𝐴 in the transitive closure of 𝐹, the successor of 𝐴 is either 𝐵 or it follows 𝐵 or it comes before 𝐵 in the #TransitiveClosure of 𝐹.
Hyp. ⊢ (𝜑 → 𝐹 ∈ V)
Hyp. ⊢ (𝜑 → 𝐴 ∈ dom 𝐹)
Hyp. ⊢ (𝜑 → 𝐶 = (𝐹‘𝐴))
Hyp. ⊢ (𝜑 → (𝐴(tc‘𝐹)𝐵 ∨ 𝐴 = 𝐵 ∨ 𝐵(tc‘𝐹)𝐴))
Hyp. ⊢ (𝜑 → Fun 𝐹)
Therefore ⊢ (𝜑 → (𝐵(tc‘𝐹)𝐶 ∨ 𝐵 = 𝐶 ∨ 𝐶(tc‘𝐹)𝐵))
———
Proposition 131, p. 85: If 𝐹 is a function and 𝐴 contains all elements of 𝑈 and all elements before or after those elements of 𝑈 in the transitive closure of 𝐹, then the image under 𝐹 of 𝐴 is a subclass of 𝐴.
Hyp. ⊢ (𝜑 → 𝐹 ∈ V)
Hyp. ⊢ (𝜑 → 𝐴 = (𝑈 ∪ ((◡(tc‘𝐹) “ 𝑈) ∪ ((tc‘𝐹) “ 𝑈))))
Hyp. ⊢ (𝜑 → Fun 𝐹)
Therefore ⊢ (𝜑 → (𝐹 “ 𝐴) ⊆ 𝐴)
———
Proposition 133, p. 86: If 𝐹 is a function and 𝐴 and 𝐵 both follow 𝑋 in the transitive closure of 𝐹, then (for distinct 𝐴 and 𝐵) either 𝐴 follows 𝐵 or 𝐵 follows 𝐴 in the transitive closure of 𝐹 (or both if it loops).
Hyp. ⊢ (𝜑 → 𝐹 ∈ V)
Hyp. ⊢ (𝜑 → 𝑋(tc‘𝐹)𝐴)
Hyp. ⊢ (𝜑 → 𝑋(tc‘𝐹)𝐵)
Hyp. ⊢ (𝜑 → Fun 𝐹)
Therefore ⊢ (𝜑 → (𝐴(tc‘𝐹)𝐵 ∨ 𝐴 = 𝐵 ∨ 𝐵(tc‘𝐹)𝐴))
———
So what's nice about the transitive closure that #Frege felt compelled to invent a new language in which to present mathematical arguments? When 𝑅 is a function, two sets being related by the transitive closure of 𝑅 is much like induction. When 𝑅 is a more general relation, we have a more general form of induction, that is truly #ancestral in the language of #Whitehead and #Russell.
-
Hype for the Future 99E: The Iconic Cumberlands
Introduction The region of the Cumberlands in the Commonwealth of Kentucky, south of the Inner and Outer Bluegrass regions, is largely determined by the proximity to the upper reaches of the Cumberland River and to Lake Cumberland proper. Notable Locales Within the general region associated with the Cumberland River, including the Outer Bluegrass and Pennyroyal (Pennyrile) regions of the Commonwealth of Kentucky, is largely the Daniel Boone National Forest. However, outside the Daniel […]https://novatopflex.wordpress.com/2026/02/07/hype-for-the-future-99e-the-iconic-cumberlands/
-
#OTD vor 70 Jahren: In London stellt der Mathematiker („Principia Mathematica“) und Philosoph („Why I am not a Christian“) Bertrand #Russell die #Einstein-Russell-Erklärung vor, die visionär vor der Selbstvernichtung der Menschheit durch #Kernwaffen warnt: „Here, then, is the problem which we present to you, stark and dreadful and inescapable: Shall we put an end to the human race; or shall mankind renounce #war?“. Ein Wunder, dass es danach noch so lange gut gegangen ist...
-
#Pythagoras believed the world was made of #numbers—until irrational numbers like √2 broke that belief. Centuries later, #Russell tried to build #math on logic, but #Gödel proved no system can capture all truth. Today, #AI is built on the same false faith: that everything is #computable. But life isn’t code. It’s blurry, intuitive, #contradictory. The dream of full #understanding through math isn’t just wrong—it’s a #delusion we keep repeating.
-
#Russell: «#Sviluppi ci danno fiducia, ma non siamo soddisfatti. Ecco il prossimo obiettivo» https://www.formula1.it/news/15089/1/russell-sviluppi-ci-danno-fiducia-ma-non-siamo-soddisfatti-ecco-il-prossimo-obiettivo?utm_source=dlvr.it&utm_medium=mastodon