(Intuition) how big is the church-kleene ordinal?

627 Views Asked by At

The church kleene ordinal is defined as the first ordinal that cannot be computed.

But how should we imagine this ordinal? What is the "limit process" that leads to it?

1

There are 1 best solutions below

0
On BEST ANSWER

$\omega_1^{CK}$ is also the first uncomputable ordinal. So if $f(n)$ is the largest ordinal defined by a length $n$ turingmachine. Then $\omega_1^{CK}$ is $$\lim_{n\to\omega} f(n)$$