6 ms·

What a beautiful illustration. It makes intuitive the very abstract concepts discussed in the text. It’s fun to zoom in and browse around the structure.

• michael0church 1mo ago
  [dead]
  • voidmain 1mo ago
    The visualization is of the power set, which is uncountable.
    • michael0church 1mo ago
      [dead]
  • zaebal 1mo ago
    TREE(3) is unimaginably small, compared to ω
    • zygentoma 1mo ago
      Well, any natural number is unimaginably small, compared to ω …
    • tromp 1mo ago
      TREE(3) is also unimaginably tiny compared to the normal form size of (λa.aaa(λbλcλdλe.ebbbcde)aaaa)(λfλx.f(fx)) [1]. [1] https://wiki.bbchallenge.org/wiki/Lambda_Calculus#Champions https://wiki.bbchallenge.org/wiki/Lambda_Calculus#Champions
  • aeneasmackenzie 1mo ago
    All describable or recognizable complexity is part of the subcountable set of computable subsets of N. Higher infinities thus mostly contain fake elements about which nothing can be said, so they don’t feel any bigger.
    • __MatrixMan__ 1mo ago
      "Fake elements," feels right to me. They're allegedly in there but we can't find any of them. It's funny that these elements comprise the majority of the "real" numbers.