Grilled Cheese

ExploreLog inSign up
Terms of UsePrivacy PolicyCommunity StandardsHelpGet the app

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-17 03:54:26 EDT

PhotosVideosAllPeople
LatestRanked
@paysmaths.bsky.socialSep 28, 2026, 10:01 AM

Theorem of the Day (September 28, 2026) : Benford’s Law
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/5iybwM5
notes : buff.ly/gU8QQ25

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Benford’s Law : Let X be a union of random samples chosen without bias from a collection of different distributions on R. Then, for d ∈ {1, . . . , 9}, for x chosen uniformly at random from X, P(1st significant digit of x = d) = log_10(1 + 1/d)
@paysmaths.bsky.socialSep 27, 2026, 10:00 AM

Theorem of the Day (September 27, 2026) : A Theorem on Maximal Sum-Free Sets in Groups
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/jocs29F
notes : buff.ly/GRe3eiR

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. A Theorem on Maximal Sum-Free Sets in Groups : Let G be a group and let H = 〈S 〉 be a subgroup generated by a subset S of the elements of G. Then unless |S | ≤ 2, S cannot be both maximally sum-free and minimal with respect to generating H.
@paysmaths.bsky.socialSep 26, 2026, 10:00 AM

Theorem of the Day (September 26, 2026) : Cauchy’s Theorem in Group Theory
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/GEpEAIz
notes : buff.ly/agC1vV1

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Cauchy’s Theorem in Group Theory : If the order of a finite group G is divisible by a prime p then G contains an element of order p.
@paysmaths.bsky.socialSep 25, 2026, 10:00 AM

Theorem of the Day (September 25, 2026) : The Marriage Theorem and The Frobenius–Konig Theorem.
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/v6eCRe8
notes : buff.ly/7DleTaj

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem : The Marriage Theorem and The Frobenius–Konig Theorem.
@paysmaths.bsky.socialSep 24, 2026, 10:01 AM

Theorem of the Day (September 24, 2026) : The Existence Theorem for Orthogonal Diagonal Latin Squares
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/DADE4oa
notes : buff.ly/wfIjKcq

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Existence Theorem for Orthogonal Diagonal Latin Squares : There exists, for every positive integer n ≠ 2, 3 or 6, a pair of orthogonal diagonal latin squares of order n.
@paysmaths.bsky.socialSep 23, 2026, 10:00 AM

Theorem of the Day (September 23, 2026) : The Sophomore’s Dream
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/oUM5RUx
notes : buff.ly/mtBkkty

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem : The Sophomore’s Dream.
@paysmaths.bsky.socialSep 22, 2026, 10:01 AM

Theorem of the Day (September 22, 2026) : Bézout’s Identity
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/fjnNaey
notes : buff.ly/W0S6zHD

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Bézout’s Identity : Let a and b be positive integers with greatest common divisor equal to d. Then there are integers u and v such that au + bv = d.
@paysmaths.bsky.socialSep 21, 2026, 10:00 AM

Theorem of the Day (September 21, 2026) : The Happy Ending Problem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/EmZoPFv
notes : buff.ly/d9iK7Pu

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Happy Ending Problem : Among any five points in general position in the plane there are four which form the vertices of a convex quadrilateral.
@globalvisibility.bsky.socialSep 20, 2026, 10:24 AM

#TIETZE #EXTENSION #THEOREM
allgraph.ro?q=TIETZE%20E...
#KETAKI #KUSHARI #DYSON
aepiot.com/related-sear...
allgraph.ro

@paysmaths.bsky.socialSep 20, 2026, 10:00 AM

Theorem of the Day (September 20, 2026) : The Asymptotic (Half) Liar Formula
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/3zLiBI5
notes : buff.ly/loWpfJX

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Asymptotic (Half) Liar Formula : Carole and Paul play the following ‘Liar’ game: Carole picks a value x ∈ {0, . . . , n}; Paul wins if he identifies x by asking no more than q Yes-No questions of the form “Is x in subset X?”; Carole may lie at most k times, in trying to prevent this. In the ‘Half-Liar’ game, her lies may only be Yes’s. Denote by Uk(q) the maximum value of n for which Paul has a guaranteed winning strategy. Then, for the Liar game, Uk(q) ∼ 2^q "q choose k"^(−1) as q → ∞, while for the Half-Liar game this must be multiplied by 2^k.
@paysmaths.bsky.socialSep 19, 2026, 10:00 AM

Theorem of the Day (September 19, 2026) : The DPRM Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/HcBZhsQ
notes : buff.ly/EJUFV4w

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The DPRM Theorem : Every recursively enumerable set is Diophantine.
@paysmaths.bsky.socialSep 18, 2026, 10:00 AM

Theorem of the Day (September 18, 2026) : Jackson’s Theorem on Compatible Euler Tours
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/yqK1g5f
notes : buff.ly/UGn58v6

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Jackson’s Theorem on Compatible Euler Tours : A connected 4-regular graph G admits three pairwise compatible Euler tours if and only if, for any set B of bitransitions, the number of components ωB induced by splitting each vertex on B satisfies 3(ωB − 1) ≤ 2|B|.
@paysmaths.bsky.socialSep 17, 2026, 10:00 AM

Theorem of the Day (September 17, 2026) : The Lindemann-Weierstrass Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/2NHuqJn
notes : buff.ly/GqdWpDZ

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Lindemann-Weierstrass Theorem : If α1, . . . , αn, n ≥ 1, are algebraic numbers which are linearly independent over Q, then e^α1, . . . , e^αn are algebraically independent; that is, any rational polynomial P(z1, . . . , zn), having algebraic coefficients, for which P(e^α1, . . . , e^αn) = 0, must be identically zero.
@paysmaths.bsky.socialSep 16, 2026, 10:00 AM

Theorem of the Day (September 16, 2026) : The Catalan–Euler–Segner Bijection
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/2yrCqVQ
notes : buff.ly/Q4uFKRG

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Catalan–Euler–Segner Bijection : Binary trees on n nodes are equinumerous with triangulations of a convex polygon on n + 2 vertices, this number being the n-th Catalan number Cn = 1 / (n+1) "2n choose n".
@paysmaths.bsky.socialSep 15, 2026, 10:01 AM

Theorem of the Day (September 15, 2026) : Gauss’s Law of Quadratic Reciprocity
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/vS5p9vH
notes : buff.ly/58UVLVV

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem : Gauss’s Law of Quadratic Reciprocity.
@paysmaths.bsky.socialSep 14, 2026, 10:00 AM

Theorem of the Day (September 14, 2026) : The Third Isomorphism Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/sPHEp3N
notes : buff.ly/J2IyYpi

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Third Isomorphism Theorem : Suppose that K and N are normal subgroups of group G and that K is a subgroup of N. Then K is normal in N, and there is an isomorphism from (G/K)/(N/K) to G/N defined by gK · (N/K) ↦ gN.
@quantum-curious.bsky.socialSep 14, 2026, 3:19 AM

📣 New Podcast! "You Are Not Living in a Simulation | Deep Sleep Physics" on @Spreaker #a #are #bedtime #consciousness #deep #for #godel #hypothesis #in #is #physics #podcast #quantum #real #reality #relaxation #simulation #sleep #theorem #we

@paysmaths.bsky.socialSep 13, 2026, 10:00 AM

Theorem of the Day (September 13, 2026) : Archimedes’ Equiareal Map Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/gCAuuRV
notes : buff.ly/zQYtmJE

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Archimedes’ Equiareal Map Theorem : Let S be the unit sphere defined relative to the x, y and z axes by x^2 + y^2 + z^2 = 1 and let S′ be the bounding cylinder defined by x^2 + y^2 = 1. Let f be the map f : (x, y, z) → (x / √(x^2 + y^2) , y / √(x^2 + y^2) , z) from S \{(0, 0, 1), (0, 0, −1)} to S ′ which takes a point P on the sphere having height zP, |zP| < 1, to the nearest point on the cylinder which has height zP and which is collinear with P and (0, 0, zP). Then f is an equiareal diffeomorphism.
@paysmaths.bsky.socialSep 12, 2026, 10:00 AM

Theorem of the Day (September 12, 2026) : Cotes’ Harmonic Means Theorem in Geometry
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/CORsr3o
notes : buff.ly/vGiqbEf

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Cotes’ Harmonic Means Theorem in Geometry : In the plane, let f (x, y) = 0 be an algebraic curve of degree d, denoted by C, and let p be a point not on C. For a straight line L through p, and a second point q on L, denote by pq the distance from p to q, signed + or − consistent with some fixed orientation of L. Let r1, . . . , rd be the d points of intersection of L with C and let pL be the point on L satisfying d/ppL = 1/pr1 + ... + 1/prd (1) Then the following subset of the plane is a straight line ∪L{pL | pL satisfies equation (1)}, the union being taken over all straight lines L through p.
@paysmaths.bsky.socialSep 11, 2026, 10:00 AM

Theorem of the Day (September 11, 2026) : Haken’s Unknot Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/LmhmPhV
notes : buff.ly/yCcPknU

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Haken’s Unknot Theorem : It is decidable whether a given knot, represented by a knot diagram, is equivalent to the unknot.
Load more