送交者: zhangqq 于 2020-05-07, 00:45:30:

回答: 我们尝试讨论它的一种边界.对有理数,理论上可以写一个程序,输入有理数p/q以及位数n 由 zhangqq 于 2020-05-07, 00:43:02:

• 能不能指出存在无理数,为了计算它的小数点第n位,我们不得不根据具体的n,写不同的程序 (无内容) - zhangqq (0 bytes) 2020-05-07, 00:49:52 (860314)
  • 而不能用一个程序搞定（甚至只对一个无理数）。 (无内容) - zhangqq (0 bytes) 2020-05-07, 00:53:55 (860315)
    • 直觉上我们可以描述一个无理数，不存在单一程序可以算出它的任意第n位。 (无内容) - zhangqq (0 bytes) 2020-05-07, 01:00:33 (860317)
      • 这个容易证，所有程序是可数，无理数不可数，结论 - 邯郸学步 (26 bytes) 2020-05-07, 10:01:16 (860325)
        • 集合论：可计算数集合是可数的，无理数集合不可数 - 邯郸学步 (16 bytes) 2020-05-07, 10:06:50 (860326)
          • 这是对无理数全体而言，如何给出一个具体的无理数，使之无法用单个程序计算 (无内容) - zhangqq (0 bytes) 2020-05-07, 14:18:31 (860337)
      • 如何描述出这个无理数的构造就是我出个斯各特的问题，应该是很简单就有办法的。 (无内容) - zhangqq (0 bytes) 2020-05-07, 01:02:37 (860318)

加跟贴