Main public logs

Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 13:12, 30 October 2026 NathFR76 talk contribs created page User:NathFR76 (Created page with "Hi! My name is Nathan. I created **Thutus**, a diagonalization of the SKI calculus, and its associated function \(T(n)\). This page describes the system, its rewrite rules, and the lower bounds currently known for \(T(n)\). THUTUS — Function T(n) Thutus is a combinatorial rewriting system whose syntax and expression application follow the SKI calculus. 1. Alphabet For each integer n ≥ 1, the available alphabet is: L₁, L₂, ..., Lₙ. 2. Initial expression...")