Post #2888332
2026-05-04 15:45 UTC
hm. seems like the number of steps it takes for the (minimized) Hurkens term of Girard's paradox to loop is quadratic in the number of previous iterations
Replies (1)
-
@isidoremohr@types.pl 2026-05-04 15:48
3n^2-2, to be specific, at least if my implementation is correct