Mathematics Paper
허구론적 수리철학의 허구적 메타논리학 (The Fictional Metalogic of the Fictionalist Philosophy of Mathematics) : 박우석, 한국철학회 철학 40권, 1993
20세기 수리논리학의 사상과 흐름 : 김상문, 현우식, 한국수학사학회 8권 1호, 1995
역수학 계획에서 힐버트의 계획으로 : 힐버트의 실증주의적 수리철학 (From Reverse Mathematics Program To Hilbert`s Program - Hilbert`s Positivistic Philosophy of mathematics) : 최병일, 한국논리학회 논리연구 1권, 1997
반시대적 고찰 : 비트겐슈타인과 하이데거의 수리논리학 비판 : 이승종, 한국현상학회 철학과 현상학연구 12권, 1999
청년 비트겐슈타인의 수리철학 (Young Wittgenstein`s Philosophy of Mathematics) : 이승종, 한국분석철학회 한국분석철학회 철학적분석 1권, 2000
수학의 적용 (The Application of Mathematics) : 이승종, 한국분석철학회 한국분석철학회 철학적분석 4권, 2001
모순에 관한 튜링/비트겐슈타인 논쟁 (Turing / Wittgenstein Debate on Contradiction) : 이승종, 철학연구회 철학연구 33권, 1993
튜링의 다리와 비트겐슈타인의 수학철학 (Turing`s Bridge and Wittgenstein`s Philosophy of Mathematics) : 박정일, 한국논리학회 논리연구 5권 2호, 2002
괴델 불완전성정리에서 유도 안될 수도 있는 명제 (A Proposition also Non-derivable from Goedel's Incompleteness Theorem) : 김상문, 철학연구회 철학연구 22권, 1987
타르스키 정리, 처치 정리, 그리고 괴델 정리 : 김영정, 한국철학회 철학 27권, 1987
서평 : '수학의 기초에 관한 고찰' 비트겐슈타인의 괴델 읽기 (BOOK REVIEWS : Remarks on the Foundations of Mathematicsl) : 이승종, 한국철학회 철학 53권, 1997
괴델의 불완전성정리와 수학적 진리 : 김영남, 김용국, 한국수학사학회 1권 1호, 1984
괴델의 불완전성정리 : 증명된 신화? (Godel`s Incompleteness Theorem : A Proven Myth?) : 홍성기, 한국논리학회 논리연구 5권 2호, 2002
계산가능성 이론 형성에서의 Church's Thesis 와 Turing's Thesis : 현우식, 한국수학사학회 11권 1호, 1998
계산가능성과 전산적 마음 (Computability and Computable Mind) : 이영의, 고려대철학연구소 철학연구 17권, 1994