送交者: zhangqq 于 2020-05-07, 00:43:02:

回答: 程序/算法是一组有限个数的指令,直觉上它的能力应该是有边界的(无法全能). 由 zhangqq 于 2020-05-07, 00:38:55:

• 输出这个有理数的十进制表示的小数点后第n位。 那么对于无理数，这样的程序有没有？ (无内容) - zhangqq (0 bytes) 2020-05-07, 00:45:30 (860313)
  • 能不能指出存在无理数,为了计算它的小数点第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)

加跟贴