Occult Research Observatory
CONTINUOUS OBSERVATION · EST. MMXXVI · ALL DATA PUBLIC
Language:EnglishPolski

Occult Origins of Technology · 2/7 · c. 1274 – 1950 CE

Llull's Wheels → Combinatorial Logic

The machine that was an argument. A 13th-century missionary built paper discs to generate every combination of God's attributes, and argued that reasoning itself could be turned by a handle. He was wrong about what his machine proved. He was right that a machine could do it.

REVISED 2026-07-24 · 10 THE CLAIMS, LABELLED

How to read the labels

Documented influenceA traceable line — texts, apparatus, or people demonstrably carried the practice forward.
Shared techniqueThe same method on both sides of the divide; transmission is likely but not fully papered.
Historical coexistenceSame rooms, same decades; influence unproven.
Later reinterpretationA modern meaning projected back onto the old practice.
DisputedSerious scholars disagree. Both readings are shown.
Popular mythWidely repeated; contradicted by the record.
Plate I — The constellation of descent11 NODES
I · MAJORCAII · THE READERSIII · THE CALCULUSIV · THE MACHINE1232–13161500–16801666–18541879 →converted no one? not a documented descenthis name on books he never wroteLlull, Ars generalis ultimaROTATING DISCS · NINE DIGNITIES · LETTER NOTATIONThe conversion purposePROOF COMPELLING TO NON-CHRISTIANSGiordano BrunoLULLIAN WHEELS AS MEMORY ARTKircher, Ars Magna Sciendi (1669)THE COMBINATORY REVIVAL IN PRINTThe occult LlullALCHEMICAL WORKS FALSELY ATTRIBUTEDLeibniz, De arte combinatoria (1666)WROTE ON LLULL AT NINETEENCharacteristica universalisA NOTATION IN WHICH DISPUTES ARE CALCULATEDBoole, Laws of Thought (1854)REASONING AS ALGEBRAFrege, Begriffsschrift (1879)A REAL FORMAL LANGUAGE AT LASTMechanised inferenceSEARCH · ENUMERATION · AUTOMATED PROOFThe universal machineNO DIRECT LINE FROM LLULL
documented shared technique coexistence disputed reinterpretation extinguished
Each star is a node in the lineage; the line style states how strong the connection is.

The balance sheet

Retained by logic

  • Exhaustive enumerationgenerate every combination of a fixed set, then rule them out — the shape of a modern search
  • Letters standing for conceptsB for goodness, C for greatness — symbols manipulated without regard to meaning
  • The claim that inference is mechanisablethe premise every later formal logic assumes, and the one Llull argued first
  • A device you operate, not readthe volvelle is a user interface: turn the disc, read the result
  • Combinatorics as a subjectLeibniz's De arte combinatoria takes Llull as its named starting point

Left to the dark

  • That enumeration constitutes proof
  • The nine divine dignities as primitive terms
  • Conversion of non-believers by argument
  • The elemental and astrological figures of the Art
  • Llull as author of the alchemical corpus

The claims, labelled

Continue through the research

These links connect the claim to the test, method, or neighboring history that can challenge it.