Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Уолтер Карниелли в Беркли в 1984 году

Вальтер Александр Карниелли (родился 11 января 1952 года в Кампинасе , Бразилия ) - бразильский математик , логик и философ , полный профессор логики в Государственном университете Кампинаса (UNICAMP) . С бакалавром и г-жой К. степень по математике в Государственном университете Кампинас в Кампинасе он получил докторскую степень. в 1984 году из того же университета под руководством Ньютона да Коста, а затем работал постдоком в Калифорнийском университете в Беркли в качестве научного сотрудника по приглашению Леона Хенкина .

Сферы интересов [ править ]

Многозначная логика и паранепротиворечивая логика [ править ]

Carnielli вклад в теории доказательств и семантики в многозначных логик и паранепротиворечивых логик . Его табличный метод многозначной логики обобщил все предыдущие трактовки этого предмета. [1] Его предложение о семантике возможных переводов (новая семантическая интерпретация паранепротиворечивой логики) способствовало возрождению философской интерпретации паранепротиворечивой логики. [2] [3]

Логика формальной непоследовательности, систематизирующая большой класс паранепротиворечивых логик, открыла путь к применению параконсистентности в информатике и к новым философским исследованиям паранепротиворечивости.

Комбинаторика, модулированная логика и комбинации логик [ править ]

Он также опубликовал статьи по конечной и бесконечной комбинаторике и разработал (вместе со своими сотрудниками AM Sette и PA Veloso) модулированную логику, новый вид логики, который позволяет формализовать качественные рассуждения с помощью специальных обобщенных кванторов. Его исследования также включают теорию моделей , неклассическую логику, основы квантовых вычислений и комбинации логик.

Должности и награды [ править ]

Карниелли был директором Центра логики, эпистемологии и истории науки в UNICAMP в течение трех сроков, а также был президентом Бразильского общества логики. Он был отмечен грантом Александра фон Гумбольдта за долгосрочное исследовательское пребывание в Германии и работал редактором и / или членом редакционных советов крупных журналов, таких как Studia Logica , Logic and Logical Philosophy , Journal of Applied Logic , CLE. Электронные принты , отчеты по математической логике и журнал прикладной неклассической логики . Он является лауреатом Золотой медали Телезио-Галилея 2012 года в области философии и математики.

Избранные публикации [ править ]

Статьи [ править ]

  • WA Carnielli. О задачах раскраски и покрытия ладейных областей, Дискретная математика 57 (1985), стр. 9–16.
  • WA Carnielli. Систематизация конечных многозначных логик методом таблиц. Журнал символической логики 52 (2), 1987, стр. 73–493.
  • В. А. Карниелли (совместно с Ньютоном К. А. да Коста). Парапоследовательная деонтическая логика. Философия - Философия. Ежеквартальный вестник Израиля, том 16, номера 3 и 4 (1988), стр. 293–305.
  • WA Carnielli. Неравенства в области гипер-ладьи. Исследования по прикладной математике (Массачусетский технологический институт) 82, \ n.1 (1990), стр. 59–69.
  • В.А. Карниелли (совместно с Калифорнийским университетом Ди Приско). Некоторые результаты о поляризованных соотношениях разбиения более высокой размерности. Mathematical Logic Quarterly 39 (1993), стр. 461–474.
  • В. А. Карниелли (совместно с П. А. Велозу). Логика ультрафильтра и общие рассуждения. In Computational Logic and Proof Theory (Vienna, 1997), pp. 34–53, Lecture Notes in Computer. Science 1289, Springer, Berlin, 1997.
  • WA Carnielli. Семантика возможных переводов для паранепротиворечивых логик. В: Frontiers in Paraconsistency Logic: Proceedings of the I World Congress on Paraconsistency, Ghent, 1998, pp. 159–72, под редакцией Д. Батенса и др., Kings College Publications, 2000.
  • В. А. Карниелли (совместно с Эль Монте Кармело). K2,2-K1, n и K2, n-K2, n двудольные числа Рамсея. Дискретная математика . 223 (1-3), 2000, стр. 83–92.
  • В. А. Карниелли (совместно с К. Сернадасом и Дж. Расгой). Модулированное волокно и проблема коллапса. Журнал символической логики 67 (4) 2002 стр. 1541–1569.
  • В. А. Карниелли (совместно с Дж. Маркосом). Таксономия C-систем. В: Параконсистентность - логический путь к непоследовательности, Конспект лекций по чистой и прикладной математике, Vol. 228, стр. 01–94 2002.
  • WA Carnielli (совместно с К. Калейро, М. Е. Конильо и Дж. Маркосом). Компания двоих: обман многих логических ценностей. В: Logica Universalis (редактор Ж.-Й.Безио). Базель: Биркхойзер, 2005, стр. 169–189.
  • В. А. Карнелли (совместно с А. Б. Бруннером). Антиинтуиционизм и непоследовательность . Журнал прикладной логики, том 3, выпуск 1, март 2005 г., страницы 161–184.
  • В. А. Карниелли (совместно с М. Е. Конильо). Логика расщепления. В кн .: Покажем: Очерки в честь Дов Габбая. (Редакторы С. Артемов , Х. Барринджер, А. С. Авила Гарсез , Л. С. Лэмб и Дж. Вудс). Лондон: Публикации Королевского колледжа, 2005, т. 1, стр. 389-414.
  • В. А. Карниелли (совместно с М. Е. Конильо и Дж. Маркосом). Логика формальной непоследовательности. В: Справочник по философской логике, т. 14. С. 15–107. Ред .: Д. Габбай; Ф. Гентнер. Спрингер, 2007.
  • WA Carnielli (совместно с ME Coniglio. Объединение логики. Стэнфордская энциклопедия философии , 2007.
  • В. А. Карниелли (совместно с Дж. Расгой и К. Сернадасом). Сохранение интерполяционных особенностей волокном.

Mathematical Logic Quarterly Volume 18, Issue 1, 2008, страницы 123-151.

  • В. А. Карниелли (совместно с Дж. Расгой и К. Сернадасом). Интерполяция через переводы. Математическая логика

Ежеквартальный том 55, выпуск 5, 2009 г., страницы 515-534.

  • В. А. Карниелли (с Дж. К. Агудело). Параконсистентные машины и их отношение к квантовым вычислениям. Журнал логики и вычислений, том 20, выпуск 2, 2010 г., страницы 573-595.

Книги [ править ]

  • Р. Л. Эпштейн и В. А. Карнелли. Вычислимость: вычислимые функции, логика и основы математики, с временной шкалой. Вычислимость и неразрешимость . Второе издание. Wadsworth / Thomson Learning, Белмонт, Калифорния, 2000.
  • В. А. Карнелли и К. Пицци. Modalità e multimodalità . Франко Анджели, Милан, 2001 г.
  • В. А. Карниелли и Р. Л. Эпштейн. Computabilidade: Funções Computáveis, Lógica e os Fundamentos da Matemática. Лауреат престижной литературной премии Бразилии 2007 Jabuti Award .
  • В. А. Карнелли и К. Пицци. Модальности и мультимодальности . Springer-Verlag), 2008.
  • WA Carnielli, ME Coniglio, D. Gabbay, P. Gouveia и C. Sernadas. Анализ и синтез логики. Как вырезать и вставлять системы рассуждений . Серия прикладной логики, Springer, 2008.

Ссылки [ править ]

  1. ^ WA Carnielli. Систематизация конечных многозначных логик методом таблиц. Журнал символической логики 52 (2), 1987, стр. 73–493.
  2. ^ WA Carnielli. Семантика возможных переводов для паранепротиворечивых логик. В: Frontiers in Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency, Ghent, 1998, pp. 159–72, под редакцией Д. Батенса и др., Kings College Publications, 2000
  3. ^ WA Carnielli (с ME Coniglio и J. Маркос). Логика формальной непоследовательности. В: Справочник по философской логике, т. 14. С. 15–107. Ред .: Д. Габбай; Ф. Гентнер. Springer, 2007 г.
  • Аспирантура по философии-IFCH-UNICAMP
  • http://www.ifch.unicamp.br/pos/filosofia/index.php?texto=walter&menu=menudocente
  • Группа безопасности и квантовой информации - (SQIG-IT)
  • http://www.it.pt/person_detail_p.asp?id=1896
  • Фонд Александра фон Гумбольдта
  • http://www.humboldt-foundation.de/automat_db/pub_humboldtiana2.humboldtiana_index_pub?p_year=2000&p_group=1&p_fg2=2A
  • Академическая домашняя страница Вальтера Карниелли
  • Pensadores da Matemática