/sci/ - Science & Math

>>10940306
What do you think of Weihrauchs approach to computable analysis. There's also a nice looking book.

Also, I don't think you can decide upfront if a defined real is computable, so it doesn't look like you can have a total map from N into your reals. That seems like an issue for saying they are the same cardinality.

Btw., since you formulate your answer in terms of cardinalities yourself - do you take any issue with the classical set theory in which other set relations than finite, countable/denumerable/subcountable are formulated in?