As well as ordinals and cardinals, Eliezer’s construction also needs concepts from the areas of computability and formal logic. A good book to get introduced to these areas is Boolos’ “Computability and Logic”.
Thank you!
As well as ordinals and cardinals, Eliezer’s construction also needs concepts from the areas of computability and formal logic. A good book to get introduced to these areas is Boolos’ “Computability and Logic”.
Thank you!