|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 12 gevonden artikelen
| Titel: |
An Algebraic Characterization of the Halting Probability |
| Auteur: |
Chaitin, Gregory |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 79 (2007) nr. 1-2 pagina's 17-23 |
| Jaar: |
2007-09-13 |
| Inhoud: |
Using 1947 work of Post showing that the word problem for semigroups is unsolvable, we explicitly exhibit an algebraic characterization of the bits of the halting probability Ω. Our proof closely follows a 1978 formulation of Post's work by M. Davis. The proof is self-contained and not very complicated. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 12 gevonden artikelen
| << vorige | volgende >> |