Минц, Григорий Ефроимович

В Википедии есть статьи о других людях с такой фамилией, см. Минц.
Григорий Ефроимович Минц
Дата рождения 7 июня 1939(1939-06-07)[1]
Место рождения
Дата смерти 29 мая 2014(2014-05-29)[1] (74 года)
Место смерти
Страна
Род деятельности философ, специалист в области информатики, математик, преподаватель университета
Научная сфера аналитическая философия[2], математика[2], математическая логика[2], информатика[вд][2] и кибернетика[2]
Место работы
Альма-матер
Учёная степень д.ф.-м.н.
Научный руководитель Шанин, Николай Александрович[3]
Сайт grishamints.net

Григорий Ефроимович (Ефимович) Минц (7 июня 1939[1], Ленинград — 29 мая 2014[1], Пало-Алто, Калифорния) — советский и американский учёный в области прикладной математики и логики. Иностранный член Эстонской академии наук (2008).

Биография

Окончил Ленинградский государственный университет (1961). Диссертацию кандидата физико-математических наук защитил в 1965 году под руководством Н. А. Шанина[4].

Сотрудник Ленинградского отделения Математического института имени В. А. Стеклова (ЛОМИ).

С 1980 года жил и работал в Таллине, научный сотрудник Института кибернетики АН Эстонской ССР[5].

Доктор физико-математических наук, тема диссертации «Преобразования доказательств и синтез программ» (1988)[6].

С 1991 года — профессор отделения философии Стенфордского университета.

Автор трудов по логике и философии математики.

Библиография

Научные статьи

  • Минц Г. Е. Независимость постулатов натуральных исчислений // Записки научных семинаров ПОМИ. – 1968. – Т. 8. – С. 192-195.

Примечания

  1. ↑ 1 2 3 4 Grigori E. Mints // http://catalogo.pusc.it/auth/53888
  2. ↑ 1 2 3 4 5 Minc, Grigorij Jefimovič // Чешская национальная авторитетная база данных
  3. ↑ Mathematics Genealogy Project (англ.) — 1997.
  4. ↑ Каталог РНБ. Дата обращения: 21 июля 2020. Архивировано 22 июля 2020 года.
  5. ↑ О работах по системному математическому обеспечению в странах советской Балтии (1960—1990). Дата обращения: 21 июля 2020. Архивировано 21 июля 2020 года.
  6. ↑ Каталог РГБ. Дата обращения: 21 июля 2020. Архивировано 22 июля 2020 года.

Ссылки

Read other articles:

Elson Ferreira de Souza

Elson Ferreira de Souza Elsino di akhir Tamagawa Clasico - pertandingan antara FC Tokyo dan Kawasaki Frontale - dimainkan di Ajinomoto Stadium 16 April 2016Informasi pribadiNama lengkap Elson Ferreira de SouzaTanggal lahir 30 Oktober 1989 (umur 34)Tempat lahir BrasilPosisi bermain BekKarier senior*Tahun Tim Tampil (Gol)2015– Kawasaki Frontale * Penampilan dan gol di klub senior hanya dihitung dari liga domestik Elson Ferreira de Souza (lahir 30 Oktober 1989) adalah pemain sepak bola a...

 

The Edge (Malaysia)

Business newspaper in Malaysia This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article contains weasel words: vague phrasing that often accompanies biased or unverifiable information. Such statements should be clarified or removed. (June 2016) This article contains content that is written like an advertisement. Please help improve it by removing promotional content and inappropriate ...

 

Spencer Perceval

Spencer Perceval Perdana Menteri Britania RayaMasa jabatan4 Oktober 1809 – 11 Mei 1812Penguasa monarkiGeorge III (dan Pangeran Bupati) PendahuluThe Duke of PortlandPenggantiThe Earl of LiverpoolMenteri Keuangan Britania RayaMasa jabatan26 Maret 1807 – 11 Mei 1812Penguasa monarkiGeorge III (dan Pangeran Bupati) PendahuluLord Henry PettyPenggantiNicholas Vansittart Informasi pribadiLahir(1762-11-01)1 November 1762Bujur Sangkar Audley, LondonMeninggal11 Mei 1812(1812-05-11)...

Sede Rai di Campobasso

Sede Rai di CampobassoLocalizzazioneStato Italia RegioneMolise LocalitàCampobasso IndirizzoContrada Colle delle Api Coordinate41°35′22.07″N 14°39′37.81″E / 41.589463°N 14.660503°E41.589463; 14.660503Coordinate: 41°35′22.07″N 14°39′37.81″E / 41.589463°N 14.660503°E41.589463; 14.660503 Informazioni generaliCondizioniIn uso CostruzioneAnni duemila Inaugurazione2010 UsoSede regionale della Rai RealizzazioneProprietarioRai Modifica dati...

 

Plumbagin

Plumbagin Nama Nama IUPAC 5-hidroksi-2-metil-naftalena-1,4-dion Penanda Nomor CAS 481-42-5 Model 3D (JSmol) Gambar interaktif 3DMet {{{3DMet}}} Nomor EC Nomor RTECS {{{value}}} CompTox Dashboard (EPA) DTXSID8075413 SMILES CC1=CC(=O)C2=C(C1=O)C=CC=C2O Sifat Rumus kimia C11H8O3 Massa molar 188,17942 g/mol Kecuali dinyatakan lain, data di atas berlaku pada suhu dan tekanan standar (25 °C [77 °F], 100 kPa). Referensi Plumbagin (5-Hidroksi-2-metil-1,4-naftokuin...

 

Rudolf Miethig

German World War II flying ace (1921–1943) Rudolf MiethigMiethig as a LeutnantBorn(1921-10-17)17 October 1921ZwickauDied10 June 1943(1943-06-10) (aged 21)near Krymskaja Cause of deathKilled in action Allegiance Nazi GermanyService/branch LuftwaffeYears of service1939–43RankHauptmann (captain)UnitJG 52Commands held3./JG 52Battles/warsSee battles World War II Eastern Front Operation Barbarossa Kuban bridgehead  † AwardsKnight's Cross of the Iron Cross Rud...

45-я артиллерийская бригада большой мощности

45-я артиллерийская Свирская ордена Богдана Хмельницкого бригада большой мощности Годы существования 1993—20092017[1] — н. в. Страна  Россия Подчинение Сухопутные войска Российской Федерации Входит в Московский военный округ Тип артиллерийская бригада Функция арти...

 

Chandelier

ChandelierSingel oleh Siadari album 1000 Forms of FearDirilis17 Maret 2014 (2014-03-17)Direkam2013[1]GenreElectropopDurasi3:36Label Monkey Puzzle RCA Pencipta Sia Furler Jesse Shatkin Produser Greg Kurstin Jesse Shatkin Kronologi singel Sia Battle Cry (2014) Chandelier (2014) Big Girls Cry (2014) Video musikChandelier di YouTube Chandelier adalah lagu oleh penyanyi dan penulis lagu asal Australia, Sia, dari album studio keenamnya, 1000 Forms of Fear (2014). Ditulis oleh Sia ...

 

The Times Herald

American newspaper For newspapers with similar names, see Times-Herald. The Times HeraldTitanic sinking as reported by the paper April 16, 1912.TypeDaily newspaperFormatBroadsheetOwner(s)GannettPublisherTimothy GruberEditorMichael Eckert[1]Headquarters911 Military StreetPort Huron, Michigan 48060United StatesCirculation16,287 Weekday18,103 Saturday26,086 Sunday[2]OCLC number36177739 Websitethetimesherald.com The Times Herald is a daily newspaper in Port Huron, Michigan.[3&...

Terry O'Neill (photographer)

British photographer (1938–2019) Terry O'NeillCBEO'Neill in Oslo, 2016BornTerence Patrick O'Neill(1938-07-30)30 July 1938Romford, Essex, EnglandDied16 November 2019(2019-11-16) (aged 81)London, EnglandOccupationPhotographerSpouses Vera Day ​ ​(m. 1963; div. 1976)​ Faye Dunaway ​ ​(m. 1983; div. 1987)​ Laraine Ashton ​(m. 2001)​ Children3WebsiteOfficial website Te...

 

Championnats d'Europe d'athlétisme 1934

Cet article est une ébauche concernant l’athlétisme et l’Italie. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Championnats d'Europe d'athlétisme 1934 L'entrée du stade Benito-Mussolini de Turin en 1934.Généralités Sport Athlétisme Éditions 1re Lieu(x) Turin Date 7 juin au 9 juin 1934 Participants ? Épreuves 22 Site(s) Stadio comunale de Turin Navigation 1934 • 1938 • 1946 • 1950 �...

 

List of School of Oriental and African Studies people

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: List of School of Oriental and African Studies people – news · newspapers · books · scholar · JSTOR (October 2012) (Learn how and when to remove this message) This is a list of School of Oriental and African Studies people, including alumni, former and current...

1st Cavalry Division "Eugenio di Savoia"

WW2 Royal Italian Army unit 1st Cavalry Division Eugenio di Savoia1st Cavalry Division Eugenio di Savoia insigniaActive1930–1943Country Kingdom of ItalyBranch Royal Italian ArmyTypeCavalrySizeDivisionPart ofXI CorpsGarrison/HQUdineEngagementsWorld War IIYugoslaviaCommandersNotablecommandersFederico Ferrari OrsiInsigniaIdentificationsymbol Eugenio di Savoia gorget patchesMilitary unit The 1st Cavalry Division Eugenio di Savoia (Italian: 1ª Divisione celere Eugenio di Savoia) ...

 

FIM eRoad Racing World Cup

For the FIM MotoE World Cup scheduled for 2019, see MotoE World Cup. FIM eRoadRacing World CupCategoryelectric motorcycleCountryInternationalFolded2013Last Riders' championHo Chi Fung (Europe) Eric Bostrom (N. America)Official websiteeRoadRacing.com The FIM eRoad Racing World Cup was a championship of electric motorcycle road racing, organised by the Fédération Internationale de Motocyclisme (FIM) and was only held in this form in 2013. It followed the unification of the former TTXGP series...

 

Attlee ministry

UK government, 1945–1951 This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (November 2017) (Learn how and when to remove this message) Attlee ministriesCabinet of the United Kingdom1945–19501950–1951Attlee (1950)Date formedFirst: 26 July 1945 (1945-07-26)Second: 23 February 1950 (1950-02-23)Date dissolvedFirst: 23 Februar...

(4) Vesta

Pour les articles homonymes, voir Vesta (homonymie). (4) Vesta Vesta, vu par Dawn en orbite.Caractéristiques orbitalesÉpoque 10 avril 2007(JJ 2454200.5)[1]Établi sur 9 451 observ. couvrant 25743 jours (U = 0) Demi-grand axe (a) 353 343 894 km[1](2,361 956 ua) Périhélie (q) 321 767 047 km(2,150 878 ua) Aphélie (Q) 384 920 740 km[1](2,573 034 ua) Excentricité (e) 0,089 366[1] Période de révolution (Prév) 1 325,886 ...

 

Mathur Shiva Temple

Shiva temple in Kerala, India Mathur Shiva TempleMathoor Mahadeva TempleReligionAffiliationHinduismDistrictThrissurDeityShivaFestivalsMaha ShivaratriLocationLocationKunnamkulamStateKeralaCountry IndiaMathoor Mahadeva Temple, Kunnamkulam, Thrissur, KeralaGeographic coordinates10°40′29″N 76°06′55″E / 10.6748°N 76.1153°E / 10.6748; 76.1153ArchitectureTypeArchitecture of KeralaSpecificationsTemple(s)OneElevation38.24 m (125 ft) Mathur Shiva Templ...

 

Alex Sandro

Alex Sandro Informasi pribadiNama lengkap Alex Sandro Lobo da SilvaTanggal lahir 26 Januari 1991 (umur 33)Tempat lahir Catanduva, São Paulo, BrazilTinggi 1,78 m (5 ft 10 in)Posisi bermain Left WingbackInformasi klubKlub saat ini JuventusNomor 12Karier junior2006–2008 Atletico ParananenseKarier senior*Tahun Tim Tampil (Gol)2008–2010 Atletico Paranaense 17 (1)2010–2011 Santos 31 (1)2011–2015 Porto 86 (5)2015- Juventus 205 (13)Tim nasional‡2011 Brazil U20 11 (0)20...

University of Bern

University in the Swiss capital of Bern University of BernUniversität BernLatin: Universitas BernensisTypePublic (cantonal)Established1834; 190 years ago (1834)BudgetCHF 939 million (third-party funds: CHF 367 million)[1]RectorChristian Leumann[2]Academic staff529 professorsAdministrative staff1,874[3]Students19,297 (female enrollment: 59%)[4]AddressHochschulstrasse 6, Bern, Canton of Bern, 3012, SwitzerlandCampusUrbanColours  White ...

 

Xi Shengmo

Chinese Christian leader In this Chinese name, the family name is Xi. Xi ShengmoBornc. 1836Shanxi, ChinaDied19 February 1896Shanxi, China Xi Shengmo (Chinese: 席勝魔; Wade–Giles: Hsi Shêng-mo; c. 1836–1896) also known as Pastor Hsi, was a Chinese Christian leader. Life He was born Xi Zizhi in a village near Linfen, became a Confucian scholar, and, after his conversion to Christianity, changed his given name to Shengmo or Conqueror of Demons. Having been an opium addict him...