использовалась вышеназванная теорема Эрбрана. Теоремы Эрбрана Архив по истории математики Мактьютор — 1994. Эрбран Жак // Большая советская энциклопедия:...
4 KB (282 words) - 04:56, 3 June 2024
несколько теорем, связанных с именем французского математика Жака Эрбрана: Теорема Эрбрана[англ.] — фундаментальный результат математической логики, связывающий...
1 KB (96 words) - 14:37, 1 June 2017
противоречие. Правило резолюций предложено в 1930 году в докторской диссертации Жака Эрбрана для доказательства теорем в формальных системах первого порядка. Правило...
22 KB (2,036 words) - 01:16, 18 October 2022
исследования осуществляли в первой половине XX века Алан Тьюринг, Эмиль Пост, Жак Эрбран, Курт Гедель, А. А. Марков, Алонзо Чёрч. Было разработано несколько определений...
83 KB (5,287 words) - 11:14, 9 December 2024
частиц и калибровочных теорий Некрасов был награждён в 2004 году премией Жака Эрбрана (фр. Grand Prix Jacques Herbrand) Французской академии наук. За вклад...
13 KB (640 words) - 14:17, 30 August 2024
современной программируемой логики. В 1996 г. Робинсон получил премию имени Жака Эрбрана за выдающийся вклад в развитие автоматизации рассуждений. John Alan Robinson...
4 KB (198 words) - 02:13, 21 October 2024
Высшая нормальная школа (Париж) Научный руководитель Эмиль Пикар Ученики Жак Эрбран Известен как один из создателей дифференциальной теории Галуа Награды...
5 KB (174 words) - 20:59, 3 July 2023
математического общества (2016) Премия за прорыв в математике (2017) Премия Эрбрана[англ.] (2017) Премия Лоэва[англ.] (2017) Приглашённый доклад на Международном...
4 KB (221 words) - 16:59, 11 December 2024
(2008) Доклад на Европейском математическом конгрессе (2008) Гран-при Жака Эрбрана Французской академии наук (2009) Лекции Портера, Университет Райса (2010)...
23 KB (1,212 words) - 15:53, 16 July 2024