BIPH Mathematical Atlas · Exhibition guide

Mathematical Atlas Museum

Sixteen historical exhibits and The Big Bang Theory: Friendship, Science & Everyday Life. Mathematics activities for Grades 7–11.

Use the browser print dialog to save a PDF or print. This guide remains readable without JavaScript.

How to read this guide

Evidence, translation, and model

Each exhibit identifies its historical evidence, the limits of its interpretation, and a separately labelled modern mathematical translation. The five browsing series make comparison easier; they do not claim a sequence of cultural replacement or a documented transmission route.

Series · 5 exhibits

Mesopotamia & Egypt

Browse this series in the museum

Civilization or era

Mesopotamia

Mesopotamia & Egypt · P0

YBC 7289: A Square’s Diagonal

Ancient Mesopotamia · Old Babylonian, 19th–17th century BCE

Historical evidence

A school tablet links a square-diagonal diagram with the sexagesimal value now read as an approximation to √2. The numerical agreement is documented; its exact ancient derivation is not settled.

Historical method

A sexagesimal value is written beside a square-diagonal diagram.

Modern teaching translation

Evaluate 1 + 24/60 + 51/60² + 10/60³ and compare it with √2.

Try: The full reconstructed value differs from √2 by about 0.00000060.

Evidence boundary

There is no printed cuneiform decimal separator, and the calculation method is uncertain.

A. Urcia / Yale Peabody, combined by Theodor Langhorne Franklin · CC0 1.0. The image is contextual evidence; the mathematical diagram is a separate modern teaching model.

Open readable exhibit

Mesopotamia & Egypt · P1

YBC 7302: A Circle in Clay

Ancient Mesopotamia · Old Babylonian, c. 1800 BCE

Historical evidence

Numbers around a circle on YBC 7302 support a scholarly reading of a perimeter calculation. The activity labels its algebra as a modern translation.

Historical method

Square the perimeter and use a circle coefficient interpreted as 1/12.

Modern teaching translation

Compare A = C²/12 with the modern exact-circle formula C²/(4π).

Try: For C = 3, the modern translation gives A = 9/12 = 3/4.

Evidence boundary

Exact dating, provenance, and interpretation are not settled here.

Open readable exhibit

Mesopotamia & Egypt · P1

Plimpton 322: A Table of Right-Triangle Relations

Ancient Mesopotamia · Old Babylonian

Historical evidence

The surviving columns contain values related to right triangles. The modern 3–4–5 reconstruction is a check, not a claim about a particular lost row.

Historical method

The tablet’s numerical construction and purpose remain disputed.

Modern teaching translation

Verify a modern right triangle using a² + b² = c².

Try: 45² + 60² = 75².

Evidence boundary

Findspot, missing columns, intended use, and generation method remain unsettled.

Open readable exhibit

Civilization or era

Egypt

Mesopotamia & Egypt · P0

The Rhind Papyrus: Fractions as Unit Pieces

Ancient Egypt · Second Intermediate Period

Historical evidence

The Rhind Mathematical Papyrus preserves worked calculations. Distinct unit-fraction sums provide a modern notation for a historical practice.

Historical method

Worked numerical procedures use unit-fraction conventions.

Modern teaching translation

Use exact rational arithmetic to verify sums of distinct unit fractions.

Try: 2/5 = 1/3 + 1/15.

Evidence boundary

The source texts copied by the scribe and the status of every reconstruction are not settled by one catalogue.

Thomas Eric Peet, 1923 transcription/reconstruction · Public domain mark. The image is contextual evidence; the mathematical diagram is a separate modern teaching model.

Open readable exhibit

Mesopotamia & Egypt · P1

A Circle on an Eight-by-Eight Grid

Ancient Egypt · Second Intermediate Period

Historical evidence

A Rhind circle problem is shown through a modern 8-by-8 grid model. The screen diagram and algebra are explicit modern renderings.

Historical method

Problem 50 reduces a diameter of 9 to 8 and squares it.

Modern teaching translation

Compare (8d/9)² with πd²/4.

Try: d = 9 gives 64 versus approximately 63.617.

Evidence boundary

The formula, π comparison, and grid are modern translations, not ancient evidence.

Open readable exhibit

Series · 2 exhibits

China

Browse this series in the museum

Civilization or era

China

China · P0

Counting Rods and Equations

Ancient China · Han-era text with later commentary

Historical evidence

The eighth chapter of The Nine Chapters arranges quantities on a counting board. This exhibit shows a fixed modern reconstruction using exact arithmetic.

Historical method

Arrange coefficients and constants with counting rods and reduce columns.

Modern teaching translation

Solve a fixed three-equation system through exact elementary elimination.

Try: The fixed system gives x = 37/4, y = 17/4, z = 11/4.

Evidence boundary

No single composition date is settled, and no physical board for this problem is claimed.

Open readable exhibit

China · P1

Remainders Make a Number

Ancient China · Early medieval Chinese mathematical tradition

Historical evidence

A Sunzi problem asks for a number leaving remainders 2, 3, and 2 in groups of 3, 5, and 7. The congruence notation is modern.

Historical method

A weighted sum is repeatedly reduced by 105.

Modern teaching translation

Solve simultaneous remainder conditions with period lcm(3,5,7) = 105.

Try: 2×70 + 3×21 + 2×15 = 233; subtracting 210 gives 23.

Evidence boundary

Authorship, exact date, and provenance of the digitized page remain uncertain.

Open readable exhibit

Series · 2 exhibits

India

Browse this series in the museum

Civilization or era

India

India · P1

Āryabhaṭa’s Approximation of Pi

Ancient India · Gupta-period mathematical astronomy

Historical evidence

Āryabhaṭa’s text contains a close pi value used in mathematical astronomy. The display compares an approximation with modern pi.

Historical method

Verse-form mathematical astronomy includes a pi approximation.

Modern teaching translation

Use pi ≈ 3.1416 and compare it with a modern numerical value of π.

Try: For radius 10, the circumference estimate differs by about 0.0001469.

Evidence boundary

The derivation of the pi value is not settled here.

Open readable exhibit

India · P0

Brahmagupta’s Rules for Zero

Ancient India · Seventh-century mathematical astronomy

Historical evidence

Brahmagupta’s 628 text gives rules for zero alongside positive and negative quantities. It is not a single invention moment for zero.

Historical method

Rules for zero and for fortunes and debts appear in a mathematical-astronomical treatise.

Modern teaching translation

Use integer arithmetic; division by zero is undefined in this modern model.

Try: For a = 7, 7 + 0 = 7 and 7 × 0 = 0; 7 ÷ 0 is undefined.

Evidence boundary

There is no single settled invention date for zero.

Open readable exhibit

Series · 2 exhibits

Islamic World

Browse this series in the museum

Civilization or era

Islamic World

Islamic World · P0

Al-Khwarizmi Completes a Square

Arabic-language scholarship in Baghdad · Early ninth century CE

Historical evidence

Al-Khwarizmi presented equations rhetorically. A positive area model of x² + 10x = 39 is a modern translation, not a manuscript quotation.

Historical method

A rhetorical geometric demonstration uses positive quantities.

Modern teaching translation

Transform x² + bx = c into (x + b/2)² = c + (b/2)².

Try: For b = 10 and c = 39, add 25, obtain 64, and read x = 3.

Evidence boundary

The selected later manuscript is not the original treatise; the symbols and geometry are teaching translations.

Open readable exhibit

  • Completing the Squarehttps://old.maa.org/press/periodicals/convergence/completing-the-square-from-the-roots-of-algebra-a-mini-primary-source-project-for-students-of
  • Completing the Square sourcehttps://old.maa.org/press/periodicals/convergence/completing-the-square?device=mobile

Islamic World · P0

A Planispheric Astrolabe

Islamic world / Iran · Safavid period, 1654–55

Historical evidence

A planispheric astrolabe models the sky on a flat instrument. The interactive rete is an idealized contemporary teaching model, not a reconstruction of a historical observation.

Historical method

A moving celestial component and a latitude-specific plate support angular readings.

Modern teaching translation

Project an illustrative point and compute altitude from latitude, declination, and hour angle.

Try: At φ = 35°, δ = 20°, H = 0°, the altitude is 75°.

Evidence boundary

Instrument practices varied; the simulator does not infer a real observer, date, place, or intended use.

Metropolitan Museum of Art, object 63.166a–j · CC0 / Met Open Access. The image is contextual evidence; the mathematical diagram is a separate modern teaching model.

Open readable exhibit

Series · 5 exhibits

Greece & Early Modern Europe

Browse this series in the museum

Civilization or era

Greece

Greece & Early Modern Europe · P0

Euclid I.1: Build a Triangle

Ancient Greece / Hellenistic Mediterranean · Late fourth–early third century BCE text tradition

Historical evidence

The first proposition constructs an equilateral triangle on a given segment. The live diagram is a modern reconstruction of a proof structure.

Historical method

Draw two equal-radius circles on the segment endpoints, then join an intersection.

Modern teaching translation

Radius equalities give AC = AB and BC = BA.

Try: With AB = 6, either intersection gives three modeled sides of 6.

Evidence boundary

The circle-intersection assumption is a foundations note, not evidence that the proposition is invalid.

Open readable exhibit

Greece & Early Modern Europe · P1

Archimedes Bounds a Circle

Hellenistic Mediterranean · Third century BCE

Historical evidence

Archimedes bounded a circle with regular polygons inside and outside it. The animation is a modern visualization, not an ancient calculation sheet.

Historical method

Compare perimeters of regular polygons inscribed in and circumscribed about a circle.

Modern teaching translation

For radius r, use 2nr sin(π/n) and 2nr tan(π/n).

Try: At n = 6 and r = 1, the perimeters are 6 and about 6.928.

Evidence boundary

The reported bound is secure; reconstruction of all intermediate methods is not settled.

Open readable exhibit

Civilization or era

Early Modern Europe

Greece & Early Modern Europe · P1

Ratdolt Prints Euclid’s Diagrams

Early modern Europe / Venice · 1482 CE

Historical evidence

Ratdolt’s Venetian Euclid made mathematical diagrams reproducible in print. A diagram can guide a proof without supplying its full justification.

Historical method

Read a printed diagram beside proposition text.

Modern teaching translation

Use an original overlay to separate diagram relations from the stated reason.

Try: Select a relation, then distinguish its visual suggestion from textual justification.

Evidence boundary

Copy-specific diagrams and annotations differ; a shown page is not identified as Proposition I.1 without checking.

Open readable exhibit

Greece & Early Modern Europe · P0

Napier’s Rods: Multiplication in Strips

Early modern Europe / Scotland · Early seventeenth century

Historical evidence

John Napier described multiplication rods in 1617. The digital rods are a pedagogical reconstruction that organizes ordinary place value.

Historical method

Select digit rods and add diagonal bands with carrying.

Modern teaching translation

Split each digit product into tens and ones, then propagate base-ten carries.

Try: 467 × 8 gives 3,736.

Evidence boundary

The strip layout is a teaching reconstruction, not a verified seventeenth-century artifact.

Open readable exhibit

Greece & Early Modern Europe · P1

The Pascaline Carries a Ten

Early modern Europe / France · Seventeenth century

Historical evidence

Pascal’s calculating machine mechanized carrying through linked wheels. The six-wheel display is a transparent modern decimal teaching model.

Historical method

A carry device advances its neighbouring wheel after a lower wheel completes a cycle.

Modern teaching translation

Set each decimal wheel modulo 10 and pass the carry to the next wheel.

Try: 999 + 1 resets three wheels and advances the thousands wheel.

Evidence boundary

Extant machines differ; generic models are not evidence of a particular object.

Open readable exhibit

The Big Bang Theory

Friendship, Science & Everyday Life. Six mathematics topics and four programme introductions occupy twenty frames. Programme facts, sourced models and original teaching adaptations are identified separately.

  1. The Friendship Algorithm
  2. 73 and Prime Numbers
  3. Game Rules and Probability
  4. Dice and Randomness
  5. The Doppler Effect
  6. Triangles on the Stairs
  7. Meet the Characters
  8. Apartment 4A
  9. Friendship and Everyday Life
  10. Behind the Scenes

More mathematics

S2E13 · The Friendship Algorithm

The Friendship Algorithm

Can a phone call follow a flowchart?

yesnoyesnoAsk an interestShared interest?n ← n + 1n ≥ L?Plan agreedEnd attempt

Original mathematical diagram

On screen

Sheldon wants to befriend Barry Kripke and turns the task into a flowchart. A phone call moves from a meal to a hot drink, then to recreational interests.

When the search for a shared interest repeats, Howard adds a loop counter and an exit to the least objectionable activity. This repairs the procedure, without guaranteeing a friendship.

Curator mathematical extension

A decision chooses a branch. A retry returns to a previous state. A bounded counter supplies a reason to stop.

Read the flowchart

Rectangles perform actions; diamonds test conditions. Follow the labelled yes/no arrow from each decision. A dashed wait requires an external callback, not another computation step.

Describe a state

The current node, position in the interest list and counter determine the next step in a fixed script. The display also counts the interests checked. The three interests are climbing, music and games.

Find the loop

Without a counter, a script with no shared interests returns to the same node and interest position. Since its future inputs are unchanged, the same transitions repeat. Reaching a display cap alone would not prove this.

Count after a failure

Initialize n to zero. After each unsuccessful interest, add one; then compare n with the limit L. For L = 3 the failures are counted 1, 2, 3, and the third failure ends the attempt.

n0=0,n←n+1,n≥L⇒exitn_0=0,\qquad n\leftarrow n+1,\qquad n\ge L\Rightarrow\mathrm{exit}

Why the repair terminates

At the start of a permitted retry, L − n is a nonnegative integer. A failed interest decreases it by one; a match ends the call earlier. Thus at most L interests are checked. This bound counts interest checks, not every arrow in the flowchart.

R=L−n,R←R−1,0≤n≤LR=L-n,\qquad R\leftarrow R-1,\qquad 0\le n\le L

A program outcome

Agreeing a meal, drink or activity ends one scripted call. Ending an attempt is a different outcome. Neither establishes that two people have become friends.

Scope and limits

  • The diagrams and five scripts are exhibition adaptations, not an exact reconstruction of the programme prop.
  • The counter bound applies to interest checks after the answered call reaches the interest branch. Waiting for a callback has no promised time bound.
  • A finite pause is reported as a demonstration cap, separately from a repeated deterministic state.
  • Tea is the fixed drink in this teaching script. Friendship and a person’s wishes are not mathematical outputs.

Open interactive reading view · Watch official clip

S4E10 · The Alien Parasite Hypothesis

73 and Prime Numbers

Why did Sheldon call 73 the best number?

73Prime position 21base two: 1001001Reverse 37: prime position 12

Original mathematical diagram

On screen

The episode gives 73 a comic role. The number’s relationships can still be checked independently.

Curator mathematical extension

73 is the 21st prime. Its reverse, 37, is the 12th prime; 21 and 12 are reversed too.

A checkable pattern

List primes in increasing order, then count positions.

73=p21,37=p12,21=7×373=p_{21},\quad 37=p_{12},\quad 21=7\times3

Binary reading

The binary digits mark powers of two: 64, 8, and 1.

73=64+8+1=1001001273=64+8+1=1001001_2

Beyond the joke

Pomerance and Spicer proved that 73 is unique under their Sheldon-prime conditions.

Scope and limits

  • A finite search can suggest a pattern; it cannot establish uniqueness among all primes.
  • The binary palindrome is an observation, not the proof of uniqueness.

Open interactive reading view · Watch official clip

S2E8 · The Lizard-Spock Expansion

Game Rules and Probability

What changes when a three-choice game has five choices?

rockpaperscissorslizardSpockEach move: 2 wins · 2 losses · 1 tie

Original mathematical diagram

On screen

The scene introduces Rock–Paper–Scissors–Lizard–Spock. The rule diagram is compact enough to check move by move.

Curator mathematical extension

Under independent uniform choices, five gestures give a tie probability of 1/5. Three gestures give 1/3.

Count ordered outcomes

With five choices for each player there are 25 equally likely ordered pairs.

5×5=255\times5=25

Balanced rules

Five matching pairs tie. For a fixed first move, two replies lose and two replies win.

P(tie)=5/25=1/5P(\mathrm{tie})=5/25=1/5

Compare three choices

The same count gives three ties among nine ordered pairs.

P3(tie)=3/9=1/3P_3(\mathrm{tie})=3/9=1/3

Scope and limits

  • The probability comparison assumes independent, equally likely choices.
  • Lower tie probability does not make a game more skilful.

Open interactive reading view · Watch official clip

S5E4 · The Wiggly Finger Catalyst

Dice and Randomness

What does a fair die predict before it is rolled?

116216320414517617Observed frequencies · 100 rolls

Original mathematical diagram

On screen

The episode links dice with trivial decisions and a tabletop game. The exhibition uses those dice to study sample spaces.

Curator mathematical extension

A fair s-sided die gives each face probability 1/s. Its expected value is (s+1)/2.

Expected value

Average every possible face under equal probability.

E[X]=1+2+⋯+ss=s+12E[X]=\frac{1+2+\cdots+s}{s}=\frac{s+1}{2}

Example

A fair d6 has expected value 3.5, although no roll can show 3.5.

E[d6]=7/2E[\mathrm{d6}]=7/2

A simulation

More independent trials usually bring the observed mean nearer the expectation, without fixing any single run.

Scope and limits

  • The simulation uses an explicitly seeded pseudo-random generator.
  • A die is assumed fair; the show does not establish fairness.

Open interactive reading view · Watch official clip

S4E22 · The Wildebeest Implementation

Three-Player Chess

What changes when a board has a third point of view?

Aturn 1Bturn 2Cturn 3

Original mathematical diagram

On screen

A three-person chess scene suggests a board with three territories. The exhibition studies turn order and attack paths, not the show’s rules.

Curator mathematical extension

Three labelled players have 3!=6 possible turn orders. Adding a player changes both the board geometry and the decision tree.

Count orders

Choose the first, second and third player without repetition.

3×2×1=3!=63\times2\times1=3!=6

Attack map

A teaching board records which territories can be reached in one move.

A modelling choice

An attack map must specify its board and move rules before it has mathematical meaning.

Scope and limits

  • The board and rules here are original teaching models.
  • They do not reconstruct a canonical version of the show’s game.

Open interactive reading view · Watch official clip

S7E3 · The Scavenger Vortex

Coordinates and Routes

When does the straight-looking route stop being shortest?

(0, 2)(7, 2)Four directions · one unit per step

Original mathematical diagram

On screen

The scavenger hunt makes information and places into a sequence. This original grid turns that idea into a shortest-route problem.

Curator mathematical extension

On an unobstructed square grid, the Manhattan distance is |Δx|+|Δy|. Obstacles can force a longer path.

A lower bound

Each horizontal or vertical step changes exactly one coordinate by one.

d1((x,y),(a,b))=∣x−a∣+∣y−b∣d_1((x,y),(a,b))=|x-a|+|y-b|

Unobstructed route

Any route using exactly |Δx| horizontal and |Δy| vertical steps reaches that lower bound.

Search

Breadth-first search visits grid points in increasing path length, so the first target visit is shortest.

Scope and limits

  • The map is fictional and non-geographic.
  • A shortest path is a property of the displayed grid rules, not of the episode’s locations.

Open interactive reading view · Watch official clip

S1E6 · The Middle-Earth Paradigm

The Doppler Effect

Why does motion change the pitch we hear?

Source 0 m/s · sound 343 m/s

Original mathematical diagram

On screen

A costume scene supplies the prompt. The wave picture and calculation are an exhibition reconstruction.

Curator mathematical extension

For a moving source in still air, waves bunch ahead and spread behind. Higher frequency means higher pitch.

Wave spacing

During one source period, the source moves u/f while sound moves a/f.

λahead=(a−u)/f\lambda_{\rm ahead}=(a-u)/f

Moving source

Use sound speed a, source speed u, and emitted frequency f.

fa=faa−u,fl=faa+uf_a=\frac{fa}{a-u},\quad f_l=\frac{fa}{a+u}

Zero speed

At u=0, both observed frequencies equal the source frequency.

Scope and limits

  • This model assumes a stationary listener and uniform air.
  • The costume is not treated as a measured wave diagram.

Open interactive reading view · Watch official clip

S1E2 · The Big Bran Hypothesis

Triangles on the Stairs

How can a longer route require less pushing force?

mgpush30°2 mAlong slopemg sin θFriction addsμ mg cos θ

Original mathematical diagram

On screen

The scene makes the inclined plane practical. The show’s science adviser later confirmed that the relevant component uses sine.

Curator mathematical extension

Ignoring friction, a ramp at angle θ needs force mg sin θ along the slope. At 30°, this is half the weight.

Resolve weight

Project gravity parallel to the ramp.

F∥=mgsin⁡θF_\parallel=mg\sin\theta

Include friction

With coefficient μ, friction adds μ times the normal force.

F=mg(sin⁡θ+μcos⁡θ)F=mg(\sin\theta+\mu\cos\theta)

Trade force for distance

Without friction, the ideal work remains mgh because the ramp distance is h/sin θ.

F∥ d=mghF_\parallel\,d=mgh

Scope and limits

  • The first calculation ignores friction, turning and clearance.
  • A real stair corner can make the simple ramp model inadequate.

Open interactive reading view · Watch official clip

S2E11 · The Bath Item Gift Hypothesis

Gifts and Uncertainty

Can one price represent the value of a gift?

price 10error 10price 20error 0price 40error 20Teaching value 20 · sentimental value is outside this model

Original mathematical diagram

On screen

A character buys multiple price points before knowing what will be received. The episode then defeats the price-only model.

Curator mathematical extension

A displayed price can minimize numerical error over a chosen range. Utility and sentimental value need not follow that number.

Price error

For a possible gift value g and chosen price p, use absolute error.

e(p,g)=∣p−g∣e(p,g)=|p-g|

A small matrix

Compare prices and possible gifts 10, 20, and 40 units one cell at a time.

A cautious choice

Minimax chooses the price with the smallest worst error over an explicitly stated set.

Scope and limits

  • The price list is a teaching example, not a claim about the scene’s products.
  • No formula measures friendship or sentimental value.

Open interactive reading view · Watch official clip

S12E19 · The Inspiration Deprivation

From TV to Mathematical Proof

What separates a promising pattern from a proof?

73Prime position 21base two: 1001001A finite check and a theorem answer different questions.

Original mathematical diagram

On screen

David Saltzberg supplied accurate science for the set. A portion of the 73 uniqueness proof later appeared on a whiteboard.

Curator mathematical extension

Checking many primes can reveal a conjecture. Pomerance and Spicer’s argument establishes uniqueness for infinitely many candidates.

What the search checks

Write p_n for the nth prime. A Sheldon prime has index n equal to the product of its decimal digits, and reversing its digits gives the prime at the reversed index. The binary palindrome is a separate curiosity.

n=∏digits(pn),rev(pn)=prev(n)n=\prod \mathrm{digits}(p_n),\qquad \mathrm{rev}(p_n)=p_{\mathrm{rev}(n)}

Three different claims

A calculation verifies one case; a conjecture proposes a general rule; a proof supplies a valid general argument.

A finite limit

Testing every prime below a chosen number leaves infinitely many possible later primes.

A documented appearance

Dartmouth reports that a portion of the ten-page proof appeared in the 18 April 2019 broadcast.

Scope and limits

  • The wall image is not transcribed as a complete proof.
  • Set decoration alone is not mathematical evidence; the paper is the source for the theorem.

Open interactive reading view · Watch official clip

Eight characters · One circle of friends

Meet the Characters

Who brings this world to life?

Scientists, neighbours and a shopkeeper share a world of work, games and everyday negotiations. These introductions describe recurring roles across the series; relationships and careers develop over time.

Open story, details and sources

The set as a shared home

Apartment 4A

Why does this apartment feel so familiar?

Sofa conversations, household rules and visits across the hall turn a small collection of rooms into a social world. Repeated settings let viewers recognise a situation before the dialogue begins.

Sheldon’s spot

Warner Bros. identifies Sheldon’s sofa seat as a landmark of the original set.

The sofa is extracted from iansed’s fan model. Its label marks a reference to the show, not a new seat control.

Roommate agreement

In S3E22, Leonard encounters Sheldon’s terms for sharing the apartment.

The cover here is an original exhibition label; it does not reproduce or invent contract clauses.

4A door

The number identifies the apartment; the knocking routine makes the threshold memorable.

Miniature door and number plate are exhibition interpretations.

Broken elevator

The out-of-order elevator helps make the stairs part of everyday encounters.

The model is static scenery. The show’s later changes are outside this early-series interpretation.

Open story, details and sources

Games, gifts & shared routines

Friendship and Everyday Life

What keeps bringing the friends together?

The exhibition pairs play with everyday acts of care. The same friends who debate rules also negotiate the meaning of a gift or gather over takeaway food.

Dice

The dice invite a comparison of possible outcomes and observed rolls.

The teaching simulation assumes fair dice and independent rolls; the tabletop is a miniature adaptation.

Three-player chess

Sheldon presents a chess variant for three players in S4E22.

Our three-colour board illustrates turn order only. It is not a reconstruction of the full on-screen rules.

Comic rack

The shop’s shelves recall Stuart’s role as a comic-book retailer.

Sourced shelving with original abstract cover designs. These are not reproduced commercial comics.

Book boxes

Boxes and browsing stock give this corner the character of a small shop.

Decorative inventory, not a catalogue of issues featured in the programme.

Gifts and expectations

S2E11 turns Sheldon’s attempt at a balanced gift exchange into a surprise.

Explore uses explicitly labelled teaching prices. It does not assign a market price to affection or a treasured keepsake.

Open story, details and sources

Science advice · A joke becomes research

Behind the Scenes

What real work is hidden in the background?

Science consultant David Saltzberg reviewed scripts and prepared equations for the set’s whiteboards. Research could become background detail without becoming the episode’s plot.

The science consultant

Saltzberg’s role included checking scientific dialogue and consulting other specialists when needed.

UCLA’s account was published in 2014. Cast member Mayim Bialik also holds a doctorate in neuroscience.

The Sheldon conjecture

Carl Pomerance and Chris Spicer proved that 73 is the only prime satisfying their Sheldon-prime conditions.

The paper, not the television image or a finite search, is the source for the theorem. Explore the original proof exhibit for the exact conditions.

Open story, details and sources

Set A · S2E13

Friendship Algorithm

Can a diagram make a friend?

A telephone call becomes a sequence of decisions. Sheldon’s attempt to formalise friendship reveals a loop; Howard suggests a counter and a way out.

Telephone

The call starts a chain of invitations and questions.

Miniature phone and stand: exhibition interpretation, not an authenticated screen-used prop.

Whiteboard

Follow the repeated interest question, then compare the version with a bounded retry count.

This board uses the same original teaching flow as Explore. The default limit of three is an exhibition adaptation.

Open story, details and sources

Set B · Shared living

Apartment 4A

How does a shared room become familiar?

The apartment is a recurring gathering place. A particular seat and an elaborate agreement turn ordinary household arrangements into comedy.

Sheldon’s spot

Warner Bros. identifies Sheldon’s sofa seat as a landmark of the original set.

The sofa is extracted from iansed’s fan model. Its label marks a reference to the show, not a new seat control.

Roommate agreement

In S3E22, Leonard encounters Sheldon’s terms for sharing the apartment.

The cover here is an original exhibition label; it does not reproduce or invent contract clauses.

Open story, details and sources

Set C · Games and choices

Game Night

What happens when friends change the rules?

Dice and an unusual chessboard connect play with decisions. Rules make an activity shared, but changing them changes the possibilities.

Dice

The dice invite a comparison of possible outcomes and observed rolls.

The teaching simulation assumes fair dice and independent rolls; the tabletop is a miniature adaptation.

Three-player chess

Sheldon presents a chess variant for three players in S4E22.

Our three-colour board illustrates turn order only. It is not a reconstruction of the full on-screen rules.

Open story, details and sources

Set D · Scientific identities

Science at Home

What does a scientist’s world look like?

Amy and Bernadette broaden the programme’s scientific community. Books, instruments and a board suggest work continuing beyond the laboratory.

DNA model

The double helix evokes the life sciences associated with Amy and Bernadette.

An original decorative helix, not a molecular structure or an identified prop from an episode.

Telescope

Astronomy connects this display to Raj’s field of research.

The complete instrument and tripod were extracted from iansed’s credited apartment model and uniformly reduced. Adjacent laboratory vessels are by Jiří Ptáček / Poly Haven (CC0). This display does not simulate working optics.

Open story, details and sources

Set E · Stuart’s shop

Comic Book Store

Where do shared interests become friendships?

Stuart’s comic-book shop gives the group another place to browse, talk and meet. A shared interest can offer an opening without guaranteeing a friendship.

Comic rack

The shop’s shelves recall Stuart’s role as a comic-book retailer.

Sourced shelving with original abstract cover designs. These are not reproduced commercial comics.

Book boxes

Boxes and browsing stock give this corner the character of a small shop.

Decorative inventory, not a catalogue of issues featured in the programme.

Open story, details and sources

Set F · Outside 4A

Fourth-Floor Landing

How can a doorway become a recurring joke?

The official studio tour highlights the apartment doorway, Sheldon’s distinctive knock and the broken elevator. The landing becomes a recognisable transition between scenes.

4A door

The number identifies the apartment; the knocking routine makes the threshold memorable.

Miniature door and number plate are exhibition interpretations.

Broken elevator

The out-of-order elevator helps make the stairs part of everyday encounters.

The model is static scenery. The show’s later changes are outside this early-series interpretation.

Open story, details and sources

Scenes in the modern wing

Six scenes from The Big Bang Theory

Original miniature interpretations with fan-created characters and furniture. Open a set label to discover its two featured props. The twenty wall frames explore mathematics and life in the programme.

Sheldon and Howard beside a telephone and the exhibition’s shared algorithm diagram. An original miniature interpretation of S2E13.
A. Friendship Algorithm

Discover Friendship Algorithm

Sheldon and Howard beside a telephone and the exhibition’s shared algorithm diagram. An original miniature interpretation of S2E13.

Leonard and Penny on a sofa adapted from iansed’s apartment, with a coffee table, takeaway boxes and a marked place for Sheldon. A miniature, not a full set reconstruction.
B. Apartment 4A

Discover Apartment 4A

Leonard and Penny on a sofa adapted from iansed’s apartment, with a coffee table, takeaway boxes and a marked place for Sheldon. A miniature, not a full set reconstruction.

Raj, dice and an original three-player teaching board. The board models turn order; it does not claim to reproduce the programme’s complete chess rules.
C. Game Night

Discover Game Night

Raj, dice and an original three-player teaching board. The board models turn order; it does not claim to reproduce the programme’s complete chess rules.

Amy and Bernadette with an original DNA model, telescope and a whiteboard linked to 73. These props connect the show’s science setting to the mathematical exhibition.
D. Science at Home

Discover Science at Home

Amy and Bernadette with an original DNA model, telescope and a whiteboard linked to 73. These props connect the show’s science setting to the mathematical exhibition.

Stuart beside a bookshelf adapted from the apartment source, original comic boxes and a small counter. Book spines are abstract colours, with no reproduced covers.
E. Comic Book Store

Discover Comic Book Store

Stuart beside a bookshelf adapted from the apartment source, original comic boxes and a small counter. Book spines are abstract colours, with no reproduced covers.

A miniature door marked 4A and a broken elevator recall the apartment landing. Original simplified models keep the entrance and frame viewing positions clear.
F. Fourth-Floor Landing

Discover Fourth-Floor Landing

A miniature door marked 4A and a broken elevator recall the apartment landing. Original simplified models keep the entrance and frame viewing positions clear.

Characters: gozdemrl. Selected furniture: iansed. Both sources label their models CC BY 4.0. Adaptations: extraction, miniature scale, posed cast, original furniture UVs, baked contact shading and original teaching props. Laboratory bottle and rack: Jiří Ptáček / Poly Haven, CC0. Powered by Poly Haven. Asset record.

Mathematics labs

These default diagrams and statements remain readable without JavaScript. The interactive reading view contains the full reasoning and experiment controls.

Topology

Count vertices, edges and faces, then compare local angle defects with the total curvature of a mesh.

Computed default Topology model

theorem

The Euler characteristic is independent of the finite cell decomposition of a compact surface.

χ=V−E+F\chi=V-E+F

Conditions: A valid finite cell decomposition of the same surface.

theorem

The sum of vertex angle defects on a closed triangular surface equals 2π times its Euler characteristic.

∑vδv=2πχ\sum_v\delta_v=2\pi\chi

Conditions: Finite, nondegenerate Euclidean triangular faces. Each edge belongs to exactly two faces; vertex neighborhoods are disks.

derivation

For a surface with boundary, interior defects and boundary turning angles together give the total-curvature identity.

∑v∈Vint(2π−∑f∋vθf,v)+∑v∈V∂(π−∑f∋vθf,v)=2πχ\sum_{v\in V_{\mathrm{int}}}\left(2\pi-\sum_{f\ni v}\theta_{f,v}\right)+\sum_{v\in V_{\partial}}\left(\pi-\sum_{f\ni v}\theta_{f,v}\right)=2\pi\chi

Conditions: A valid triangular surface with manifold boundary. Angles are measured in the individual flat faces.

Open the Topology lab in Modern

Fourier

Represent a sampled contour with complex Fourier coefficients and measure the error caused by discarding frequencies.

Computed default Fourier model

theorem

Distinct discrete Fourier modes are orthogonal under the sample-average inner product.

1N∑j=0N−1e2πi(k−ℓ)j/N={1,k≡ℓ(modN),0,otherwise.\frac1N\sum_{j=0}^{N-1}e^{2\pi i(k-\ell)j/N}=\begin{cases}1,&k\equiv\ell\pmod N,\\0,&\text{otherwise}.\end{cases}

Conditions: N equally indexed samples. Frequency indices are compared modulo N.

derivation

The complete Fourier coefficient set reconstructs every input sample, up to numerical error.

ck=1N∑j=0N−1zje−2πikj/N,zj=∑k=0N−1cke2πikj/Nc_k=\frac1N\sum_{j=0}^{N-1}z_je^{-2\pi ikj/N},\qquad z_j=\sum_{k=0}^{N-1}c_ke^{2\pi ikj/N}

Conditions: Forward normalization is 1/N; the inverse is unscaled. All N coefficients are included.

theorem

The sample mean squared reconstruction error equals the energy in the omitted coefficients.

MSE⁡=1N∑j=0N−1∣zj−z^j∣2=∑k∉S∣ck∣2\operatorname{MSE}=\frac1N\sum_{j=0}^{N-1}|z_j-\widehat z_j|^2=\sum_{k\notin S}|c_k|^2

Conditions: The reconstruction retains the specified set S. The same samples and normalization are used on both sides.

Open the Fourier lab in Modern

Complex

Follow square-root and logarithm values along a circular path, and compare continuation with a selected single-valued branch.

Computed default Complex model

derivation

A continuously followed square root changes sign after one full turn and returns after two.

w(Θ+2π)=−w(Θ),w(Θ+4π)=w(Θ)w(\Theta+2\pi)=-w(\Theta),\qquad w(\Theta+4\pi)=w(\Theta)

Conditions: z = r exp(iΘ) with r > 0. Θ is the continuous, unwrapped path angle. The starting root is fixed.

derivation

A continued logarithm gains 2πi on each counterclockwise turn.

w=ln⁡r+iΘ,w(Θ+2π)−w(Θ)=2πiw=\ln r+i\Theta,\qquad w(\Theta+2\pi)-w(\Theta)=2\pi i

Conditions: A nonzero circular path. The initial logarithm branch is fixed once. The turn count is not added again to Θ.

visualization

The surface display retains three real coordinates and encodes the remaining information in labels and color.

Conditions: The displayed projection may overlap. Finite displayed turns are a viewport limit, not a limit on logarithm branches.

Open the Complex lab in Modern

Spectral

Calculate graph Laplacian eigenmodes and use them to follow heat diffusion through a weighted network.

Computed default Spectral model

theorem

The graph Laplacian is positive semidefinite.

vTLv=∑{i,j}∈Ewij(vi−vj)2≥0v^{\mathsf T}Lv=\sum_{\{i,j\}\in E}w_{ij}(v_i-v_j)^2\ge0

Conditions: A finite undirected graph. Nonnegative edge weights and no self-loops. Each undirected edge appears once in the sum.

theorem

The multiplicity of the zero eigenvalue equals the number of connected components.

Conditions: Only positive-weight edges count as connections. L = D − W is the unnormalized Laplacian.

derivation

Each Laplacian eigenmode decays at the rate given by its eigenvalue.

u(t)=∑k=1ne−λkt⟨u(0),ϕk⟩ϕku(t)=\sum_{k=1}^{n}e^{-\lambda_kt}\langle u(0),\phi_k\rangle\phi_k

Conditions: du/dt = −Lu with fixed L. The eigenvectors form an orthonormal basis. No external sources or sinks are added.

theorem

On a connected graph, the second eigenvalue bounds decay toward the uniform mean.

∥u(t)−uˉ1∥2≤e−λ2t∥u(0)−uˉ1∥2\|u(t)-\bar u\mathbf 1\|_2\le e^{-\lambda_2t}\|u(0)-\bar u\mathbf 1\|_2

Conditions: The graph is connected and n ≥ 2. Eigenvalues are sorted in nondecreasing order. The bound need not be attained by the selected initial state.

Open the Spectral lab in Modern

Geometry

Compare geodesic triangles in a plane, on a sphere and in the Poincaré disk using each model’s own metric.

Computed default Geometry model

theorem

A valid constant-curvature geodesic triangle has angle excess equal to curvature times area.

α+β+γ−π=KA\alpha+\beta+\gamma-\pi=KA

Conditions: A simple, nondegenerate geodesic triangle bounding the stated region. The sphere uses short arcs within a common hemisphere. Angles are in radians.

theorem

The Poincaré disk metric assigns a specific hyperbolic distance to each pair of interior points.

d(u,v)=arcosh⁡(1+2∣u−v∣2(1−∣u∣2)(1−∣v∣2))d(u,v)=\operatorname{arcosh}\left(1+\frac{2|u-v|^2}{(1-|u|^2)(1-|v|^2)}\right)

Conditions: |u| < 1 and |v| < 1. Curvature is −1.

numerical experiment

Spherical excess can be compared with an area calculation from the three unit direction vectors.

A=2R2atan2⁡(∣det⁡(a,b,c)∣,1+a⋅b+b⋅c+c⋅a)A=2R^2\operatorname{atan2}\left(|\det(a,b,c)|,1+a\cdot b+b\cdot c+c\cdot a\right)

Conditions: The valid short-arc spherical triangle selected by this exhibit. The determinant calculation is independent of the angle-sum calculation.

Open the Geometry lab in Modern

Chaos

Compare nearby Lorenz trajectories and separate sensitivity to initial conditions from numerical discretization error.

Computed default Chaos model

derivation

Three coupled differential equations define the Lorenz initial-value problem used here.

x˙=σ(y−x),y˙=x(ρ−z)−y,z˙=xy−βz\dot x=\sigma(y-x),\qquad \dot y=x(\rho-z)-y,\qquad \dot z=xy-\beta z

Conditions: The displayed parameters and initial state are fixed for each run. The coordinates and time are model variables.

derivation

The origin is an equilibrium; when ρ > 1 there are two further equilibria.

(x,y,z)=(±β(ρ−1), ±β(ρ−1), ρ−1)(x,y,z)=\left(\pm\sqrt{\beta(\rho-1)},\ \pm\sqrt{\beta(\rho-1)},\ \rho-1\right)

Conditions: σ > 0 and β > 0. Matching signs are used for x and y. ρ > 1 for the nonzero pair.

numerical experiment

The distance between two computed trajectories measures separation for this particular run.

d(t)=∥uε(t)−u(t)∥2d(t)=\left\|u_{\varepsilon}(t)-u(t)\right\|_2

Conditions: Both trajectories use the same solver, step and parameter values. Only the first initial coordinate differs by ε. A finite trajectory comparison is not a proof of all properties of chaos.

Open the Chaos lab in Modern