Да Коста, Ньютон

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Ньютон да Коста

Newton da Costa
Файл:Newton da Costa.jpg
Ньютон да Коста в Беркли в 1973 году





Род деятельности
философия, математика, логика




Супруга
Неуза Фейтоза Аффонсо да Коста

Награды и премии

Премия Жабути
Moinho Santista[1]

Нью́тон Карне́йро Аффо́нсо да Ко́ста (порт. Newton Carneiro Affonso da Costa; [Нет даты!]) — бразильский математик, логик и философ. Наиболее известен как создатель паранепротиворечивой логики.

Биография[править]

Да Коста родился в 1929 году в Куритибе. Получил три высших образования в Федеральном университете Параны. В 1952 году получил диплом инженера-строителя. В 1955 и 1956 годах стал бакалавром и лиценциатом математики. В 1957 году специализировался на преподавании математики. В 1961 году защитил докторскую диссертацию по математическому анализу под руководством Эдисона Фары.

Всю карьеру провёл в бразильских университетах. Начал работу в Федеральном университете Параны. Позже перешёл в Университет Сан-Паулу. Там преподавал в Институте математики и статистики и на факультете философии, литературы и гуманитарных наук. Работал профессором в Университете Кампинаса. Был приглашённым профессором в университетах Австралии, Франции, США, Польши, Италии, Аргентины, Мексики и Перу[1].

Мать да Косты была преподавателем французского языка. Он находился под влиянием французских авторов. Позже заинтересовался философией и логикой[2].

В интервью журналу Sísifo да Коста рассказал о своём философском влиянии. Он отметил долг перед Бертраном Расселом, Рудольфом Карнапом, Уиллардом Куайном и Леоном Брюнсвиком. При этом он не считал себя их учеником. По его словам, эти авторы помогли ему решать проблемы с помощью собственной аргументации. Они обострили его критическое чутьё и способствовали формированию собственного мышления.

После 2000 года да Коста по семейным обстоятельствам переехал во Флорианополис. Он скончался 16 апреля 2024 года от осложнений после несчастного случая дома[3].

Основные труды[править]

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

 → Паранепротиворечивая логика

Паранепротиворечивая логика ставит под сомнение закон непротиворечия. Согласно этому закону, два противоречащих друг другу утверждения не могут быть одновременно истинными. Да Коста показал возможность создания логических систем, допускающих противоречия без тривиализации. В таких системах истина и ложь остаются различимыми. Его работы охватывают философию науки, философию физики, теории истины, основания математики, экономику, теорию вычислений и право. Опубликовал более 250 трудов. Благодаря своей теории да Коста получил прозвище «мыслитель противоречия»[1].

В паранепротиворечивых логических системах наличие противоречивых утверждений не влечёт за собой тривиализацию системы[3]. Эти системы имеют академическое и практическое значение для права, математики, физики и инженерии. Создание этой неклассической логики принесло да Косте международное признание. Его исчисления Cn были обобщены и расширены в рамках логик формальной противоречивости. Этим занимались Вальтер Карниелли, Марсело Конильо и Жуан Маркос.

Вместе с Вальтером Карниелли и Лейлой Зардо Пугой да Коста внёс вклад в деонтическую логику. Они показали, что менее жёсткая логика может дать новый ответ на деонтические парадоксы. Этот вклад отмечен в Стэнфордской философской энциклопедии.

Теория квазиистины[править]

Да Коста и его соавторы расширили схоластическое понятие истины. Они сформулировали теорию квазиистины (или частичной истины) в духе Альфреда Тарского. Эту теорию они применили к основаниям науки. Примером квазиистины да Коста называл классическую механику. Её можно использовать для строительства зданий, но она «ложна», так как была вытеснена теорией относительности[3].

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

Аксиоматический метод расширяет понимание границ теорий. Исследования да Косты включают теорию моделей, теорию Галуа, аксиоматизацию квантовой механики и специальной теории относительности, а также теорию сложности.

Вместе с физиком Франсиско Антонио Дорией да Коста аксиоматизировал несколько физических теорий с использованием предиката Суппеса. Они получили важные результаты о неполноте и неразрешимости некоторых утверждений теории динамических систем. Этот результат также был распространён на равновесие Нэша.

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

Проблема равенства классов P и NP является одной из важнейших в теории вычислений. Она связана с ограничением вычислительной мощности компьютеров. Да Коста и Франсиско Антонио Дория опубликовали две статьи. В них они обусловили непротиворечивость проблемы P=NP теорией множеств Цермело — Френкеля. Научное сообщество продолжает оценку этих результатов.

Ученики[править]

  • Жан-Ив Безье
  • Марсело Самуэль Берман
  • Вальтер Карниелли
  • Итала Мария Лоффредо Д'Оттавиано
  • Адонай Сант'Анна
  • Десио Краузе
  • Эделсио Гонсалвес де Соуза
  • Лейла Зардо Пуга
  • Жулиано Соуза де Альбукерке Мараньян
  • Эвандро Луис Гомес

Направления исследований[править]

  • Математический анализ
  • Высший анализ
  • Основания математики
  • Непротиворечивые формальные системы
  • Основания теории категорий
  • Неканторовские теории множеств
  • Основания теории вероятностей
  • Индуктивный вывод
  • Структура науки

Области деятельности[править]

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

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

  • N.C.A. da Costa, Sistemas Formais Inconsistentes. Curitiba, Brasil: Universidade Federal do Paraná, 1963.
  • N.C.A. da Costa, On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 1974 ; 15: 497-510.
  • N.C.A. da Costa (com L. Dubikajtis), On Jaskowski's Discussive Logic. Non-Classical Logics, Model Theory and Computability, North-Holland Publishing Company, Amsterdam, pp.37-56, 1977.
  • N.C.A. da Costa, Pragmatic probability. Erkenntnis 1986; 25: 141-162.
  • N.C.A. da Costa (com V.S. Subrahmanian), Paraconsistent logic as a formalism for reasoning about inconsistent knowledge bases. Artificial Intelligence in Medicine 1989; 1: 167-174.
  • N.C.A. da Costa (com F.A. Doria), Undecidability and incompleteness in classical mechanics, International J. Theoretical Physics, vol. 30 (1991), 1041-1073.
  • N.C.A. da Costa, Paraconsistent logic. In Stanisław Jaškowski Memorial Symposium, pp. 29-35. Department of Logic, Nicholas Copernicus University of Toruń. 1998.
  • N.C.A. da Costa (com O. Bueno and S. French), Is there a Zande Logic? History and Philosophy of Logic 1998; 19: 41-54.
  • N.C.A. da Costa (com Walter A. Carnielli), On Paraconsistent Deontic Logic. Philosophia 16: 293-305, 1986.
  • N.C.A. da Costa (com O. Bueno and A.G. Volkov), Outline of a paraconsistent category theory. In P Weingartner (ed.), Alternative Logics: Do Sciences Need them? Berlin: Springer-Verlag, 2004, pp. 95-114.
  • N.C.A. da Costa (com F. A. Doria), Consequences of an exotic definition for P=NP. Applied Mathematics and Computation, vol. 145 (2003), 655-665, and Addendum to Consequences...' . Applied Mathematics and Computation, vol. 172 (2006), 1364-1367.
  • N.C.A. da Costa (com F. A. Doria), Computing the future, in Computability, Complexity and Constructivity in Economic Analysis, ed. K. V. Velupillai, Blackwell, 2005.
  • N.C.A. da Costa (com F. A. Doria), Some thoughts on hypercomputation, Applied Mathematics and Computation, in press (2006).
  • N.C.A. da Costa (with M.S.Berman),"On the Stability of Our Universe" Journal of Modern Physics 3,1211-1215 (2012)doi :10.4236/jmp.2012.329156 (http://www.SciRP.org/journal/jmp)

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

  • N.C.A. da Costa, Lógica Indutiva e Probabilidade. Hucitec-EdUSP, 2a. ed., São Paulo, 1993.
  • N.C.A. da Costa, Logique Classique et Non-Classique. Paris, Masson, 1997.
  • N.C.A. da Costa, O conhecimento científico. São Paulo, Discurso Editorial, 2a. Ed., 1999.
  • N.C.A. da Costa, J.M. Abe, J.I. da Silva Filho, A.C. Murolo and C.F.S. Leite Lógica Paraconsistente Applicada. São Paulo, Atlas, 1999.
  • N.C.A. da Costa and S. French, Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning. (Oxford Studies in Philosophy of Science), Oxford University Press, 2003.
  • Shyam Wuppuluri, N.C.A. da Costa (Eds.), "Wittgensteinian (adj.): Looking at the World from the Viewpoint of Wittgenstein's Philosophy" Springer — The Frontiers Collection, 2019.

Примечания[править]

  1. ↑ 1,0 1,1 1,2 Newton da Costa: Paixão e contradição
  2. ↑ Newton da Costa um lógico em busca da quase-verdade. Folha de S.Paulo. Проверено 15 июня 2026.
  3. ↑ 3,0 3,1 3,2 Newton da Costa criou sistemas revolucionários no campo da lógicapt-br. revistapesquisa.fapesp.br. Проверено 15 июня 2026.

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

Рувики

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Да Коста, Ньютон», расположенная по адресу:

—https://ru.ruwiki.ru/wiki/Да_Коста,_Ньютон

Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий.

Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».

Источник — http://cyclowiki.org/w/index.php?title=Да_Коста,_Ньютон&oldid=2688324