Church-Kleene ordinal: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

25 March 2024

16 March 2024

30 September 2023

30 August 2023

  • curprev 20:2420:24, 30 August 2023‎ RhubarbJayde talk contribs‎ 3,898 bytes +21‎ No edit summary undo Tag: Visual edit
  • curprev 12:0812:08, 30 August 2023‎ RhubarbJayde talk contribs‎ 3,877 bytes +3,877‎ Created page with "<nowiki>The Church-Kleene ordinal, commonly denoted \( \omega_1^{\mathrm{CK}} \) or \( \omega_1^{ck} \) is defined as the supremum of all "recursive ordinals". A recursive ordinal is the order-type of a well-order on the natural numbers which can be computed by a Turing machine. Note that all countable ordinals are the order-type of a well-order on the natural numbers, but there are only countably many Turing machines, and uncountably many countable ordinals, meaning the..." Tag: Visual edit
Retrieved from "https://apeirology.com/wiki/Church-Kleene_ordinal"