뉴턴 다 코스타

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
뉴턴 카르네이루 아폰수 다 코스타
1974년 캘리포니아 대학교 버클리에서.
1974년 캘리포니아 대학교 버클리에서.
출생 1929년 9월 16일(1929-09-16) (84세)
브라질 브라질 파라나 주 쿠리치바
국적 브라질 브라질
분야 수리논리학, 대수학, 과학철학, 수리물리학, 계산이론
출신 대학 파라나 연방대학교
주요 업적 모순허용 논리학의 연구
준진리론의 창안
P-NP 문제의 부분적 해결
물리학의 공리화

뉴턴 카르네이루 아폰수 다 코스타(포르투갈어: Newton Carneiro Affonso da Costa, 1929년 9월 16일 ~)는 브라질수리논리학자, 수학자, 철학자이다. 쿠리치바파라나 연방대학교에서 공학수학을 공부하였고 1961년 박사학위를 받았다. 박사학위 논문의 제목은 '위상공간과 연속함수'였다.

주요 저작[편집]

논문[편집]

  • <모순적 형식체계>(Sistemas Formais Inconsistentes, 1963)
  • <모순적 형식체계 이론에 관하여>(On the theory of inconsistent formal systems, 1974)
  • <야시코프스키의 산만논리학에 관하여>(On Jaśkowski's Discursive Logic, 1977)
  • <변수구속항 연산자 이론에 관한 주석>(Notes on the theory of variable-binding term operators, 1983)
  • <실용적 확률>(Pragmatic probability, 1986)
  • <모순허용 의무논리학>(Paraconsistent deontic logics, 1988)
  • <모순적 지식 기초의 설명을 위한 공식화로서의 모순허용 논리학>(Paraconsistent logic as a formalism for reasoning about inconsistent knowledge bases, 1989)
  • <고전역학의 미결정성과 불완비성>(Undecidability and incompleteness in classical mechanics, 1991)
  • <모순허용 논리학>(Paraconsistent logic, 1998)
  • <잔데족의 논리학은 있는가?>(Is there a Zande Logic?, 1998)
  • <모순허용 범주론의 개략>(Outline of a paraconsistent category theory, 2004)
  • <'P = NP'에 대한 색다른 정의의 귀결>(Consequences of an exotic definition for P = NP, 2003)
  • <미래를 계산하기>(Computing the future, 2005)
  • <기술적 불가능 계산에 관한 고찰>(Some thoughts on hypercomputation, 2006)

저서[편집]

  • 《귀납 및 확률적 논리학》(Lógica Indutiva e Probabilidade, 1993)
  • 《고전 및 비고전 논리학》(Logique Classique et Non-Classique, 1997)
  • 《과학적 지식》(O conhecimento científico, 1999)
  • 《응용 모순허용 논리학》(Lógica Paraconsistente Applicada, 1999)
  • 《과학과 부분적 진리 - 모형과 과학적 설명에 대한 통합적 접근》(Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning, 2003)

바깥 고리[편집]