, , , , .
software, American Mathematical Monthly (. John W. Tukey) 1958 .
.
, , 1935 Computable numbers with an application to the Entscheidungsproblem (Decision problem). , () . , , , . , () .
.
:
;
.
:
ü ;
ü .
:
Ø ();
Ø ;
Ø .
:
I. ;
II. ;
III. .
:
A. : , , ;
B. : , () , , .
.
. , , , , -, , , , . , , , , , . , , . , , , , .
|
|
.
firmware , . (, BIOS IBM-PC ) , .
. , .
.
, . (, , ), , ( ). , .