3 ms·
My favorite prime number generator is ┬─┬───────────────────────────────────┬──── ────┬ │ │ ┬─┬ ────┬─┬────────────────────── ┼───┬ ┬───┼ │ │ └─┤ ─
by tromp 3y ago
My favorite prime number generator is
┬─┬───────────────────────────────────┬──── ────┬
│ │ ┬─┬ ────┬─┬────────────────────── ┼───┬ ┬───┼
│ │ └─┤ ────┼─┼───────────────────┬── ┼───┼ │ ┬ │
│ │ │ ┬───┼─┼───────────────────┼── ┼─┬─┼ │ ┼ │
│ │ │ │ ─ ┼─┼─┬─────┬──── ──────┼─┬ │ ├─┘ └─┤ │
│ │ │ │ ┬ └─┤ │ ┬─┬ ┼─┬─┬ ──┬───┼─┼ ├─┘ ├─┘
│ │ │ └─┤ └─┤ └─┤ │ ├─┘ ──┼─┬─┼─┼ │ │
│ │ │ │ │ │ ├─┘ ┬─┼─┼─┼─┼ │ │
│ │ │ │ │ ├─┘ └─┤ │ ├─┘ │ │
│ │ │ │ └───┤ │ ├─┘ │ │
│ │ │ │ │ ├─┘ │ │
│ │ │ │ ├─────────┘ │ │
│ │ │ ├─────────┘ │ │
│ │ └───┤ │ │
│ │ ├───────────────────────────┘ │
│ ├───────┘ │
└─┤ │
└───────────────────────────────────────────┘
which graphically depicts the 167-bit lambda term
λ 1 (1 ((λ 1 1) (λ λ λ 1 (λ λ 1) ((λ 4 4 1 ((λ 1 1) (λ 2 (1 1)))) (λ λ λ λ 1 3 (2 (6 4))))) (λ λ λ 4 (1 3)))) (λ λ 1 (λ λ 2) 2)
which generates the characteristic sequence of primes [1] [2].
[1] https://tromp.github.io/cl/cl.html https://tromp.github.io/cl/cl.html
[2] https://github.com/tromp/AIT/blob/master/characteristic_sequences/primes.lam https://github.com/tromp/AIT/blob/master/characteristic_sequ...
- hgsgm 3y agoWhat's the "characteristic sequence"?
- hidroto 3y agoits a list with each prime index contains a one/true value
- cobaltoxide 3y agoCould you explain it? Those two links are Greek to me.
- tromp 3y agoThe first link starts out as: > On Pi day 2023 I gave an online talk about AIT and BLC based on these slides. Perhaps watching the linked-to talk will somewhat clarify matters.
- deleted 3y ago[deleted]
- pixelpoet 3y agoSuper cool to see one of the authors of the most popular Go scoring methods (particularly for MCTS) posting here :) Respect and thanks!
- MrJeffUtah 3y ago[dead]