맨위로가기

니우통 다 코스타

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차

1. 개요

니우통 다 코스타는 역설적 논리에 대한 연구로 국제적인 명성을 얻었으며, 비고전 논리의 창시자 중 한 명이다. 그는 준진리 이론을 구성하고, 물리학의 기초, 모델 이론, 양자역학, 상대성 이론, 복잡계 이론 등을 연구했다. 또한 변수 결합 항 연산자를 연구하고, 고전 물리학의 공리화에 기여했으며, 동역학계 이론의 혼돈적 특성이 결정 불가능하다는 것을 증명했다. 다 코스타의 연구는 논리학, 수학, 철학, 과학 등 다양한 분야에 영향을 미치고 있으며, 2024년 94세의 나이로 사망했다.

더 읽어볼만한 페이지

  • 브라질의 수학자 - 아르투르 아빌라
    아르투르 아빌라는 프랑스와 브라질 이중 국적의 수학자이며, 동역학계 분야를 연구하며 텐 마티니 문제와 조리치-콘체비치 추측 증명에 기여했고, 국제 수학 올림피아드 금메달, 필즈상 등을 수상했다.
  • 브라질의 철학자 - 파울루 프레이리
    파울루 프레이리는 브라질의 교육자이자 철학자로, 비판적 교육학의 선구자로서 억압받는 사람들의 해방을 위한 교육의 역할을 강조하며 '은행식 교육' 모델을 비판하고 학습자의 비판적 의식을 함양하는 교육 방법을 제시했으며, 대표작 《억압받는 자의 교육학》은 전 세계적으로 큰 영향을 미쳤고, 문맹 퇴치 운동과 사회 참여를 통해 교육과 정치, 사회 변화의 관계를 강조하며 '의식화' 개념을 제시했다.
  • 브라질의 철학자 - 빌렘 플루세르
    빌렘 플루세르는 체코 태생의 유대인 철학자, 작가, 언론인으로, 미디어 철학, 특히 사진 철학 분야에서 활동하며 기술 이미지, 커뮤니케이션, 현대 사회에 대한 독창적인 분석으로 알려졌다.
니우통 다 코스타 - [인물]에 관한 문서
기본 정보
1973년 다 코스타
이름니우통 카르네이루 아폰수 다 코스타
출생일1929년 9월 16일
출생지쿠리치바, 파라나주, 브라질
사망일2024년 4월 16일
국적브라질
분야수리논리학
대수학
과학철학
수리물리학
계산이론
주요 업적모순허용 논리학의 연구
준진리론의 창안
P-NP 문제의 부분적 해결
물리학의 공리화
알려진 업적모순허용 논리학
학력
출신 대학파라나 연방대학교
지도 학생
박사 지도 학생장이브 베지오
마르셀루 사뮈엘 베르망
발테르 카르니엘리
이탈라 도타비아누

2. 주요 연구 분야 및 업적

니우통 다 코스타는 논리학, 물리학, 수학, 철학 등 다양한 학문 분야에 걸쳐 중요한 연구 업적을 남겼다. 특히 모순허용 논리 분야의 창시자 중 한 명으로 국제적인 명성을 얻었으며, 이 논리를 철학, 법학, 컴퓨팅, 인공지능 등 여러 분야에 적용하는 데 기여했다.[2][3]

또한 물리학의 기초, 변수 결합 항 연산자 이론, 모델 이론, 일반화된 갈루아 이론, 양자 이론 및 상대성 이론의 공리적 기초, 복잡성 이론, 추상 논리학 등 광범위한 주제를 연구했다.[4] 그의 연구는 논리학 철학, 역설 허용적 모달 논리, 존재론, 그리고 과학철학 분야에도 상당한 영향을 미쳤다.[1] 다 코스타는 논리학, 특히 비고전 논리의 발전이 컴퓨팅과 기술 분야의 혁신으로 이어질 것이라고 보았다.

2. 1. 모순허용 논리

니우통 다 코스타는 모순허용 논리에 대한 그의 연구와 이를 철학, 법학, 컴퓨팅, 인공지능 등 다양한 분야에 적용한 공로로 국제적인 명성을 얻었다.[2] 그는 이 비고전 논리의 창시자 중 한 명이다.[3] 그의 연구는 모순을 포함하는 정보나 시스템을 다루는 새로운 논리적 접근 방식을 제시하며 여러 학문 분야에 영향을 주었다.

2. 2. 물리학의 기초 연구

다 코스타는 물리학자 프란시스쿠 안토니우 도리아와 함께 패트릭 서피스의 술어를 이용하여 고전 물리학의 상당 부분을 공리화했다. 그들은 이 기법을 활용하여 공리화된 동역학계 이론의 경우, 해당 시스템의 혼돈적 특성이 결정 불가능하며 괴델 불완전성을 따른다는 것을 보였다. 이는 "X는 혼돈적이다"와 같은 문장이 그 공리 체계 안에서는 결정될 수 없다는 의미이다. 이후 그들은 수리경제학과 같은 다른 분야의 시스템에 대해서도 비슷한 결과를 제시했다.

2. 3. 변수 결합 항 연산자

다 코스타는 존 코르코란(John Corcoran)과 함께 진리집합 원리를 공동으로 발견했으며, 고전적인 변수 결합 항 연산자 논리를 공동으로 창시했다. 또한 크리스 모르텐센(Chris Mortensen)과 함께 고전적인 1차 논리에서의 1980년 이전 변수 결합 항 연산자에 대한 권위 있는 역사를 다룬 논문 ''Notes on the theory of variable-binding term operatorseng''를 공동 저술했다. 이 논문은 학술지 ''History and Philosophy of Logic'' 제4권(1983년) 63-72쪽에 실렸다.

2. 4. 기타 연구 분야

다 코스타의 연구 범위는 모델 이론, 일반화된 갈루아 이론, 양자 이론과 상대성 이론의 공리적 기초, 복잡성 이론 및 추상 논리학을 포함한다.[4] 그는 논리학 철학, 역설 허용적 모달 논리, 존재론, 그리고 과학철학 분야에 상당한 기여를 했다.[1]

다 코스타는 물리학자 프란시스쿠 안토니우 도리아(Francisco Antônio Dória)와 함께 패트릭 서피스(Patrick Suppes)의 술어를 이용하여 고전 물리학의 상당 부분을 공리화했다. 그들은 이 기법을 활용하여 공리화된 동역학계 이론의 경우, 해당 시스템의 혼돈적 특성이 결정 불가능하고 괴델 불완전성임을 보였다. 즉, "X는 혼돈적이다"와 같은 문장은 그 공리 체계 내에서 결정 불가능하다는 것이다. 이후 그들은 수리 경제학과 같은 다른 분야의 시스템에 대해서도 유사한 결과를 제시했다.

다 코스타는 논리학 분야, 특히 비고전 논리와 그 응용에서의 발전이 컴퓨팅과 기술 분야에서 새로운 근본적인 발전을 가져올 것이라고 믿는다.

3. 주요 저작

니우통 다 코스타는 모순허용 논리 분야의 선구자로서 다수의 논문과 저서를 발표했다. 그의 연구는 형식 논리, 철학, 물리학, 계산 이론 등 다양한 분야에 걸쳐 있으며, 특히 모순을 다루는 논리 체계 개발에 중요한 기여를 했다. 주요 저작으로는 모순적 형식 체계에 관한 초기 연구, 야스코프스키 논의 논리에 대한 분석, 변수 결합 항 연산자 이론, 실용적 확률, 모순 허용 의무 논리, 모순적 지식 기반 추론, 고전 역학의 결정 불가능성 및 불완전성, 초계산 등에 대한 논문들이 있다. 또한 귀납 논리, 고전 논리 및 비고전 논리, 과학적 지식, 응용 모순허용 논리, 과학과 부분적 진리, 비트겐슈타인 철학 등에 관한 저서를 출판했다. 그의 연구는 월터 카르니엘리, 스티븐 프렌치 등 여러 학자들과의 공동 작업을 통해 이루어지기도 했다.

3. 1. 논문


  • Sistemas Formais Inconsistentes|모순적 형식 체계들pt (1963). 브라질 쿠리치바: 파라나 연방대학교.
  • Review of the article by Corcoran, Hatcher, and Herring on variable-binding term operators|변수 결합 항 연산자에 대한 코르코란, 해처, 헤링의 논문 검토영어 (1973). Zentralblat fur Mathematikde, 247권, 8–9쪽.
  • On the theory of inconsistent formal systems|모순적 형식 체계 이론에 관하여영어 (1974). 노터데임 형식 논리 저널, 15: 497–510.
  • L. 두비카이티스와 공저, On Jaskowski's Discussive Logic|야스코프스키의 논의 논리에 관하여영어 (1977). ''Non-classical Logics, Model Theory and Computability|비고전 논리, 모델 이론 및 계산 가능성영어'', 노스홀랜드 출판사, 암스테르담, 37–56쪽.
  • C. 모르텐센과 공저, Notes on the theory of variable-binding term operators|변수 결합 항 연산자 이론에 대한 주석영어 (1983). 논리의 역사와 철학, 4권, 63–72쪽.
  • Pragmatic probability|실용적 확률영어 (1986). Erkenntnis, 25: 141–162.
  • 월터 카르니엘리와 공저, Paraconsistent deontic logics|모순 허용 의무 논리영어 (1988). 철학 – 이스라엘 철학 분기별지, 16권 3, 4호, 293–305쪽.
  • V.S. 수브라마니안과 공저, Paraconsistent logic as a formalism for reasoning about inconsistent knowledge bases|모순적 지식 기반에 대한 추론을 위한 형식주의로서의 모순 허용 논리영어 (1989). 의학 인공 지능, 1: 167–174.
  • F.A. 도리아와 공저, Undecidability and incompleteness in classical mechanics|고전 역학에서의 결정 불가능성과 불완전성영어 (1991). 국제 이론 물리학 저널, 30권, 1041–1073.
  • Paraconsistent logic|모순 허용 논리영어 (1998). 스타니스와프 야스코프스키 기념 심포지엄, 29–35쪽. 토룬 니콜라스 코페르니쿠스 대학교 논리학과.
  • O. 부에노, S. 프렌치와 공저, Is there a Zande Logic?|잔데 논리가 있을까?영어 (1998). 논리의 역사와 철학, 19: 41–54.
  • F. A. 도리아와 공저, Consequences of an exotic definition for P = NP|'P = NP'에 대한 색다른 정의의 귀결영어 (2003). 응용 수학 및 계산, 145권, 655–665쪽. 및 Addendum to "Consequences of an exotic formulation for P=NP"|"P=NP에 대한 이국적인 공식화의 결과"에 대한 추가영어 (2006). 응용 수학 및 계산, 172권, 1364–1367쪽.
  • O. 부에노, A.G. 볼코프와 공저, Outline of a paraconsistent category theory|모순 허용 범주 이론 개요영어 (2004). P. 바인가르트너 편, ''Alternative Logics: Do Sciences Need them?|대안 논리: 과학에는 그것들이 필요한가?영어'', 베를린: 슈프링거 출판사, 95–114쪽.
  • F. A. 도리아와 공저, Computing the future|미래 계산영어 (2005). K. V. 벨루필라이 편, ''Computability, Complexity and Constructivity in Economic Analysis|경제 분석에서의 계산 가능성, 복잡성 및 구성성영어'', 블랙웰.
  • F. A. 도리아와 공저, Some thoughts on hypercomputation|초계산에 대한 몇 가지 생각영어 (2006). 응용 수학 및 계산, 178권, 83–92쪽.

3. 2. 저서


  • 《귀납 논리 및 확률적 논리학》(Lógica Indutiva e Probabilidadepor), 1993. (Hucitec-EdUSP, 제2판)
  • 《고전 논리 및 비고전 논리학》(Logique Classique et Non-Classiquefra), 1997. (Masson)
  • 《과학적 지식》(O conhecimento científicopor), 1999. (Discurso Editorial, 제2판)
  • 《응용 모순허용 논리학》(Lógica Paraconsistente Applicadapor), 1999. (J.M. 아베, J.I. 다 실바 필류, A.C. 무롤로, C.F.S. 레이테 공저, Atlas)
  • 《과학과 부분적 진리 - 모형과 과학적 설명에 대한 통합적 접근》(Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoningeng), 2003. (S. 프렌치 공저, 옥스퍼드 대학교 출판부)
  • 《비트겐슈타인적: 비트겐슈타인 철학의 관점에서 세상을 바라보기》(Wittgensteinian: Looking at the World from the Viewpoint of Wittgenstein's Philosophyeng), 2019. (샤얌 우푸루리 공동 편집, 스프링거)[7]

4. 사후 평가 및 영향

다 코스타는 2024년 4월 16일 94세의 나이로 사망했다.[6] 그의 연구는 논리학, 수학, 철학, 과학 등 다양한 분야에 걸쳐 지속적인 영향을 미치고 있다. 다 코스타의 방대한 학문적 유산은 앞으로 한국의 학계에서 다양한 학문 분야에서 더욱 깊이 있게 조명되어야 할 것이다.

참조

[1] 웹사이트 Cle-Aips http://www.cle.unica[...]
[2] 서적 The Stanford Encyclopedia of Philosophy http://plato.stanfor[...] Metaphysics Research Lab, Stanford University
[3] 서적 The Stanford Encyclopedia of Philosophy http://plato.stanfor[...] Metaphysics Research Lab, Stanford University
[4] 문서 http://hps.master.un[...] 2022-03-00
[5] 간행물 Schindler's review of the P = NP paper https://www.math.ucl[...] Bulletin of Symbolic Logic 2004-03-00
[6] 웹사이트 Matemático e filósofo Newton da Costa, criador da lógica paraconsistente, morre aos 94 anos https://www1.folha.u[...] 2024-04-17
[7] 서적 Wittgensteinian (adj.) : Looking at the World from the Viewpoint of Wittgenstein's Philosophy https://www.springer[...] Springer 2012-11-01


본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com