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-15 18:51:49 EDT

PhotosVideosAllPeople
LatestRanked
@paysmaths.bsky.socialOct 15, 2026, 10:00 AM

Theorem of the Day (October 15, 2026) : Wedderburn’s Little Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/9RBEt9I
notes : buff.ly/KlaDeEm

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Wedderburn’s Little Theorem : Any finite division ring is commutative.
@paysmaths.bsky.socialOct 14, 2026, 10:01 AM

Theorem of the Day (October 14, 2026) : The Polygonal Number Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/rFSA2w3
notes : buff.ly/9bmlAYv

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Polygonal Number Theorem : For any integer m > 1, every non-negative integer n is a sum of m + 2 polygonal numbers of order m + 2.
@paysmaths.bsky.socialOct 13, 2026, 10:00 AM

Theorem of the Day (October 13, 2026) : Gödel’s First Incompleteness Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/X5tuv7q
notes : buff.ly/SYy04lD

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Gödel’s First Incompleteness Theorem : There is no consistent and complete, recursively enumerable axiomatisation of number theory. That is, any such axiomatisation will either yield a proof for some false statement or will fail to yield a proof for some true one.
@paysmaths.bsky.socialOct 12, 2026, 10:01 AM

Theorem of the Day (October 12, 2026) : Karp’s Theorem (Detail)
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/PGYRr4D
notes : buff.ly/rtxNit1

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Karp’s Theorem (Detail) : Vertex Cover is NP-Complete.
@paysmaths.bsky.socialOct 11, 2026, 10:00 AM

Theorem of the Day (October 11, 2026) : The First Isomorphism Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/RSKqWk2
notes : buff.ly/KDS0dYH

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The First Isomorphism Theorem : Let G and H be groups and f : G → H a homomorphism of G to H with image Im(f) and kernel ker(f). Then G/ ker(f) and Im(f) are isomorphic groups: G/ ker(f) ≃ Im(f).
@paysmaths.bsky.socialOct 10, 2026, 10:00 AM

Theorem of the Day (October 10, 2026) : Euler’s Even Zeta Formula
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/kYTvtHu
notes : buff.ly/xPPxu4o

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem : Euler’s Even Zeta Formula.
@paysmaths.bsky.socialOct 9, 2026, 10:01 AM

Theorem of the Day (October 9, 2026) : The Cantor–Bernstein–Schröder Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/FyfhBiJ
notes : buff.ly/0Hv7RpC

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Cantor–Bernstein–Schröder Theorem : Let A and B be sets for which there exist injective mapings from A to B and from B to A. Then there is a bijective correspondence between A and B.
@paysmaths.bsky.socialOct 8, 2026, 10:00 AM

Theorem of the Day (October 8, 2026) : Thales’ Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/7StJSj6
notes : buff.ly/UU6UByz

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Thales’ Theorem : If one side of a triangle inscribed in a circle forms a diameter of the circle then it is a right triangle.
@paysmaths.bsky.socialOct 7, 2026, 10:00 AM

Theorem of the Day (October 7, 2026) : The Prime Number Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/avitKa5
notes : buff.ly/YyDoHpk

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Prime Number Theorem : The number of primes not exceeding x is asymptotic to x/ log x.
@paysmaths.bsky.socialOct 6, 2026, 10:00 AM

Theorem of the Day (October 6, 2026) : The Power of a Point Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/0kz5Z9q
notes : buff.ly/9mIcBsO

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Power of a Point Theorem : In the Euclidean plane, let C be a circle of radius r. Let P be a point whose distance from the centre of C is s, and define the power of P relative to C to be the constant h = |s^2 − r^2|. Then for any line through P intersecting C, h is equal to the product of the distances from P to its points of intersection with C.
@paysmaths.bsky.socialOct 5, 2026, 10:00 AM

Theorem of the Day (October 5, 2026) : Fisher’s Inequality
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/pgP8hmZ
notes : buff.ly/QEcIUy1

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Fisher’s Inequality : If a balanced incomplete block design is specified with parameters (v, b, r, k, λ) then v ≤ b.
@agentictribune.bsky.socialOct 5, 2026, 4:16 AM

UCLA-Affiliated Paper Says AI Agent Solved 10 Research Math Problems — But Proofs Were Accepted Only by an LLM Verifier

#ai #mathematics #arxiv #theorem-proving

@paysmaths.bsky.socialOct 4, 2026, 10:00 AM

Theorem of the Day (October 4, 2026) : The Second Isomorphism Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/uhYKOrG
notes : buff.ly/kHG5ACX

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Second Isomorphism Theorem : Suppose H is a subgroup of group G and K is a normal subgroup of G. Then HK is a group having K as a normal subgroup, H ∩ K is a normal subgroup of H, and there is an isomorphism from H/(H ∩ K) to HK/K defined by h(H ∩ K) → hK.
@paysmaths.bsky.socialOct 3, 2026, 10:00 AM

Theorem of the Day (October 3, 2026) : Euler’s Identity
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/jznidfW
notes : buff.ly/urg8yGe

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem : Euler’s Identity.
@paysmaths.bsky.socialOct 2, 2026, 10:00 AM

Theorem of the Day (October 2, 2026) : The Lucas-Lehmer Test
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/ihdODxt
notes : buff.ly/3mScyFl

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Lucas-Lehmer Test : The number Mp = 2^p − 1, for p an odd prime, is itself prime if and only if it divides Sp−1, the (p − 1)-th term in the series: S1 = 4, S2 = 14, . . . , and, for i ≥ 1, Si+1 = Si^2 − 2.
@paysmaths.bsky.socialOct 1, 2026, 10:00 AM

Theorem of the Day (October 1st, 2026) : The Green–Tao Theorem on Primes in Arithmetic Progression
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/Pxutbqe
notes : buff.ly/F8j9mTS

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Green–Tao Theorem on Primes in Arithmetic Progression : For any positive integer k there exist infinitely many arithmetic progressions of length k consisting of prime numbers.
@paysmaths.bsky.socialSep 30, 2026, 10:00 AM

Theorem of the Day (September 30, 2026) : The Rotation Distance Bound
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/F0yI5vx
notes : buff.ly/eP8BcKl

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Rotation Distance Bound : Any binary tree on n vertices, n ≥ 11, may be transformed into any other using at most 2n − 6 rotations; and this bound is tight for sufficiently large n.
@paysmaths.bsky.socialSep 29, 2026, 10:00 AM

Theorem of the Day (September 29, 2026) : Noether’s Symmetry Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/qiIZivh
notes : buff.ly/OQOB0q6

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Noether’s Symmetry Theorem : Suppose a system of particles in classical mechanics exhibits some symmetry, i.e. its Lagrangian, L , is invariant under changes to some variable s, so that ∂L/∂s = 0. Then there is some associated property C of the system which is conserved: dC/dt = 0.
@globalvisibility.bsky.socialSep 29, 2026, 5:35 AM

#KALLEH #GAH #ILAM
aepiot.com/related-sear...
#RUBIO #IOWA
www.sheetmusicplus.com/en/explore?a...
#TAKAGI #EXISTENCE #THEOREM
allgraph.ro?lang=en&q=TA...
#KALLEH #GAH #EAST #AZERBAIJAN
aepiot.com/related-sear...
aepiot.ro

@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)
Load more