|
-
(10.06.1939 г. - 29.07.1982)
В 1956 году он поступил на математико-механический факультет Ленинградского университета, и со второго курса стал заниматься математической логикой, не изменив ей до конца дней своих. Был блестящим математиком, рано защитил кандидатскую, а затем и докторскую диссертации. Сергей Юрьевич сформулировал на год раньше американцев фундаментальный метод поиска доказательств, являющийся основой исследований по искусственному интеллекту, и развил теорию дедуктивных систем...
: ... |
|