Whenever I have an error with my ordinal library, I will post them in the comments.
If you want to see the project yourself, click here and press "edit" to see my new Ordinal Library!
$$\alpha+1= α \cup \begin{Bmatrix} \alpha\end{Bmatrix} $$, but FGH $$f_{\alpha+1}(n) = f^n_{\alpha}(n)$$ There is a clear difference. Do you guys have any ideas to fix it without creating another block so that $$\omega+1 = \omega \cup \begin{Bmatrix}\omega\end{Bmatrix}$$ and $$f_{\omega+1}(n) = f_{\omega}^n(n)$$ without changing the block?
EDIT: I removed the infinite ordinal argument so that i could make the finite ordinals work.
Uhh, using the "is __ successor to __ ?" block, doing "is (Omega block) successor to ((Omega Block)-1)?" brings up false.
"Omega"-1 will return {0,1,2,3,4,5...}
Regular arithmetic won't work with these blocks.
<is (Successor(Omega)) a successor of (Omega)> should return true.
Huh. Interesting.
This topic was automatically closed 30 days after the last reply. New replies are no longer allowed.