Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Ньютон Карнейро Аффонсо да Коста
Ньютон-да-Коста.jpg
Ньютон да Коста в Беркли в 1973 году
Родившийся( 1929-09-16 )16 сентября 1929 г. (91 год)
Куритиба , Бразилия
ИзвестенПаранепротиворечивая логика
Научная карьера
ПоляЛогика , математика , философия и философия науки
Докторанты

Ньютон Карнейро Аффонсо да Коста (родился 16 сентября 1929 года в Куритибе , Бразилия ) - бразильский математик , логик и философ . [1] Он изучал инженерию и математику в Федеральном университете Параны в Куритибе и получил звание доктора философии в 1961 году. Диссертация была Топологические пространства и непрерывные функции . [1]

Работа [ править ]

Параконсистентность [ править ]

Международное признание да Коста было достигнуто благодаря его работе над паранепротиворечивой логикой и ее применением в различных областях, таких как философия, право , вычисления и искусственный интеллект . [2] Он является одним из основоположников этой неклассической логики . [3] Кроме того, он построил теорию квазиистины, которая представляет собой обобщение теории истины Альфреда Тарского , и применил ее к основам науки.

Прочие поля; основы физики [ править ]

Сфера его исследований также включает теорию моделей , обобщенную теорию Галуа , аксиоматические основы квантовой теории и теории относительности , теорию сложности и абстрактную логику. [4] Да Коста внес значительный вклад в философию логики , паранепротиворечивую модальную логику , онтологию и философию науки . Он был президентом Бразильской ассоциации логики и директором Института математики Университета Сан-Паулу . Он получил множество наград и получил многочисленные стипендии в университетах и ​​исследовательских центрах на всех континентах.[1]

Да Коста и физик Франсиско Антониу Дориа аксиоматизировали большую часть классической физики с помощью предикатов Патрика Суппеса . Они использовали эту технику, чтобы показать, что для аксиоматизированной версии теории динамических систем хаотические свойства этих систем неразрешимы и неполны по Гёделю, то есть такое предложение, как X является хаотическим , неразрешимо в рамках этой аксиоматики. Позже они показали аналогичные результаты для систем в других областях, таких как математическая экономика.

Да Коста считает, что значительный прогресс в области логики приведет к новым фундаментальным достижениям в вычислениях и технологиях, особенно в связи с неклассическими логиками и их приложениями.

Операторы терминов привязки переменных [ править ]

Да Коста - один из первооткрывателей принципа истинности и соавтор классической логики терминов-операторов, связывающих переменные, - оба вместе с Джоном Коркораном . Он также является соавтором с Крисом Мортенсеном исчерпывающей истории до 1980-х годов термальных операторов с переменной привязкой в ​​классической логике первого порядка: «Заметки по теории терминовых операторов с переменной привязкой», History and Philosophy of Logic, vol.4 (1983) 63–72.

P = NP [ править ]

Вместе с Франсиско Антониу Дориа Да Коста опубликовал две статьи с условными относительными доказательствами совместимости P = NP с обычными теоретико-множественными аксиомами ZFC . Полученные ими результаты аналогичны результатам ДеМилло и Липтона (согласованность P = NP с фрагментами арифметики) и Сазонова и Мате (условные доказательства согласованности P = NP с сильными системами).

В основном да Коста и Дориа определяют формальное предложение [P = NP] ', которое совпадает с P = NP в стандартной арифметической модели; однако, поскольку [P = NP] 'по самому своему определению включает дизъюнкцию, которая не опровергается в ZFC, [P = NP]' не опровергается в ZFC, поэтому ZFC + [P = NP] ' согласован (при условии, что ZFC является). Затем статья продолжается неформальным доказательством импликации

Если ZFC + [P = NP] 'согласован, то и ZFC + [P = NP] согласован.

Однако в обзоре Ральфа Шиндлера [5] указывается, что этот последний шаг слишком короткий и содержит пробел. Недавно опубликованное (2006 г.) разъяснение авторов показывает, что их намерением было показать условный результат, который зависел от того, что они называют «наивно правдоподобным условием». Условный результат 2003 года может быть переформулирован, согласно да Коста и Дориа 2006 (в печати), как

Если ZFC + [P = NP] 'омега-согласован, то ZFC + [P = NP] согласован.

До сих пор не было построено формальных аргументов, показывающих, что ZFC + [P = NP] 'омега-согласован.

В своих обзорах для Mathematical Reviews статей да Коста / Дориа о P = NP логик Андреас Бласс утверждает, что «отсутствие строгости привело к многочисленным ошибкам (и двусмысленностям)»; он также отвергает «наивно правдоподобное условие» да Косты, поскольку это предположение «основано отчасти на возможной не тотальности [определенной функции] F и отчасти на аксиоме, эквивалентной тотальности F».

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

Статьи и лекции [ править ]

  • NCA da Costa, Sistemas Formais Inconsistentes . Куритиба, Бразилия: Федеральный университет Параны, 1963.
  • NCA da Costa, Обзор статьи Коркорана, Хэтчера и Херринга об операторах термов с переменным связыванием , Zentralblat fur Mathematik, vol. 247, стр. 8–9, 1973.
  • NCA да Коста, К теории несовместимых формальных систем . Журнал формальной логики Нотр-Дам, 1974; 15: 497–510.
  • NCA да Коста (совместно с Л. Дубикайтисом), О дискуссионной логике Ясковского . Неклассическая логика, теория моделей и вычислимость, North-Holland Publishing Company, Амстердам, стр. 37–56, 1977.
  • NCA да Коста (совместно с К. Мортенсеном), Заметки по теории термопеременных операторов связывания , История и философия логики, том 4, стр. 63–72, 1983.
  • NCA да Коста, Прагматическая вероятность . Erkenntnis 1986; 25: 141–162.
  • NCA да Коста (с Вальтером Карниелли), Параконсистентная деонтическая логика . Философия - Философия. Ежеквартальный вестник Израиля, том 16, номера 3 и 4, стр. 293–305, 1988.
  • NCA да Коста (совместно с В. С. Субраманианом), Параконсистентная логика как формализм для рассуждений о несогласованных базах знаний . Искусственный интеллект в медицине 1989; 1: 167–174.
  • NCA да Коста (совместно с Ф. А. Дориа), Неразрешимость и неполнота в классической механике , International J. Теоретическая физика, т. 30 (1991), 1041–1073.
  • NCA да Коста, Парапоследовательная логика . В Симпозиуме памяти Станислава Яшковского, стр. 29–35. Кафедра логики, Торуньский университет Николая Коперника. 1998 г.
  • NCA да Коста (с О. Буэно и С. Френчем), есть ли Zande Logic? История и философия логики 1998; 19: 41–54.
  • NCA da Costa (совместно с О. Буэно и А.Г. Волковым), Очерк паранепротиворечивой теории категорий . В книге П. Вайнгартнера (ред.), Альтернативная логика: нужны ли они наукам? Берлин: Springer-Verlag, 2004, стр. 95–114.
  • NCA да Коста (совместно с Ф. А. Дориа), Последствия экзотического определения P = NP . Прикладная математика и вычисления, т. 145 (2003), 655–665, и Дополнение к "Последствиям ..." . Прикладная математика и вычисления, т. 172 (2006), 1364–1367.
  • NCA да Коста (совместно с Ф. А. Дориа), « Вычисливание будущего», « Вычислимость, сложность и конструктивность в экономическом анализе», под ред. К.В. Велупиллай, Блэквелл, 2005.
  • NCA да Коста (с Ф. А. Дориа), Некоторые мысли о гиперкомпьютерах, прикладной математике и вычислениях, в печати (2006).

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

  • NCA da Costa, Lógica Indutiva e Probabilidade . Hucitec-EdUSP, 2а. изд., Сан-Паулу, 1993.
  • NCA да Коста, Классическая логика и неклассическая . Париж, Массон, 1997.
  • NCA да Коста, O conhecimento científico . Сан-Паулу, редакция Discurso, 2а. Ред., 1999.
  • NCA да Коста, JM Abe, JI da Silva Filho, AC Murolo и CFS Leite Lógica Paraconsistente Applicada . Сан-Паулу, Атлас, 1999.
  • NCA да Коста и С. Френч, Наука и частичная правда: единый подход к моделям и научному обоснованию . (Оксфордские исследования в области философии науки), Oxford University Press, 2003.
  • Шьям Вуппулури, NCA da Costa (ред.), «Витгенштейниан (прил.): Взгляд на мир с точки зрения философии Витгенштейна» Springer - The Frontiers Collection, 2019. [6]

Очерки NCA да Коста [ править ]

  • Никола Грана, Сулла теоретической стоимости NCA да Коста . Неаполь: Liguori Editore, 1990. Стр. 75.

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

  1. ^ а б в http://www.cle.unicamp.br/cle-aips-event/newtondacosta.html
  2. ^ http://plato.stanford.edu/entries/logic-paraconsistent/#Mot
  3. ^ http://plato.stanford.edu/entries/logic-paraconsistent/#ModHisParLog
  4. ^ http://hps.master.univ-paris-diderot.fr/sites/hps.master.univ-paris-diderot.fr/files/users/fcontami/Paty,M-2000d-QuantClasDom.pdf
  5. ^ Обзор Шиндлера из P = NP бумаги (Бюллетень символической логики, ст. 10 нет. 1, март 2004, стр. 118F)
  6. ^ Вуппулури, Шьям; Коста, NCA da (2012-11-01). Витгенштейн (прил.): Взгляд на мир с точки зрения философии Витгенштейна . ISBN 9783030275686.

Внешние ссылки [ править ]

  • Биография в Unicamp (на португальском)
  • Ньютон да Коста: Pensador da Contradição
  • Ньютон да Коста, оу: математическая история
  • Обсуждение основ физики (видео на португальском языке)
  • Карниелли В., Конильо М.Э., Маркос и Дж. Логика формальной несогласованности . Справочник по философской логике , 2-е издание, том 14, страницы 15–107. Springer-Verlag.
  • Профиль ученого Google