Defining definable real numbers is hard (maybe every real number is definable) (shuangrimu.com) 1 points by dwohnitmok 6y ago ↗ HN
0 comments
[ 13.0 ms ] story [ 12.4 ms ] threadNo comments yet.