mathsandphysics

3 ms·

1. 1.▲
   Do facts exist? A philosophical perspective(medium.com)

   2 points by mathsandphysics 8y ago|1 comments
2. 2.▲
   by mathsandphysics 9y ago

   Thanks for your reply. >The point is that while X (e.g. the real numbers) can be encoded as Y (e.g. Cauchy sequences), this doesn't mean that X is literally Y. In my opinion, a mathematician does not know what the difference between
3. 3.▲
   by mathsandphysics 9y ago

   Well, I wouldn't say type theory is superior. Real numbers can actually be logically constructed as sets. So yes, Pi is a set. For example, you can define the set of real numbers as the set of equivalent classes of rational cauchy sequ