11
votes
7answers
1k views

What happens when we print the digits of a real number?

Here are two well known facts, which put together leave me confused. First, it's well known that intuitionistic logic is the logic of constructive mathematics. From every intutionistic proof, you ...