← Prequel and all ten episodes

Being and Becoming · Episode 2 of 10 · 3:59

What can an observer actually distinguish?

Which differences can these observations support for the task?

Keyboard: focus the player, then Space or K to play/pause and arrow keys to seek. Tab moves through the controls. Selectable captions replace the video's caption strip with the same timed text below.

In this episode

  1. 0:00 · Why this question matters
  2. 0:30 · Return to the observer’s view
  3. 0:51 · Declare the C4 card example
  4. 1:21 · Build the observation groups
  5. 1:53 · Availability and received evidence
  6. 2:19 · Repeat an exact test on a fixed card
  7. 2:43 · Name the reporting convention
  8. 3:08 · Check the operation
  9. 3:35 · Return to the machine and look ahead

Complete transcript

This transcript includes the answers to prediction prompts.

Show transcript

Why this question matters · 0:00

Different situations can require different responses. If every available reading looks identical, those readings alone cannot tell us which response fits. This makes distinguishability important: useful observations preserve differences that matter for a task. Here the card's Being stays fixed. A new answer changes our evidence; Becoming would mean a change in the card's state. Watch the test menu and the received answers do different jobs. The observer from episode one receives zero.

Return to the observer’s view · 0:30

Both u and v fit that lamp reading. We will compare what a chosen set of observations can distinguish, using the known model rather than the audience-only cutaway. To make the grouping visible, first switch to the site’s four-card example.

Declare the C4 card example · 0:51

The cards are zero-zero, zero-one, one-zero and one-one. A names colour, the first digit: zero is teal and one is gold. B names shape, the second digit: zero is circle and one is square. These are new labels for a different example; they are not the hidden configuration names u, v, w and z. The card stays fixed while exact tests are read.

Build the observation groups · 1:21

Make only A available. Zero-zero and zero-one give the same A answer, so this menu leaves them together. One-zero and one-one form the other group. Now make both A and B available. A complete pair of answers identifies each card separately. The signature is simply the ordered list of those answers. Changing the menu changes the distinctions this observer can make; it does not change a card’s colour or shape.

Availability and received evidence · 1:53

Compare two operations from the same four possibilities. In one branch, enable B but receive no new answer yet. In the other, keep the existing menu and receive A equals zero. That answer restricts the current candidates to zero-zero and zero-one. Enabling another test and learning a fact have different effects. A menu says which questions may be asked; a record says what answers have arrived.

Repeat an exact test on a fixed card · 2:19

Reading A again produces the same answer on a fixed card. Recording A twice gives a longer record, but it does not separate cards that A already left together. This claim uses a deterministic exact test. Independent noisy readings are a different situation, introduced later; we are not treating every repeated measurement as useless.

Name the reporting convention · 2:43

Our examples use complete readings: the reader sends an explicit zero or one. Receiving zero is different from receiving no report. Here, zero says that the tested property is false. An optional course uses a different reporting rule; its convention is explained in the supporting notes. The core route keeps complete zero-or-one records. Pause and classify this change: we enable B, but have not read it.

Check the operation · 3:08

Have we learned that B is one? No. We changed availability, not the received record. If we next receive B equals one, then the compatible cards are zero-one and one-one. That later restriction comes from the answer.

Return to the machine and look ahead · 3:35

Return to our machine. Its core reader reports only the lamp, grouping u with v and w with z. The A and B card sensors have not been added to it. We now know what those present readings can distinguish. The next episode asks a new question: will that description also support predictions after a button press?