1、可数
定义：集合的元素是有限的，或者集合中的所有元素都与正整数一一对应时，这个集合就被定义为可数。
如果元素是无限的，那么实际上也不可能全部数尽。这里说的”可数“的意思是：元素可按一定规律既无”遗漏“也无“重复”地输出来。这种情况在集合的定义中则表达为“与正整数一一对应”。
可数集合的例子：
（1）有限集合是可数的。
（2）0以上的所有偶数的集合是可数的。
（3）所有整数的集合是可数的。
（4）所有有理数的集合是可数的。
（5）程序的集合是可数的。
不可数集合的例子：
（1）所有整数数列的集合是不可数的。
（2）所有实数的集合是不可数的。
（3）所有函数的集合也是不可数的。
2、不可解问题
定义：不可解问题是“原则上不能用程序来解决的问题”。
3、停机问题
定义：判断某程序在给定数据下，是否会在有限时间内结束运行的问题。
