Джузеппе Лонго
Джузеппе Лонго | |
|---|---|
| Рожденный | 23 июля 1947 г. |
| Национальность | итальянский |
| Род занятий | Математик , эпистемолог , биолог-теоретик , автор и академик. |
| Награды | Национальная премия молодым математикам Unione Matematica Italiana. |
| Академическое образование | |
| Образование | Доктор математики |
| Альма-матер | Пизанский университет |
| Диссертация | Вычислительная сложность рекурсивных функций. (1971) |
| Академическая работа | |
| Учреждения | Центр Кавайлес, Республика Знаний Национальный центр научных исследований (CNRS) и Высшая нормальная школа (ENS), Париж , Франция |
Джузеппе Лонго — итальянский математик , эпистемолог , биолог-теоретик , писатель и академик. директором по исследованиям Он является почетным в Национального центра научных исследований междисциплинарном центре Кавайлес Высшей нормальной школы (ENS) в Париже . [ 1 ]
Лонго проводил исследования в области математики (с упором на вычислительную математику) и ее связи с биологией , информатикой и физикой . Он является автором или соавтором пяти книг под названием « Le cauchemar de Prométhée». Les Sciences et Leurs Limites (2023), Matematica e senso. Per non divenir machine (2022), Перспективы организмов: биологическое время, симметрии и особенности с М. Монтевилем (2014), [ 2 ] Математика и естественные науки. Физическая сингулярность жизни с Ф. Байи (2011), [ 3 ] и Категории, Типы и Структуры. Теория категорий для работающего ученого-компьютерщика с А. Асперти (1991). [ 4 ] Он опубликовал более 100 рецензируемых статей.
Лонго является членом Европейской академии . [ 5 ] и был основателем и главным редактором журнала Mathematical Structures in Computer Science с 1990 по 2015 год, [ 6 ] и соучредитель журнала « Анналы математики и философии» . [ 7 ]
Образование
[ редактировать ]Лонго получил степень доктора математики в Пизанском университете в 1971 году, защитив диссертацию на тему «Сложность вычисления рекурсивных функций». Затем он получил трехлетнюю докторскую стипендию (специализацию) по «Логике и вычислимости». [ 1 ]
Карьера
[ редактировать ]После получения университетского образования в Пизе Лонго начал свою академическую карьеру в качестве доцента кафедры прикладной математики в 1973 году, затем доцента кафедры математической логики в 1981 году и профессора компьютерных наук в Пизанском университете в 1987 году. назначения в качестве молодого исследователя в Калифорнийском университете в Беркли в 1980 году и Массачусетском технологическом институте в 1981 году, затем в качестве приглашенного профессора в Университете Карнеги-Меллон в 1987 году и Ecole Normale Supérieure в 1989 году. С 2013 по 2019 год он работал адъюнкт-профессором в медицинской школе Тафтса. Университет в Бостоне, США , а также в качестве научного сотрудника в 2014 году в Institut d'Etudes Avancees, Нант, Франция. [ 8 ]
Лонго занимал должность директора по исследованиям в Национальном центре научных исследований (CNRS) с 1990 по 2012 год, а с 2012 года является почетным директором по исследованиям, всегда являясь филиалом ENS в Париже.
Исследовать
[ редактировать ]В начале своей исследовательской карьеры Лонго сосредоточился на анализе синтаксических и семантических свойств фундаментальных языков функционального программирования, включая лямбда-исчисление и комбинаторную логику . Он интегрировал результаты своих исследований в более широкую структуру, которая исследовала связи между различными математическими теориями, такими как теория рекурсии , теория типов , теория категорий и денотатационная семантика , а также их практическая реализация в функциональных языках. [ 9 ]
Затем он применил междисциплинарный подход для изучения роли физики в биологии, чтобы понять расширенную критичность. [ 10 ] антиэнтропия, [ 11 ] и биологическое время. [ 12 ] Позже его исследования были направлены на эпистемологию теоретической биологии и интерфейсы физики, биологии и вычислений. [ 13 ]
Математика и вычисления
[ редактировать ]Лонго использовал междисциплинарный исследовательский подход для изучения взаимосвязи между несколькими математическими теориями и информатикой, в частности, путем исследования математической семантики языков программирования. [ 14 ] Его исследования способствовали созданию математической основы теории программирования и дали результаты, связанные с синтаксисом и семантикой. В смежных исследованиях он исследовал структурные свойства теоретико-множественных моделей лямбда-исчисления. [ 15 ] и установил новые связи с рекурсией в высших типах. [ 16 ] [ 17 ] Сотрудничая с Э. Моджи, он охарактеризовал наследственные эффективные операции (HEO) и счетные функционалы Клини-Крейзеля. [ 18 ] [ 19 ] В 1986 году вместе с С. Мартини он дополнительно проанализировал вычислимость высших типов и доказал теорему полноты для проверки типов, используя модель, созданную на основе идеи теории рекурсии. [ 20 ]
Исследования Лонго в этой области способствовали разработке технических инструментов полиморфизма. [ 21 ] и подчеркнул связь между концепциями, используемыми в информатике, и математическими структурами, полученными на основе обобщенной рекурсии, теории демонстраций и теории категорий. [ 22 ] В период с 1991 по 1993 год он исследовал специальный полиморфизм и продемонстрировал характеристики «параметричности» систем второго порядка. [ 23 ] [ 24 ] а также развитое расширение классических функциональных систем. [ 25 ] [ 26 ] Кроме того, он предложил новый анализ «уровней инвариантности» доказательств с помощью концепции доказательств-прототипов в рамках теории типов. [ 27 ] который позже был применен для исследования конкретной теоремы о неполноте. [ 28 ]
Познание и математика
[ редактировать ]В 1993 году Лонго внес тематическое изменение в свои исследования и разработал связь когнитивных явлений с основами математического знания. Он исследовал такие понятия, как математическая непрерывность, бесконечность, вычислительные представления. [ 29 ] [ 30 ] а также исследовал значение действия и движения в формировании понимания геометрического пространства. [ 31 ] Его работа позволила лучше понять роль порядка и симметрии в когнитивных основах математики. [ 32 ] Кроме того, он исследовал связь между изобретением перспективы в живописи и ее связью с основами геометрии и концепцией бесконечности в математике. [ 33 ]
Исследования Лонго в этой области послужили отправной точкой для его проекта под названием «Геометрия и познание» . [ 34 ] Он объединил математическую организацию пространства с концепцией причинности в физике и естествознании. [ 35 ] [ 36 ] Вместе с Байи он разработал математическую теорию, направленную на понимание понятий сложности и информации в геометрических структурах и оценивающую геометрию, связанную с различными уровнями организации. [ 37 ] Кроме того, он основал в LIENS команду под названием « Сложность и морфологическая информация» , которая отвечала за такие проекты, как «Физические особенности и эффективная вычислимость». [ 38 ]
Эпистемология и теоретическая биология
[ редактировать ]Лонго исследовал теоретическую биологию в сотрудничестве с биологами и философами биологии. Его работа включает исследование концепции простоты, которая относится к инициированию простых процессов сложными путями. [ 39 ] и исследование связи между случайностью и ростом биологической организации в онтогенезе и эволюции, которое породило понятие антиэнтропии после статьи 2009 года с Байи. [ 40 ] Кроме того, он представил концепции дифференциальной причинности и возможности понять причинность в биологии и утверждал, что важный аспект биологической эволюции включает в себя постоянное изменение соответствующего фазового пространства. [ 41 ] Его исследования привели к пониманию состояния клеток по умолчанию, характеризующегося пролиферацией, изменчивостью и подвижностью, а также к предложению принципа формирования, включающего неидентичные итерации морфогенетических процессов. [ 42 ] В 2017 году он дополнительно исследовал зависимость настоящей и будущей динамики жизни от истории по сравнению с зависимостью от пути в физике. [ 43 ] как часть теоретической основы для организации принципов биологического мышления и экспериментирования. [ 44 ] Более того, он раскритиковал нынешнее использование понятия информации в биологии в рамках изучения взаимосвязи между наукой и технологией. [ 45 ]
Награды и почести
[ редактировать ]- 1974 – Национальная премия для молодых математиков Unione Matematica Italiana.
- 1992 – Член Европейской академии наук. [ 5 ]
Библиография
[ редактировать ]Книги
[ редактировать ]- Категории, типы и структуры (1990) ISBN 978-0262011259
- Математика и естественные науки: физическая сингулярность жизни (2011) ISBN 978-1848166936
- Перспективы организмов: биологическое время, симметрии и особенности (2014) ISBN 978-3642359378
- Математика и смысл. Не становиться машинами (2022) ISBN 978-8857587363
- Кошмар Прометея. Науки и их пределы (2023) ISBN 978-2130843085
Избранные статьи
[ редактировать ]- Барендрегт, Х.П., и Лонго, Г. (1980). Равенство лямбда-членов в модели Tomega. Дж. Р. Хиндли; Дж. П. Селдин (ред.), Х. Б. Карри: эссе по комбинаторной логике, лямбда-исчислению и формализму, 303–337.
- Лонго Г. и Могги Э. (1990). Теоретико-категорная характеристика функциональной полноты. Теоретическая информатика, 70 (2), 193–211.
- Лонго, Г. (2002, февраль). О доказательствах некоторых формально недоказуемых утверждений и прототипных доказательствах в теории типов. В «Типы доказательств и программ: Международный семинар», TYPES 2000 Дарем, Великобритания, 8–12 декабря 2000 г. Избранные статьи (стр. 160–180). Берлин, Гейдельберг: Springer Berlin Heidelberg. (переработано: в Philosophia Mathematica, 19(3): 255–280, 2011 г.)
- Байи Ф. и Лонго Г. (2007). Случайность и детерминизм во взаимодействии континуума и дискретности. Математические структуры в информатике, 17 (2), 289–305.
- Байи Ф., Лонго Г. и Монтевиль М. (2011). Двумерная геометрия биологического времени. Прогресс в биофизике и молекулярной биологии, 106 (3), 474–484.
- Буятти М., Лонго Г. (2013) Случайность и многоуровневые взаимодействия в биологии. Теория в биологических науках, том. 132, н. 3:139–158.
- Лонго, Г. (2018) Как будущее зависит от прошлых историй и редких событий в системах жизни, Фонды науки, (DOI), 23 (3): 443–474.
- Лонго, Г. (2019). Интерфейсы незавершенности. Системика неполноты и квазисистемы, 3–55.
- Лонго Г. и Лонго С. (2021). Переосмысление тела и пространства. в «В защиту человека», 2021 г.
Ссылки
[ редактировать ]- ^ Перейти обратно: а б «Джузеппе ЛОНГО» . www.di.ens.fr.
- ^ «Взгляд на организмы: биологическое время, симметрии и особенности | WorldCat.org» . www.worldcat.org .
- ^ «Математика и естественные науки: физическая особенность жизни» .
- ^ «Категории, типы и структуры: введение в теорию категорий для работающего ученого-компьютерщика» .
- ^ Перейти обратно: а б «Академия Европы: Лонго Джузеппе» . www.ae-info.org .
- ^ «Редакция» . Кембриджское ядро .
- ^ «Редакция – Математика х Фи» . 22 июля 2021 г.
- ^ «Джузеппе ЛОНГО – Стипендиаты – Фонд Нантского института перспективных исследований» . www.iea-nantes.fr .
- ^ Лонго, Джузеппе (1988). «Лямбда-исчисление: связь с теорией рекурсии более высокого типа, теорией доказательств, теорией категорий» (PDF) . Анналы чистой и прикладной логики .
- ^ Лонго, Джузеппе; Монтевиль, Маэль (1 июня 2012 г.). «Инертное и живое состояние материи: расширенная критичность, временная геометрия, антиэнтропия – обзор» . Границы в физиологии . 3 . дои : 10.3389/fphys.2012.00039 . ПМК 3286818 .
- ^ Байи, Фрэнсис; Лонго, Джузеппе (1 марта 2009 г.). «Биологическая организация и антиэнтропия» . Журнал биологических систем . 17 (1): 63–96. doi : 10.1142/S0218339009002715 – через worldscientific.com (Atypon).
- ^ Лонго, Джузеппе; Монтевиль, Маэль (1 июня 2014 г.). Лонго, Джузеппе; Монтевиль, Маэль (ред.). Перспективы организмов: биологическое время, симметрии и особенности . Спрингер. стр. 99–119. doi : 10.1007/978-3-642-35938-5_4 – через Springer Link.
- ^ «Модели против симуляций: сравнение по их теоретической симметрии» .
- ^ «Равенство лямбда-членов в модели Томега (1980) | www.narcis.nl» .
- ^ Хиндли, Р.; Лонго, Г. (1980). «Модели лямбда-исчисления и экстенсиональность» . Журнал математической логики и основ математики . 26 (19–21): 289–310. дои : 10.1002/malq.19800261902 . Архивировано (PDF) из оригинала 1 июня 2023 г. - через Academia.edu .
- ^ «Операторы теории рекурсии и морфимы на нумерованных множествах» (PDF) .
- ^ Лонго, Джузеппе (1984). «Эффективно заданные области и модели лямбда-исчисления» . Информация и контроль . 62 : 36–63. doi : 10.1016/S0019-9958(84)80009-1 – через Academia.edu .
- ^ «Четыре письма Георга Крайзеля» (PDF) .
- ^ Лонго, Г.; Могги, Э. (1 декабря 1984 г.). «Наследственные частичные эффективные функционалы и теория рекурсии высших типов» . Журнал символической логики . 49 (4): 1319–1332. дои : 10.2307/2274281 . JSTOR 2274281 . S2CID 18711951 – через издательство Кембриджского университета.
- ^ Лонго, Г.; Мартини, С. (1 января 1986 г.). «Вычислимость в высших типах, Pω и полнота присвоения типов» . Теоретическая информатика . 46 : 197–217. doi : 10.1016/0304-3975(86)90030-7 – через ScienceDirect.
- ^ «Модель финитной проекции для лямбда-исчисления второго порядка и решения уравнений области высшего порядка» .
- ^ Лонго, Джузеппе; Моджи, Эухенио (26 января 1990 г.). «Теоретико-категорная характеристика функциональной полноты» . Теоретическая информатика . 70 (2): 193–211. doi : 10.1016/0304-3975(90)90122-X – через ScienceDirect.
- ^ «Параметрический и типозависимый полиморфизм» .
- ^ Лонго, Джузеппе; Милстед, Кэтлин; Соловьев, Сергей (1 июня 1993 г.). «Теорема универсальности и эффективная параметричность в полиморфном лямбда-исчислении» . Теоретическая информатика . 121 (1–2): 323. doi : 10.1016/0304-3975(93)90093-9 – через hal.science.
- ^ Кастанья, Джузеппе; Гелли, Джорджио; Лонго, Джузеппе (1 июня 1993 г.). «Семантика для λ &-early: исчисление с перегрузкой и ранним связыванием» . В Беземе, Марк; Гроот, Ян Фрисо (ред.). Типизированные лямбда-исчисления и приложения . Конспекты лекций по информатике. Том. 664. Спрингер. стр. 107–123. дои : 10.1007/BFb0037101 . ISBN 978-3-540-56517-8 – через Springer Link.
- ^ Кастанья, Г.; Гелли, Г.; Лонго, Г. (15 февраля 1995 г.). «Исчисление перегруженных функций с подтипированием» . Информация и вычисления . 117 (1): 115–135. doi : 10.1006/inco.1995.1033 – через ScienceDirect.
- ^ Лонго, Джузеппе (1 мая 2000 г.). «Прототипические доказательства в теории типов» . МЛК . 46 (2): 257–266. doi : 10.1002/(SICI)1521-3870(200005)46:2<257::AID-MALQ257>3.0.CO;2-V – через CrossRef.
- ^ Лонго, Джузеппе (1 октября 2011 г.). «Размышления о конкретной незавершенности» . Философия Математика . 19 (3): 255–280. doi : 10.1093/philmat/nkr016 – через IEEE Xplore.
- ^ «Математический континуум: от интуиции к логике * Джузеппе Лонго CNRS и Ecole Normale Sup Ierieure 45, rue d'Ulm 75005 Par» (PDF) .
- ^ Лонго, Джузеппе (1 июня 1999 г.). «Математический интеллект, бесконечность и машины: за пределами годелитизма» . Журнал исследований сознания . 6 (11–12): 11–12 – через PhilPapers.
- ^ Лонго, Джузеппе (1 июня 1997 г.). «Геометрия, движение, пространство: познание и математика» . Интеллектика . 25 (2): 195–218. doi : 10.3406/intel.1997.1564 – через www.persee.fr.
- ^ Лонго, Джузеппе; Виаруж, Арно (1 апреля 2010 г.). «Математическая интуиция и когнитивные корни математических понятий» . Топои . 29 (1): 15–27. дои : 10.1007/s11245-009-9063-6 . S2CID 73581533 — через Springer Link.
- ^ «Математическая бесконечность «в проспеттиве» и пространства возможностей» (PDF) .
- ^ «Высшая нормальная школа» . www.di.ens.fr.
- ^ Байи, Фрэнсис; Лонго, Джузеппе (25 февраля 2004 г.). Разум и причинность . Джон Бенджаминс. стр. 149–197 – через www.jbe-platform.com.
- ^ Лонго, Джузеппе (1 июня 2009 г.). Эпштейн, Роберт; Робертс, Гэри; Бебер, Грейс (ред.). Анализ теста Тьюринга: философские и методологические проблемы в поисках мыслящего компьютера . Спрингер Нидерланды. стр. 377–411. doi : 10.1007/978-1-4020-6710-5_23 – через Springer Link.
- ^ «Объективная и эпистемическая сложность в биологии» (PDF) .
- ^ Лонго, Джузеппе (1 октября 2012 г.). «Неисчислимость в физике и биологии» . Математические структуры в информатике . 22 (5): 880–900. дои : 10.1017/S0960129511000569 . S2CID 7841889 – через издательство Кембриджского университета.
- ^ Лонго, Джузеппе; Монтевиль, Маэль; Пошевиль, Арно (2014). «Несжимаемая сложность реальности и эволюционное конструирование простого» . В Бертозе, Ален; Пети, Жан-Люк (ред.). Сложность-Простота . Коллеж де Франс – через hal.science.
- ^ Лонго, Джузеппе; Монтевиль, Маэль (1 июня 2012 г.). Диннин, Майкл Дж.; Хусаинов, Бахадыр; Нис, Андре (ред.). Вычисления, физика и не только: Международный семинар по теоретической информатике, WTCS 2012, посвященный Кристиану С. Калуде по случаю его 60-летия, Окленд, Новая Зеландия, 21–24 февраля 2012 г., Пересмотренные избранные и приглашенные статьи . Спрингер. стр. 289–308. дои : 10.1007/978-3-642-27654-5_22 . S2CID 16929949 — через Springer Link.
- ^ Лонго, Джузеппе; Монтевиль, Маэль (1 октября 2013 г.). «Расширенная критичность, фазовые пространства и возможности в биологии» . Хаос, солитоны и фракталы . 55 : 64–79. дои : 10.1016/j.chaos.2013.03.008 . S2CID 55589891 – через ScienceDirect.
- ^ Лонго, Джузеппе; Монтевиль, Маэль; Зонненшайн, Карлос; Сото, Ана М. (1 декабря 2015 г.). «В поисках принципов теории организмов» . Журнал биологических наук . 40 (5): 955–968. дои : 10.1007/s12038-015-9574-9 . ПМК 5505559 . PMID 26648040 — через Springer Link.
- ^ Лонго, Джузеппе (1 сентября 2018 г.). «Как будущее зависит от прошлого и редких событий в системах жизни» . Основы науки . 23 (3): 443–474. дои : 10.1007/s10699-017-9535-x . S2CID 254503548 — через Springer Link.
- ^ Лонго, Джузеппе (7 июля 2018 г.). «Информация и причинность: математические размышления о биологии рака» . Организмы. Журнал биологических наук . 2 (1): 83–104. doi : 10.13133/2532-5876_3.15 – через rosa.uniroma1.it.
- ^ Лонго, Джузеппе (1 июня 2020 г.). «Информация, наука и демократия для этики научных знаний» (PDF) . В Фабрисе, Адриано (ред.). Доверять . Исследования в области прикладной философии, эпистемологии и рациональной этики. Том. 54. Международное издательство Спрингер. стр. 63–79. дои : 10.1007/978-3-030-44018-3_5 . ISBN 978-3-030-44017-6 . S2CID 216489100 — через Springer Link.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
