Science_memes · @Science_memes
74 followers · 47 posts · Server social.sciences.re
Jocelyn · @cyclotopie
66 followers · 994 posts · Server mastodon.gougere.fr

@els76uk

: Assume an N-lane is jammed at peak times. Let an (N+1)-lane motorway be built in replacement, then there exists t < 1 year such that in time t from its opening, the (N+1)-lane motorway will be jammed at peak times.

Additional : the N-lane motorway will be finally kept in activity and also be jammed at peak times.

: the only way out is to change modes of transport.

#theorem #motorway #lemma #corollary

Last updated 1 year ago

Knowledge Zone · @kzoneind
223 followers · 1332 posts · Server mstdn.social

British Andrew Wiles proved last of (1993).

Birth Anniversary of Jean-Paul Sartre (1905) - one of the leading figures in 20th-century French philosophy and Marxism.

Today is World , International Day of and World Day.

knowledgezone.co.in/news

#hydrography #yoga #musicday #philosopher #french #fermat #theorem #mathematician #onthisday

Last updated 1 year ago

m naudin · @Mnaudin
762 followers · 210 posts · Server piaille.fr

Ça vous dirait qu'une fois par semaine je vous présente un théorème ? Si oui dites-le en partageant celui-ci 👇. Je m'y engage dans le cas de +100 partages cette semaine (en guise de sondage).

Théorème de la dénombrabilité des rationnels : "Il existe une correspondance bijective - one-to-one - entre l'ensemble des entiers positifs et l'ensemble des nombres rationnels positifs."

#math #mathematiques #mathematic #maths #theorem

Last updated 2 years ago

Paul Secular · @secular
22 followers · 39 posts · Server mathstodon.xyz

What would you say is the simplest / most of Wigner's accessible to students?

#antiunitary #unitary #physics #theorem #proof #pedagogical

Last updated 2 years ago

tomsharp · @tomsharp
29 followers · 53 posts · Server mastodon.sdf.org

In 1668, Isaac Barrow, Isaac Newton’s teacher, proved the fundamental theorem of calculus. (sharpgiving.com/thebookofscien)

#poetry #history #science #mathematics #calculus #theorem

Last updated 2 years ago

Colin the Mathmo · @ColinTheMathmo
3763 followers · 17770 posts · Server mathstodon.xyz

@anton_hilado Favourite theorem?

Too many to choose from. Top of my head at the moment, because I'm giving outreach talks on them, are:

An odd prime is the sum of two squares if and only if it's congruent to 1 mod 4.

And:

For an odd prime, -1 has a square root iff it's congruent to 1 mod 4.

Related:

(n-1)! = -1 (mod n) iff n is prime.

So many lovely theorems.

#theorem #mathematics #maths #math

Last updated 2 years ago

Arseny Khakhalin · @ampanmdagaba
329 followers · 795 posts · Server sigmoid.social

From bird site (is it a Kantian sin to post picture-only quite-tweets, knowing that it an creates extra load on instances supported by patreons?)

Key part of the original ur-tweet:

In books, the
:
:
format should be replaced with
Theorem:
Proof idea:
Proof:

The proof idea is a short summary of the key idea behind the proof.

And then, it turns out some are already written like that :)

#math #theorem #proof #textbooks

Last updated 2 years ago

tc · @cappallo
20 followers · 104 posts · Server mathstodon.xyz

I always hated $\log$ for being clunky. Why don't we use the (and probably other things) for $\log$ instead?

So \[ ^{2} 32=5 \] and the says the odds of \[ n \in \mathbb P \sim {^{e} n^{-1}} \] .

Way less clunky, nice and to exponentiation.

#symmetrical #theorem #number #prime #notation #tetration #latex #log #idea #math

Last updated 2 years ago

Gary · @Null_dev
120 followers · 217 posts · Server aus.social

Theorem (1968)
Pier Paolo Pasolini

Finally saw this. In a pornographic film there is often this flimsy plot device to connect the scenes were different characters feel compelled to have sex with the main protagonist. Here Pasolini removes the explicit sex scenes. It isn't even clear that the main protagonist is the protagonist and the result is this strange enigma that has something to do with miracles and class struggle.

#film #cinemastodon #pierpaolopasolini #teorama #theorem #terencestamp

Last updated 2 years ago

The Verdant Orange · @verdantOrange
44 followers · 33 posts · Server social.vivaldi.net

A few I added to my rig from : : a where you navigate a cube to the finish tile. But not only one side of the cube must land on it to complete the puzzle, but that side can ONLY land on the finishing tile. geckoo1337.itch.io/theorem

#games #itchio #theorem #puzzlegame

Last updated 2 years ago

J Tanner Slagel · @FormalMethods
21 followers · 14 posts · Server mathstodon.xyz

@ColinTheMathmo a nice comparison of provers would be great, I’m seeing some papers online but none I can confidently put my stamp of approval on without reading them first. Of course, my opinion on the matter is not very objective, ha!

#theorem

Last updated 2 years ago

JeromeDqn · @JeromeDqn
6 followers · 3 posts · Server fediscience.org

During the course " of systems" taught @UNamur, I asked students to report me their favourite application of the Implicit Function Theorem (IFT). In this unit, this plays a pivotal role for and preservation of .

A student reported me that we can prove the existence of a return time for map of vector fields having a periodic orbit using the IFT. Here how 🧵:

🐦🐦🐦twitter.com/daquin_jerome/stat

#poincare #equilibria #Bifurcations #theorem #dynamical #theory #qualitative

Last updated 2 years ago

Nebu · @nebu
14 followers · 69 posts · Server mastodon.lol

A subtlety people sometimes forget about 's Incompleteness : It not only says any sufficiently interesting theory has statements it can't prove (boring) -- it says that there are statements that are TRUE according to its own axioms, yet it cannot prove (WTF)

#godel #theorem #axiomatic

Last updated 2 years ago

Nebu · @nebu
32 followers · 152 posts · Server mastodon.lol

A subtlety people sometimes forget about 's Incompleteness : It not only says any sufficiently interesting theory has statements it can't prove (boring) -- it says that there are statements that are TRUE according to its own axioms, yet it cannot prove (WTF)

#godel #theorem #axiomatic

Last updated 2 years ago

HypatiaKant · @HypatiaKant
3 followers · 14 posts · Server mindly.social

autumn leaves
scattered
old memories
she walked
out of her door
into his arms
her intoxicating
innocence
answered his needs
his fierce
gentle passion
worked its charms
neither cared
whom they left
behind now
of addiction:
needs / seeks / finds
somehow

#theorem

Last updated 2 years ago

Rémi Eismann · @decompwlj
27 followers · 14 posts · Server mathstodon.xyz
Khurram Wadee ✅ · @mkwadee
1034 followers · 10918 posts · Server mastodon.org.uk
Veronically 🦄∆V · @MxSlimPickens_
67 followers · 1429 posts · Server mastodon.social

[assuming you present as male] is introducing your daddy BF to your actual dad

#daddybf #daddy #theorem

Last updated 5 years ago