Жак Ригует - Jacques Riguet

Жак Ригует (1921 - 2013 ж. 20 қазан) - өзінің үлесімен танымал француз математигі алгебралық логика және категория теориясы. Сәйкес Гюнтер Шмидт және Томас Строхлейн »Альфред Тарски және Жак Ригу заманауи «қатынастар есебін» құрды.[1]

Мансап

Ригует өзінің лицейінде геометриялық пайымдаудың күшіне таңданды. Ол оқыды Луи Кутурат және Бурбаки, кім логикаға үлес қосты және жиынтық теориясы.[2]Ригует жоғары математиканы оқыды Альберт Шетелет және таныстырылды торлар. 1948 жылы ол «Қарым-қатынастар, еріксіздіктер, Галуа корреспонденциялары» атты мақаланы жариялады.[3] есебін қайта жандандырды екілік қатынастар.

Ол өзінің тезистерін жариялады «Байланыстар туралы» теориялық қорлар 1951 жылы қазан айында. 1954 жылы Ригует а Халықаралық математиктердің конгресінде пленарлық сөз сөйлеу Амстердамда алгебра мен машина теориясына екілік қатынастарды қолдану туралы сөз сөйледі. Біраз уақыт Ригует семинариясына қатысты Жак Лакан.

Ригует жұмысқа орналасты National de la recherche Scientificifique орталығы 1957 жылға дейін.[2]

Қарым-қатынастар

Ригеттің жұмысында қатынастардың құрамы логикалық тұжырымдамаларды қолданатын элементтер сипаттамаларын ауыстыра отырып, қатынастарды сипаттауға негіз болады. Мысалы, ол сипаттады Шредер ережелері. Оның жұмысы шолылды Символикалық логика журналы арқылы Øистейн кені.[4]

Riguet-тің кейбір үлестерін құрылымын пайдаланып сипаттауға болады логикалық матрица қатынаспен байланысты. Егер сен және v логикалық векторлар, содан кейін олардың логикалық сыртқы өнім байланысты логикалық матрица шығарады Ригует байланысты қатынасты а деп атайды тікбұрышты қатынас, егер ол симметриялы болса, ол а болады шаршы қатынас.[5]

1950 жылы ол «Sur les ansambles reguliers de Relations binaires»,[6] және туралы мақала дифункционалды логикалық матрицасы бар қатынастар қиғаш блок форма.[7]Келесі жылы ол алгебралық сипаттама берді гетерогенді қатынастар а-мен салыстыруға болатын логикалық матрицамен Ferrers диаграммасы.[8] Ferrers диаграммалары тапсырыс береді бөлім бүтін саннан, Ригует тәртіп теориясын бір жиынға шектелген қатынастардан тыс кеңейтті.

1954 жылы Ригует екілік қатынастар есептемесінің -дің есебіне дейін кеңеюін сипаттады Буль матрицалары.[9][10]

Санаттар теориясы

1958 жылы Ригует Цюрихке жұмыс істей бастады IBM , зерттеу категория теориясы. Ол осы тақырыпта келесі мақалаларын жариялады:

  • 1962 ж.: «Бағдарламалау және теориялық категориялар», in Символдық тілдер және деректерді өңдеу жөніндегі симпозиум материалдары, Рим (1961), 88-98 бб, Гордон және бұзу
  • 1973 ж. «Санаттар мен ықтималдықтар туралы шешім» (Amiens colloquium) Cahiers de Topologie et Géométrie Différentielle Catégoriques 14(2)
  • 1975 жыл: «Grundy de jeux et funciones de feoriones de la teorie des kateqoriyalar» (TAC-Chantilly) Cahiers de Topologie et Géométrie Différentielle Catégoriques 16(4) : 441
  • 1989 ж.: «Каталогия теориясындағы Галуа сәйкестілігі», Гессельберг-Комбинаторика
  • 1992: (Рене Гитартпен бірге) Enjoyppe Karoubienne et Kateisli de Kleisli, Cahiers de Topologie et Géométrie Différentielle Catégoriques 33 (3): 261-6, Numdam.org арқылы

Ригует «Итальяндық дес-категориялар» семинарына қатысты.[11]

Әдебиеттер тізімі

  1. ^ Шмидт, Гюнтер; Ströhlein, Thomas (6 желтоқсан 2012). Қатынастар мен графиктер: Информатиктерге арналған дискретті математика. Springer Science & Business Media. б. 277. ISBN  978-3-642-77968-8.
  2. ^ а б Стефан Дуговсон және басқалар Хоммедж Жак Ригует кезінде Google сайттары
  3. ^ Францияның Mathématique бюллетені 76: 114–55
  4. ^ Символикалық логика журналы 16(1): 61
  5. ^ Гюнтер Шмидт (2013). Реляциялық математика. Кембридж университетінің баспасы. б. 95. дои:10.1017 / CBO9780511778810. ISBN  9780511778810.
  6. ^ Comptes Rendus 231: 936,7
  7. ^ Дж. Ригует (1950) «Quelques proprietes des Relations difonctionelles», Comptes Rendus 230: 1999–2000
  8. ^ «Les Relations de Ferrers», Comptes Rendus 232: 1729,30
  9. ^ Дж. Ригует (1954) «Sur l’extension du calcul du Relations binaries au calcul des matrices du algebra de Bool complete», Comptes Rendus 238: 2382–5
  10. ^ Ролан Фрейз (1956) Ригуеттің қатынастар есептеуін кеңейтуіне шолу, Символикалық логика журналы 21 (4): 397,8 арқылы Евклид жобасы
  11. ^ Séminaire Itinérant des Catégories (16 қараша 2013) Жак Ригуеттің Hommage du SIC компаниясы