니우통 다 코스타
|
니우통 카르네이루 아폰수 다 코스타
| |
 1974년 캘리포니아 대학교 버클리에서. | |
| 출생 | 1929년 9월 16일 브라질 파라나 주 쿠리치바 |
|---|---|
| 사망 | 2024년 4월 16일 (향년 94세) |
| 국적 |  브라질
|
| 주요 업적 | 모순허용 논리학의 연구 준진리론의 창안 P-NP 문제의 부분적 해결 물리학의 공리화 |
| 분야 | 수리논리학, 대수학, 과학철학, 수리물리학, 계산이론 |
니우통 카르네이루 아폰수 다 코스타(포르투갈어: Newton Carneiro Affonso da Costa, 1929년 9월 16일 ~ 2024년 4월 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)
