↧
Answer by Andrej Bauer for From a constructive perspective, what are the...
The ordinals in constructive mathematics are not as well-behaved as in classical mathematics. For example, if they are linearly ordered the excluded middle holds. There are appropriate substitutes,...
View ArticleFrom a constructive perspective, what are the ordinal numbers?
From a constructive and computational perspective, what are the ordinal numbers?On the one hand, it seems you can represent ordinal numbers symbolically using something like Cantor Normal Form...
View Article
More Pages to Explore .....