Profile cover photo
Profile photo
Paulo Oliva

Post has attachment
Replacing ordinal recursion with primitive recursion
Ordinal numbers are used to order things, no surprise there. What can be surprising for some is that logicians consider ordinals that go beyond the daily 1st, 2nd,... The ordinal \( \omega \) denotes the position right after all "normal" positions 1st, 2nd,...
Add a comment...

Post has attachment
IV EECS Programming Competition
View album
Add a comment...
Wait while more posts are being loaded