In this video: https://www.youtube.com/watch?v=zmhd8clDd_Y&t=1025s (called Five Stages of Accepting Constructive Mathematics)
at exactly 24:09 the lecturer says that it is possible to find a bijection between natural numbers and the real numbers in constructive mathematics. I wonder how one might do so.
Thanks.
The lecturer, Andrej Bauer, has written at length about this issue in a MathOverflow post here.
Another key point is that, in minute 23 of the video, he emphasizes that he is describing things that can happen in some varieties of mathematics. As he says, "there are varieties where ... really bizarre things are permitted".
The term "constructive mathematics" refers to a collection of many different systems, which do not all prove the same facts. The lecture he is giving only lists things that can happen in some varieties of constructive mathematics.