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

Theorem of the Day (September 7, 2026) : The Circle Area Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/QjkTOtf
notes : buff.ly/Of1k6bB

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.

The Circle Area Theorem : The area of a circle of radius r and circumference C is identical to that of a right triangle of height r and base C.
@paysmaths.bsky.socialSep 6, 2026, 10:00 AM

Theorem of the Day (September 6, 2026) : A Theorem of Melody Chan on Group Actions
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/IDYvSJE
notes : buff.ly/cA4ptH2

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.

A Theorem of Melody Chan on Group Actions :  Let n be a positive integer, and F a field, either infinite or finite with |F| > n + 1. Then the members of the set F^n of n-vectors can each be coloured Green or Blue in such a way that, for any non-singular n × n matrix B with entries in F, other than the identity matrix, there is some Green vector v for which Bv is Blue.
@paysmaths.bsky.socialSep 5, 2026, 10:00 AM

Theorem of the Day (September 5, 2026) : The Pythagorean Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/3TLhuci
notes : buff.ly/gfcKdxM

#mathematics #maths #math #theorem

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

Theorem of the Day (September 3, 2026) : The Polynomial Coprimality Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/uPkLJDi
notes : buff.ly/bbPAgeF

#mathematics #maths #math #theorem