Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Минц Григорий Ефроимович
(1939–2014)
В базах данных Math-Net.Ru
Публикаций: 49
Научных статей: 42
Лекций и докладов: 2

Статистика просмотров:
Эта страница:4172
Страницы публикаций:14069
Полные тексты:7169
Списки литературы:389
доктор физико-математических наук (1988)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 7.06.1939

Научная биография:

Минц, Григорий Ефроимович. О предикатных и операторных вариантах построения теорий конструктивной математики : дис. ... канд. физ.-матем. наук : 01.00.00. - Ленинград, 1964. - 100 с.

Минц, Григорий Ефроимович. Преобразования доказательств и синтез программ : дис. ... докт. физ.-матем. наук : 01.01.06;05.13.11 / ЛГУ им. А. А. Жданова. - Таллин, 1988. - 181 с.

https://www.mathnet.ru/rus/person19145
https://ru.wikipedia.org/wiki/Минц,_Григорий_Ефроимович
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/125280

Публикации в базе данных Math-Net.Ru Цитирования
2008
1. G. Mints, T. Hoshi, “Logical equations in monadic logic”, Зап. научн. сем. ПОМИ, 358 (2008),  251–270  mathnet 1
2004
2. G. Mints, A. A. Kojevnikov, “Intuitionistic frege systems are polynomially equivalent”, Зап. научн. сем. ПОМИ, 316 (2004),  129–146  mathnet  mathscinet  zmath; J. Math. Sci. (N. Y.), 134:5 (2006), 2392–2402 8
1995
3. Г. Е. Минц, “Метод $\varepsilon$-подстановок для исчисления предикатов с равенством”, Зап. научн. сем. ПОМИ, 220 (1995),  93–122  mathnet  mathscinet  zmath; G. E. Mints, “A method of epsilon substitution for the predicate logic with equality”, J. Math. Sci. (New York), 87:1 (1997), 3234–3252 3
1988
4. Г. Е. Минц, “Теорема о нормальной форме для классической логики 2 порядка с аксиомой выбора”, Изв. АН СССР. Сер. матем., 52:3 (1988),  581–600  mathnet  mathscinet  zmath; G. E. Mints, “A normal form theorem for second-order classical logic with an axiom of choice”, Math. USSR-Izv., 32:3 (1989), 587–605 3
1982
5. Г. Е. Минц, Э. Х. Тыугу, “Полнота правил структурного синтеза”, Докл. АН СССР, 263:2 (1982),  291–295  mathnet  mathscinet  zmath
1979
6. Г. Е. Минц, “Примитивно рекурсивная оценка сильной нормализации для исчисления предикатов”, Зап. научн. сем. ЛОМИ, 88 (1979),  131–136  mathnet  mathscinet  zmath; G. E. Mints, “A primitive recursive bound of strong normalization for predicate calculus”, J. Soviet Math., 20:4 (1982), 2334–2336 2
7. Г. Е. Минц, “Новая последовательность редукций для арифметики”, Зап. научн. сем. ЛОМИ, 88 (1979),  106–130  mathnet  mathscinet  zmath; G. E. Mints, “A new reduction sequence for arithmetic”, J. Soviet Math., 20:4 (1982), 2322–2333 2
1977
8. Г. Е. Минц, “Замкнутые категории и теория доказательств”, Зап. научн. сем. ЛОМИ, 68 (1977),  83–114  mathnet  mathscinet  zmath; G. E. Mints, “Closed categories and the theory of proofs”, J. Soviet Math., 15:1 (1981), 45–62 28
1976
9. Г. Е. Минц, “Универсальность канонического дерева”, Докл. АН СССР, 227:4 (1976),  808–811  mathnet  mathscinet  zmath
10. Г. Е. Минц, “Что можно сделать в ПРА”, Зап. научн. сем. ЛОМИ, 60 (1976),  93–102  mathnet  mathscinet  zmath; G. E. Mints, “What can be done with PRA?”, J. Soviet Math., 14:5 (1980), 1487–1492 2
1975
11. Г. Е. Минц, “Теория доказательств (Арифметика и анализ)”, Итоги науки и техн. Сер. Алгебра. Топол. Геом., 13 (1975),  5–49  mathnet  mathscinet  zmath; G. E. Mints, “Proof theory (arithmetic and analysis)”, J. Soviet Math., 7:4 (1977), 501–531 3
12. Г. Е. Минц, “Финитное исследование трансфинитных выводов”, Зап. научн. сем. ЛОМИ, 49 (1975),  67–122  mathnet  mathscinet  zmath 1
13. Г. Е. Минц, “Трансфинитные развертки арифметических формул”, Зап. научн. сем. ЛОМИ, 49 (1975),  51–66  mathnet  mathscinet  zmath
1974
14. Г. Е. Минц, “О $E$-теоремах”, Зап. научн. сем. ЛОМИ, 40 (1974),  110–118  mathnet  mathscinet  zmath
15. Г. Е. Минц, “Гейтинговское исчисление предикатов с эпсилон-символом”, Зап. научн. сем. ЛОМИ, 40 (1974),  101–109  mathnet  mathscinet  zmath
1972
16. Г. Е. Минц, “Сколемовский метод в интуиционистских исчислениях”, Тр. МИАН СССР, 121 (1972),  67–99  mathnet  mathscinet  zmath; G. E. Mints, “The Skolem method in intuitionistic calculi”, Proc. Steklov Inst. Math., 121 (1972), 73–109 1
17. Г. Е. Минц, “Теорема об устранимости сечения для релевантных логик”, Зап. научн. сем. ЛОМИ, 32 (1972),  90–97  mathnet  mathscinet
18. Г. Е. Минц, “Производность допустимых правил”, Зап. научн. сем. ЛОМИ, 32 (1972),  85–89  mathnet  mathscinet 7
1971
19. Г. Е. Минц, “Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики”, Зап. научн. сем. ЛОМИ, 20 (1971),  134–144  mathnet  mathscinet
20. Г. Е. Минц, “Бескванторные и однокванторные системы”, Зап. научн. сем. ЛОМИ, 20 (1971),  115–133  mathnet  mathscinet  zmath 1
1969
21. Г. Е. Минц, “О семантике модальной логики”, Зап. научн. сем. ЛОМИ, 16 (1969),  147–151  mathnet  mathscinet  zmath
22. Г. В. Давыдов, С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Машинный алгорифм установления выводимости на основе обратного метода”, Зап. научн. сем. ЛОМИ, 16 (1969),  8–19  mathnet  mathscinet  zmath
1968
23. Г. Е. Минц, “Разрешимость проблемы выводимости в LJ для класса формул, не содержащих отрицательных вхождений кванторов”, Тр. МИАН СССР, 98 (1968),  121–130  mathnet  mathscinet  zmath; G. E. Mints, “Solvability of the problem of deducibility in LJ for a class of formulas which do not contain negative occurrences of quantors”, Proc. Steklov Inst. Math., 98 (1968), 135–145
24. Г. Е. Минц, “О построении консервативных логических выводов”, Тр. МИАН СССР, 98 (1968),  112–120  mathnet  mathscinet  zmath; G. E. Mints, “The construction of conservative logical inferences”, Proc. Steklov Inst. Math., 98 (1968), 125–134
25. Г. Е. Минц, “О некоторых исчислениях модальной логики”, Тр. МИАН СССР, 98 (1968),  88–111  mathnet  mathscinet  zmath; G. E. Mints, “Some calculi of modal logic”, Proc. Steklov Inst. Math., 98 (1968), 97–124
26. Г. Е. Минц, “Независимость постулатов натуральных исчислений”, Зап. научн. сем. ЛОМИ, 8 (1968),  192–195  mathnet  mathscinet  zmath
27. Г. Е. Минц, “Допустимые и производные правила”, Зап. научн. сем. ЛОМИ, 8 (1968),  189–191  mathnet  mathscinet  zmath 4
28. Г. Е. Минц, “Дизъюнктивная интерпретация исчисления $LJ$”, Зап. научн. сем. ЛОМИ, 8 (1968),  182–188  mathnet  mathscinet  zmath
29. Г. Е. Минц, “Импликативная сложность аксиоматик”, Зап. научн. сем. ЛОМИ, 8 (1968),  175–181  mathnet  mathscinet  zmath
30. Г. Е. Минц, “Свободные от сечения исчисления типа $S5$”, Зап. научн. сем. ЛОМИ, 8 (1968),  166–174  mathnet  mathscinet  zmath
1967
31. Г. Е. Минц, В. П. Оревков, “О погружающих операциях”, Зап. научн. сем. ЛОМИ, 4 (1967),  160–167  mathnet  mathscinet  zmath 1
32. Г. Е. Минц, “Погружающие операции, связанные с "семантикой" С. Крипке”, Зап. научн. сем. ЛОМИ, 4 (1967),  152–159  mathnet  mathscinet  zmath
33. Г. Е. Минц, “Варьирование тактик поиска вывода в секвенциальных исчислениях”, Зап. научн. сем. ЛОМИ, 4 (1967),  134–151  mathnet  mathscinet  zmath
34. Г. Е. Минц, “Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов”, Зап. научн. сем. ЛОМИ, 4 (1967),  123–133  mathnet  mathscinet  zmath
35. Г. Е. Минц, “Подбор термов в кванторных правилах конструктивного исчисления предикатов”, Зап. научн. сем. ЛОМИ, 4 (1967),  112–122  mathnet  mathscinet  zmath
1966
36. Г. Е. Минц, “Теорема Эрбрана для исчисления предикатов с равенством и функциональными символами”, Докл. АН СССР, 169:2 (1966),  273–275  mathnet  mathscinet  zmath
37. Г. Е. Минц, “Сколемовский метод элиминации положительных кванторов в секвенциальных исчислениях”, Докл. АН СССР, 169:1 (1966),  24–27  mathnet  mathscinet  zmath
1965
38. С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, “Неразрешимость в конструктивном исчислении предикатов некоторых классов формул, содержащих только одноместные предикатные переменные”, Докл. АН СССР, 163:2 (1965),  295–297  mathnet  mathscinet  zmath
1964
39. Г. Е. Минц, “О предикатных и операторных вариантах построения теорий конструктивной математики”, Тр. МИАН СССР, 72 (1964),  383–436  mathnet  mathscinet  zmath
1963
40. Г. Е. Минц, В. П. Оревков, “Обобщение теорем В. И. Гливенко и Г. Крейсела на один класс формул исчисления предикатов”, Докл. АН СССР, 152:3 (1963),  553–554  mathnet  mathscinet
1962
41. Г. Е. Минц, “О предикате дифференцируемости и операторе дифференцирования в конструктивном математическом анализе”, Докл. АН СССР, 147:5 (1962),  1032–1034  mathnet  mathscinet  zmath
42. Г. Е. Минц, “Аналог теоремы Эрбрана для конструктивного исчисления предикатов”, Докл. АН СССР, 147:4 (1962),  783–786  mathnet  mathscinet  zmath
2013
43. М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов, “Николай Александрович Шанин (некролог)”, УМН, 68:4(412) (2013),  173–176  mathnet  mathscinet  elib; M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Russian Math. Surveys, 68:4 (2013), 763–767  isi  elib  scopus
44. Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семенов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт, “Михаил Абрамович Тайцлин (1936–2013)”, Сиб. электрон. матем. изв., 10 (2013),  54–65  mathnet
2001
45. М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, А. А. Иванов, Б. Ю. Конев, В. А. Лифшиц, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к восьмидесятилетию со дня рождения)”, УМН, 56:3(339) (2001),  181–184  mathnet  mathscinet  zmath; M. A. Vsemirnov, E. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, A. A. Ivanov, B. Yu. Konev, V. A. Lifshits, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his 80th birthday)”, Russian Math. Surveys, 56:3 (2001), 601–605  isi 1
1990
46. Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к семидесятилетию со дня рождения)”, УМН, 45:1(271) (1990),  205–206  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his seventieth birthday)”, Russian Math. Surveys, 45:1 (1990), 239–240  isi 1
1984
47. Г. В. Давыдов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, А. В. Сочилина, Н. А. Шанин, “Сергей Юрьевич Маслов (некролог)”, УМН, 39:2(236) (1984),  129–130  mathnet  mathscinet; G. V. Davydov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, A. V. Sochilina, N. A. Shanin, “Sergei Yur'evich Maslov (obituary)”, Russian Math. Surveys, 39:2 (1984), 133–135  isi 4
1980
48. С. Ю. Маслов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к шестидесятилетию со дня рождения)”, УМН, 35:2(212) (1980),  241–245  mathnet  mathscinet  zmath; S. Yu. Maslov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his sixtieth birthday)”, Russian Math. Surveys, 35:2 (1980), 277–282  isi 4
1967
49. Г. Е. Минц, “Исправления и дополнения к статье “О предикатных и операторных вариантах построения теорий конструктивной математики””, Тр. МИАН СССР, 93 (1967),  257–258  mathnet  mathscinet  zmath; G. E. Mints, “Corrigenda and addenda to the article “On predicate and operator variants of the formation of the theories of constructive mathematics””, Proc. Steklov Inst. Math., 93 (1967), 327–329

Доклады и лекции в базе данных Math-Net.Ru
1. Hard Analysis: new life of old ideas
G. Mints
Mathematics - XXI century. PDMI 70th anniversary
15 сентября 2010 г. 11:20   
2. New trends in foundations of mathematics
G. Mints
Международная междисциплинарная конференция «Философия, математика, лингвистика: аспекты взаимодействия»
20 ноября 2009 г. 11:00   

Книги в базе данных Math-Net.Ru
  1. Теоретические применения методов математической логики. II, Зап. научн. сем. ЛОМИ, 68, ред. Г. Е. Минц, В. П. Оревков, 1977, 150 с.
    http://mi.mathnet.ru/book502
  2. Теоретические применения методов математической логики. I, Зап. научн. сем. ЛОМИ, 49, ред. С. Ю. Маслов, Г. Е. Минц, 1975, 180 с.
    http://mi.mathnet.ru/book581

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024