Lý do mà không chương trình nào có thể tính là vì nếu bạn biết là gì thì bạn có thể quyết định vấn đề tạm dừng - bạn sẽ biết khi nào nên dừng chờ đợi. Mặt khác, với mỗi có một chương trình tính cho tất cả - nó chỉ sử dụng một bảng.S ( n ) m S ( n ) n ≤ mS( n )S( n )mS( n )n ≤ m
Nếu có thể chứng minh giá trị của cho tất cả (nghĩa là với tất cả chúng ta có thể chứng minh cho một số ) thì chúng ta có thể tính bằng cách tìm kiếm tất cả bằng chứng (điều này giả định rằng hệ thống bằng chứng của chúng tôi là hợp lệ). Vì vậy, đối với mỗi hệ thống chứng minh, có một giá trị tối thiểu là mà bạn không thể chứng minh rằng cho bất kỳ .n n S ( n ) = α α S ( n ) n S ( n ) = α αS( n )nnS( n) = ααS( n )nS( n ) = αα
Cuối cùng, lý do mà chúng ta biết có lẽ là vì là một con số thực sự nhỏ. Số lớn hơn một chút, và vì vậy mọi thứ trở nên phức tạp hơn. Không có lý do sâu sắc tại sao chúng ta biết chứ không phải , giống như không có lý do sâu sắc tại sao chúng ta biết số Ramsey nhưng không phải (mặc dù số Ramsey tất nhiên có thể tính toán được) .4 5 S ( 4 ) S ( 5 ) R ( 4 ) R ( 5 )S( 4 )45S( 4 )S( 5 )R ( 4 )R(5)