4 ms·
When do Collatz-like functions start to show up with lambda calculus programs?
by nickdrozd 5y ago
When do Collatz-like functions start to show up with lambda calculus programs?
- tromp 5y agoPretty late, as it seems to require building up binary arithmetic first. A straightforward collatz step function on binary numbers that I just cobbled together weighs in at 282 bits...