���������� ������ ���������� �. �. ���������� - �������
   
   
   
      ... -  

[i]

()

:
, ,

, .

, 1:11

1. [ii] .. [1] . .. , , , . , - . , , , , , . . .. , , . , , , .

" ", . , , , , , , , . - .. , , . , the Journal of Symbolic Logic , , .. , , , .. , .. , .. ... .. , , [iii].

2. 60 61 , - . " " . (- 12 16 ), , , .. , .. , .. [iv], .. , .. , .. , .. , .. , .. , .. ...

1959 , -, , .. , . , .. , .. , .. , .. ...

- , , ( ) , , . , , .. [2-4]. , , , -, , , . " " (, - ; . ). - : " ,/ .../ ,/ - ". . - . , .. : " ..." , ... , , .. . , . . , , , .

, . . ( , 1961 .) , . . "" , , , [v]. : , . " ?!" - . ... , , , . , . , , , : " , ". ...

, , , , . , , , . , , . .

.. . , - , , . , , .. , , , . , , . , .. .

- ?

- - . - .

- , ?

- , . - .

- , ?

- , -.- ...

, , , ...

. - .. , , . , . , , .. . , .. . , , , , ...

, . , - : .

- - , , , - [vi].

, , . - "" . , .. : ", ?" 13 -, . " , , " - ..

.. , 1924 . ( , ), , . " " ( ), , , - . ".." , , .. .. " ".

.. , . , , "" ( , ) (, ). , 60- .. , , , , . . , , -, - -. .. , . .. , : " , , ..." .. . . , , .. . , , - , .. , , . , , , , , : [vii] .

-, .. . - , . " " .. - . , . , - . . , - , . ( , , [3]). , . , , .., .. .

, .. . ; . , [viii]. .. , , , . , , . .. , , [ix] , . .., . : , , , , ͸... , .. , ø, , 20- . .. - , ., ø. .. , , , . , .., . , , , .. . , ø . . ͸, . ", , , " ͸, . , 7 .. ( ͸) . , - , , .., , , , , ... .. , . "! !"

. . , , , . . .. , . , . ", , . , " - .. .

.. 70- - . , . , .. " ". , , . , , [x], , , .. ( ), , .. , , , .. . , , . , , , .., . , . - ? ...

, [xi]. . , .. . , .

, , X, , , " ". .. . , , . .

- - .. - , X " ", , , , , X.

X !

, : " , , , , "", "" - ..." , . , , , , , ... , , , , , , , "" , ...

3. .. . 1966 1967 . . , . .. . : " ?!". , (, , ), .. .

- , : " , !" " , ". . , . - ! - .. ( 16 !) - !

, 25 , , , . . , , . , ( ) . , , , . - , : . , ... - , . , .

60- .. . , , .., - , : " , - , - , !" , : " ?" , ... , , .

- , , ! - , - ? ?!

"" , . , , .. , 1984 [xii] . , , , , , . , .. , , , , - . .. . - , . , .

.. . ( ) . 11 , .. 11.40. , .. , ... ! , , , , .. ... , ? , .. , , : " !" . . , .. ! .. , , . : , . , , , , ... " ", , . .. . " . .. 40 . 11, , 11 .. !"

, .. , . -

- ! -

- ? ! - .

- , , , - ! - ..

.. . . , , . () - 1969 ( " "). , , , , , ... " ". . , , . , (I. Rosenberg), . , , "" . , .. , - . , , , , . . . . .. , . - , . .. . , ! .. , , , .

- , . . . . . . , , . [xiii] : ", !" ! - .. ... - ...!

.., , .

4. 1961 1962 , -, (.[5]), . , ( .. .. ). [6-7], .. . [8] , ( , , , . ). (1925 1932 , [9-10]) , . [1]. , 1925 . 22- , . : , , , . , , , , . . ( ) , 1937 ( ). , . , . , . 1933 . ø. , . , . . . . , 22- ( ) , : [xiv].

.. .. , , 1979

. -, , .. . -, : , , , . , . , ( ) . , , , . ( ) , , , , , . , , .

1974 .. [xv] . ([11]) . , , ...

, , . , . , . , ! , , 20- (. [8]). .. , 1926 , . , , , , .. , . - , , (. [12]). . , , , . , . , , . , , , , , " ", . , .. . , , , , , , , , , , , , , .. , " , ", " , " .. .., ( ) ( !) [xvi]. , : "... , " [xvii]. ( "" ). , , , , , . - , , . , , , .. (, ) , ...

, 20- . , , , , . , , , . , 50 . , , , .

[10]. , [9], , . , . , - , , , , , , . , ( , , , , , ). , .. , . , . , , . , "-" , , , .

, , . , , , . . , ? , , , , ( ), (). , . , . . , . : , . - "", "" . , , ( , , ), , .

, . . . . , , , , . . [13] " --". ([14-15]). . . , , , 30- . , . , , . .. ( ) , . , , .

1925 , . -, , [16]. , , [10].

- . , . , . , , . , , - , [xviii].

5. . , .. .. . , , - . , , -. , .. . - , ( ), . ( , , ..) ( ׸, , ..), - . , , . , ׸ (. [20]).

" ", 1953/1954 . - [xix]. ( , .. .) , .. .

.. - . .. . , , . , 60- , . , .

, . . 60- , . .. , . .., -, , .. . , , . , .

, , - . , , . , , , . , .. , , , , , . .. , , , . . , - , , .

- , , ? - , - , ! - , , ,

- , !

.. .

- , ! - .

. .. , .. , , .. ( , - ). .. . , , , ! , , ...

.. . . . , , . .. , , , . .., . .. ( ) . , , .. . , , , , .

, ( ) , . , . - , , - . ( ), . , , , , 1/3 ( - ). , , , . , , . , . , .. . 70- . , , , , .

. - " ". : " , , - ".

.. . 60- .. . , . , - " ". , , . , . , 1948 ( - , , !). , "--" ( ) , . , , ... , , , . , , , , -, ( , - - , , , ..)

.. , - . - - , . . , .

- - , - ... , , . , - ...

...

. - , . 1972 - . , , [5]. , .. . 1979 .. , " ", . - , . , , , .. , .. , .. . , , [xx]... .

6. 60- . , . , , , . . , . , . , , , , . .. , , .. .

60- [xxi], . .. 1962-1964 [22-23] . , . . , , n M. , . P Pk - , M , k. k , . , k, P .

. , 60- . , - , .. .. . .. . , , . .

- , , . ... - .

, .

. , . ( ). [xxii], , , .. . , 1971 " " ( ). , : , .. !

7. 1987 .. . , , . , , - , ... , . , , : . . . - . , , . .. .. , , .. , . , 87- . .

1. Uspensky V.A. Kolmogorov and Mathematical Logic. The Journal of Symbolic Logic, v. 57, No 2, 385-412, 1992.

2. .. . , . 22, No. 1, 137-161, 1967.

3. .. . , . 22, No. 2, 199-239, 1967.

4. .. . , . 22, No. 4, 199-239, 1967.

5. .. . , 1, 70-81, 1992.

6. . . (. ) , 1934.

7. . , .-., , 1936.

8. .. .. . . 1990.

9. .. "tertium non datur", , .32, 646-667, 1924/1925.

10. .. Zur Deutung der intuitionistischen Logic. Mathematische Zeitschrift, v. 35, 58-65, 1932.

11. .. , .. . . , .15, 488, 1974.

12. Borel E. Lecons sur theorie des fonctions, 3rd ed., Gauthier-Villars, Paris, 1928.

13. Dalen D. van, Troelstra A. S. Constructivity in Mathematics. An Introduction. Vol.1-2, North-Holland, Amsterdam-New York-Oxford-Tokyo, 1988.

14. Troelstra A.S. On the Early History of Intuitionistic Logic.In P.Petkov, Ed. Mathematical Logic, 3-17, Plenum Press, New York-London, 1990.

15. .. . , .43, No.6, 75-77, 1988.

16. Kleene S.C. On the interpretation of intuitionistic number theory. Journal of Symbolic Logic, v.10, 109-124, 1945.

17. Heijenort J. van.(Ed.) from Frege to Goedel: a source-book in mathematical logic, 1879-1931, Harvard University Press, Cambridge, Massachusetts, 1967.

18. .. On the consistency of certain logical calculus. , . 12 (54), 231-261, 1943.

19. Feferman A.B. Politics, Logic, and Love. The Life of Jean van Heijenoort. Jones and Bartlett Publ., Boston-London, 1993.

20. Mendelson E. Second Thoughts about Church's Thesis and Mathematical Proofs. The Journal of Philosophy, v.87 No.5, 225-233, 1990.

21. .. . 1967.

22. .. , . , . 157 No. 2, 262-264, 1964.

23. .. , . , . ., .31, No. 1, 161-208, 1967.

1- : 1993 .

2- : 2004 .



[i] - , , 1 (36), 2, , 1996, . 165 - 191. : Memories of Mech.-Math in the Sixties, Modern Logic, Vol. 46 No. 2, April 1994, Ames, Iowa, pp. 165 - 195 (. 2004 .).

[ii] 1993 . (. 2004 .).

[iii] " ", - .. , , , 1993. . . (", ", . 280 - 384. " ", , ., 2002. (. 2004 .).

[iv] .. "", , , 18 (329) - 21, (332), 2003 (. 2004 .).

[v] 1995 . , . 20 1961 ., . , . . . , . . " " . ( "") : " , , (! - ..), , , . " (" ", , 166 (933), 2 1994 .). , , (, , ). , , . . , . , , ( " " ) (. 2004 .).

[vi] . , , . , , . . 1.5-2 . , , 16 ( , 16 ). . . , - , , . , . . , . , . , , . : ", -, - -, 16 , .; ". . . : " ; , ". , . perpetuum mobile. , , , , , . " ", ( ), .

[vii] . ( ).

[viii] , , , .. , .. .. ..

[ix] .. , , . , .. .

[x] . , . . 80- .

[xi] , , , , , , , . .

[xii] .. 28 1926 24 1984 .

[xiii] .. (1896 - 1966), . . [3]. . , - . .. . 1966 . , , , ... 25 . (. Boris A. Kushner, Sof'ja Aleksandrovna Janovskaja: a few reminiscences, Modern Logic, vol.6, no.1, 67-72, January 1996. , .4, . 119-123, , 1996 ( " ") 14 (273), Baltimore, July 3, 44-46, 2001 ( " ") - . 2004 .).

[xiv] , .

[xv] , (10 1941 . - 18 1998.) .. . . A. Troelstra http://staff.science.uva.nl/~anne/dragalin.html, : S. Artemov, B. Kushner, G. Mints, E. Nogina, and A. Troelstra, In Memoriam: Albert G. Dragalin, The Bulletin of Symbolic Logic, vol 5, No.3, 389-391,1999 (. 2004 .).

[xvi] .. . "" .

[xvii] . , , (. 2004 .).

[xviii] . , , . -, , -, -. -, 32- -, 25- (1967 .) [17]. , .. [18], 1943 -. - () . , , .

25- , ( , . , Jean van Heijenoort papers, 1946-1983, Archives of American Mathematics, University Archives, University of Texas at Austin).

234 Professor John van Heijenoort

100 Washington Square

. . 10 New York 3 N.Y. USA

..

!

, 1925 , , . , , .

12 1963 .

[19].

[xix] ( - ..).

[xx] .. . . , , "" . , , .. , . . , .. , , , . , , . .. . , , . , , , . , . .. . , , .

[xxi] 50- .. .. . .. [21].

[xxii] , .. : ", ˸ . , , : " - , , " !"" . , . , : " ?" - " " -.

: " "

  -  . . . .  Rambler's Top100
- . .. ©