뉴턴 다 코스타

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

바깥 고리[편집]