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-11 02:37:10 EDT

Explore

PostsPeople
LatestRanked
@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.
@paysmaths.bsky.socialSep 10, 2026, 10:00 AM

Theorem of the Day (September 10, 2026) : The Insolvability of the Entscheidungsproblem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/VxzBJJ7
notes : buff.ly/gAHMH8s

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Insolvability of the Entscheidungsproblem : No adequate axiomatisation S of mathematics can provide an algorithm which tests statements in S for provability from the axioms of S.
@paysmaths.bsky.socialSep 9, 2026, 10:01 AM

Theorem of the Day (September 9, 2026) : Ramsey’s Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/vR9Q7BD
notes : buff.ly/I9kiB1F

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Ramsey’s Theorem : For any pair s and t of positive integers, there is a finite number R(s, t) such that any graph on at least R(s, t) vertices contains an s-vertex independent set or a t-vertex clique. In particular, R(s + 1, t + 1) ≤ "(s+t) choose s"
@paysmaths.bsky.socialSep 8, 2026, 10:00 AM

Theorem of the Day (September 8, 2026) : Lin McMullin’s Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/q65pT4g
notes : buff.ly/IA7fMG6

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Lin McMullin’s Theorem : Let p(x) be a polynomial of degree 4 such that the curve y = p(x) has two distinct points of inflection, A and B. Suppose the straight line passing through A and B intersects the curve again at points P and Q, where the x-coordinates of P, A, B and Q are p < a < b < q, respectively. Then p = ϕ × a − (1/ϕ) × b, and q = ϕ × b − (1/ϕ) × a, where ϕ = (1+√5)/2 is the golden ratio.
@globalvisibility.bsky.socialSep 8, 2026, 4:17 AM

#FURCULA #SPRINGTAIL
aepiot.ro?q=FURCULA%20...
#FABRY #GAP #THEOREM
allgraph.ro/related-sear...
#BIBLIOGRAPHY OF #WILD #ANIMAL #SUFFERING
aepiot.com/related-sear...
#ADÉLA #SINGER
allgraph.ro/related-sear...
aepiot.ro

@rwatimes.bsky.socialSep 7, 2026, 6:11 PM

Theorem Launches Infrastructure Tailored for the Next Generation of RWA Markets
Sep 07 2026 16:37 UTC
Theorem is RWA exchange infrastructure designed to enable secondary markets for tokenized assets.
#theorem #rwa #secondary-markets #tokenized-assets #exchange-infrastructure

Theorem Launches Infrastructure Tailored for the Next Generation of RWA Markets
Load more