Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

An Algebraic Characterization of the Halting Probability

Szczegóły
Abstrakt

Tytuł:: An Algebraic Characterization of the Halting Probability
Autorzy:: Chaitin, G.
Data publikacji:: 2007
Słowa kluczowe:: halting probability
word problem
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

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 W. Our proof closely follows a 1978 formulation of Post's work by M. Davis. The proof is self-contained and not very complicated.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

An Algebraic Characterization of the Halting Probability