On Computable Numbers, with an Application to the Entscheidungsproblem
A. Turing.
Proceedings of the London Mathematical Society 2 (42): 230--265 (1936)

Dokument

http://www.cs.helsinki.fi/u/gionis/cc05/OnComputableNumbers.pdf

Suchen auf

Diese Publikation wurde noch nicht bewertet.

Bewertungsverteilung

Durchschnittliche Benutzerbewertung0,0 von 5.0 auf Grundlage von 0 Rezensionen

Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.

%0 Journal Article
%1 turing1936a
%A Turing, Alan M.
%D 1936
%J Proceedings of the London Mathematical Society
%K computability logic tcs
%N 42
%P 230--265
%T On Computable Numbers, with an Application to the Entscheidungsproblem
%U http://www.cs.helsinki.fi/u/gionis/cc05/OnComputableNumbers.pdf
%V 2
%Z Turing's famous demonstration of the formal limits on computation
	based on a proof that the \em halting problem is undecidable.

PUMA

On Computable Numbers, with an Application to the Entscheidungsproblem
A. Turing.
Proceedings of the London Mathematical Society 2 (42): 230--265 (1936)

Tags

Nutzer

Kommentare und Rezensionen

Zitieren Sie diese Publikation

PUMA

On Computable Numbers, with an Application to the EntscheidungsproblemA. Turing. Proceedings of the London Mathematical Society 2 (42): 230--265 (1936)

Tags

Nutzer

Kommentare und Rezensionen

Zitieren Sie diese Publikation

On Computable Numbers, with an Application to the Entscheidungsproblem
A. Turing.
Proceedings of the London Mathematical Society 2 (42): 230--265 (1936)