. XIII (Raymundus Lullius), . « » («Ars magna») . XIX (William Stanley Jevons, 1835-1882 .), (Allan Marquand, 1853-1924 .) , , (1849-1909 .) (1864-1936 .).
1914 “ ”, , « ». . , , …
— .
1864 . . 1885 , - . , . , , , .
1906 « », - . « ».
1909 , . (), - .
1914 — « », . , .. « » (1870 ). , .
1926 1931 () . 20 - ( , , ..).
, . . , « , ».
, . 1919 , « ». , , : « , , … ? , — , , ». , - .
, . , . , . , . 1935 .
« » 1911 , () . — , . .. , « ».
, . « ». , . « » , , .
, :
, . , , . , - , , , . , «» - , , .
« »« » - 1912 . 1914 . « ». 40 , 5 25 . , — , — . 16 () , 4 A. B. C. D. ( ). , ( ).
, , . , , «» . .
: « ; ; ; ». :
— , (, ) , , ;
— , , (, ), , ;
— , , (, ) .
A=AB, B=BC, A=ABC A=1/p B 2, B=1/t C 3, A=1/p 1/t C.
: « » « ». : « », : «, — » «, — ».
« ?»
, « » . — , , , .
, «». , .. . , , , , .
- .. . « », « », . « ». , , «» . , , .
, . « » , . 20- .
40 , . (Alan Mathison Turing),
“ ?”.
(1912-1954 .)« » , — .
. , - , .
— « »., , . , « », , .