HackerWhen does a pattern in a picture become a proof?
A tiling suggests a conjecture, a new encoding turns rectangles into collisions, and a plotting rule creates spirals before primes even enter the picture. What work does each picture actually do?
Questions in this reading · 7
- First try cases that might fail
- Which relationship must survive a change of picture?
- Does the spiral survive when every integer is plotted?
- What does an overlay of the chapel section establish?
- From a tiled drawing to a construction that can continue
- If the diagram resembles a black hole, do its time arrows agree?
- Write down the symmetry before changing the rule
First try cases that might fail
Knuth notices an unexpected regularity in counts of rectangle pavings. More sizes agree. That is a good reason to investigate the pattern, and a poor stopping rule for establishing it. MIT’s proof lecture asks for deductions connecting explicit assumptions to the proposition. Give the conjecture to another reader and ask for a size most likely to break it. One counterexample disposes of a universal claim. A failed search leaves a precise question: which constraint rules out the cases nobody has tried?
Passages and timestamps · 2
all of a sudden you jump to a conjecture then you try it on it on another couple of casesis a verification of a proposition by a chain of logical deductions from a set of axioms.Which relationship must survive a change of picture?
Looking for an inscribed rectangle by dragging four points gives little guidance. Instead, encode each pair by its midpoint in the plane and its separation as height. A collision between distinct pairs yields equal diagonals that bisect each other. The encoding explains why a collision suffices; proving one must occur remains a separate job. Cube rotations and permutations supply another test. Counting 24 possibilities on either side is insufficient until the correspondence also respects successive actions.
Passages and timestamps · 3
the midpoint of A and C is the same as the midpoint of B and Dexactly d units above that midpoint mwhich preserves compositionDoes the spiral survive when every integer is plotted?
Plot n at radius n and angle n radians before filtering the primes. Forty-four steps nearly complete seven turns, so narrow arms appear even among all integers. Only after that control plot should one ask which missing points are due to primality. The lattice-circle problem takes a complementary route: estimate the count by area and count the same integer points by distance from the origin. One argument isolates an effect of plotting; the other identifies the common object counted along two routes.
Passages and timestamps · 3
taking 44 steps is very close to a whole number of turnshow many lattice points of the plane sit inside a big circlecount how many lattice points are on a given one of these ringsWhat does an overlay of the chapel section establish?
Lay a string along the arch, fold it into thirds, then draw the section produced by the construction. Overlaying it on Sainte-Chapelle tests whether the method can yield those proportions. Establishing that its builders actually used the method would require another kind of historical evidence. The overlay puts the two claims close together while only testing the first.
Passages and timestamps · 2
lay the string on the ground and fold it into thirdsit matches.From a tiled drawing to a construction that can continue
A dense patch can hide gaps at the boundary. For regular polygons check the angles at a vertex and specify how the arrangement repeats. The infinite hotel takes the same demand for a rule beyond a diagram: assigning every guest a new room is constructive, and diagonalization constructs an object absent from any proposed list. What happens past the drawn edge must follow from the rule.
Passages and timestamps · 4
Tiling is covering a surface with a pattern of polygons.Pentagons are broken hexagons leaving gaps.move to the room with double their room number.The letter on the diagonal.If the diagram resembles a black hole, do its time arrows agree?
Mark past, future and permitted crossings near each horizon or singularity before comparing a cosmological diagram with a black-hole model. The speaker uses these distinctions to examine an arresting hypothesis. A structural correspondence locates a useful analogy. Selecting among physical descriptions additionally calls for observations that would distinguish them.
Passages and timestamps · 2
the cosmological event horizon is closer to usa past, space-like singularityWrite down the symmetry before changing the rule
Veritasium develops the link from time-translation symmetry to conserved energy, then asks whether the same symmetry holds in an expanding universe. Hossenfelder’s hypothetical faster-than-light example asks which frame defines a message’s direction. Put a column of assumptions beside both arguments. Their claims have different status: one applies a theorem, the other explores what changing a hypothetical scheme could cost.
Passages and timestamps · 4
time translation symmetrySince we don't have time symmetrythey can’t deliver a message to your younger self.the reference frame that moves along with matterTry it on your own example
Choose a picture that recently persuaded you. Name its objects, its plotting rule and the step still needed to extend what you saw to cases outside the picture.