Construct · 3 fields · 3 citations

Where does tableau collide?

One name. Different field. Different construct. One map.

● jingle · one word, three constructs Nearest construct by meaning·not indexed
tableau3 CONSTRUCTSPictorial tableauFRIED · DIDEROTYoung tableauYOUNG · TABLEAUXAnalytic tableauSMULLYAN · TABLEAUX

Spokes are fields; dashed arcs are shared lineage. Tap a field for its definition, unit, and measures.

1968Analytic tableau1988Pictorial tableau1997Young tableau
2026

Drag to watch the word get claimed. Each field appears at the publication date of the earliest source cited for it. Tap a year to see which.

Painting & art theory

A scene composed as a self-contained picture

In the art theory of Diderot's era the tableau is a painting, or a staged picture-like moment, conceived as a unified and self-sufficient composition that seems unaware of the beholder. As Fried reconstructs it, the figures are arranged into a single, legible, absorbed moment that tells itself at a glance. The referent is a mode of pictorial composition.[1]

Unit
A unified, self-contained pictorial composition of a single moment
Recovery means
Not applicable
Measured by
Read in how a composition gathers figures into one absorbed, legible moment addressed to no onlooker

Combinatorics & algebra

A grid of numbers filled in increasing order

A Young tableau is a left-justified array of boxes, a Young diagram, filled with numbers that increase along each row and down each column. Named after Alfred Young, these tableaux index and compute the representations of the symmetric group and recur throughout algebraic combinatorics and geometry. The referent is a combinatorial object, with no connection to a painting.[2]

Unit
A filled Young diagram whose rows and columns increase
Recovery means
Not applicable
Measured by
Counted and manipulated by combinatorial rules such as the hook-length formula and Schensted insertion

Mathematical logic

A branching proof that hunts for a model

In logic a semantic or analytic tableau is a tree-shaped proof procedure that tests a formula by breaking it into components along branches; a branch closes when it reaches a contradiction, and if every branch closes the formula is unsatisfiable. The referent is a decision and proof method, unrelated to a picture or a filled grid.[3]

Unit
A branching tree procedure that tests a formula's satisfiability
Recovery means
Not applicable
Measured by
A branch closes on contradiction, and a formula is proved when every branch of its tableau closes

Next

Run it through the Collider, or take the citations with you.

See how tableau sits against neighbouring constructs in the Collider, or export every reference on this page in one click.

Open in ColliderExport BibTeXReport this collision

Nearby collisions

array3 fields · 4 citationsjingle · one word, three constructscolumn1 fields · 2 citationsanchor · a standalone construct

References

  1. Fried, M. (1988). Absorption and theatricality: Painting and beholder in the age of Diderot. University of Chicago Press. ISBN 9780226262130
  2. Fulton, W. (1997). Young tableaux: With applications to representation theory and geometry. Cambridge University Press. ISBN 9780521561440
  3. Smullyan, R. M. (1995). First-order logic. Dover Publications. (Original work published 1968) ISBN 9780486683706

Cited on this page?

Confirm your construct, or correct us.

If your work is cited behind one of these entries, you know better than we do whether we captured the meaning right. Confirm it, suggest an edit, or dispute it, and your name goes on the entry as an author who has checked it, linked to your ORCID.

Claim your construct