earticle

연구 프로그램으로서의 힐버트 계획

정계섭

[Kisti 연계] 한국수학사학회 Journal for history of mathematics Vol.24 No.3 2011 pp.37-58

수학과 실재

정계섭

[Kisti 연계] 한국수학사학회 Journal for history of mathematics Vol.14 No.1 2001 pp.47-60

책갈피산책-"수학자의 신문읽기"를 읽고

정계섭

[Kisti 연계] 대한출판문화협회 출판저널 Vol.206 1997 p.22

선형논리의 통사론

정계섭

[Kisti 연계] 한국수학사학회 Journal for history of mathematics Vol.25 No.3 2012 pp.29-39

순차식 연산 (Sequent calculus)과 절단제거 (Cut elimination)

정계섭

[Kisti 연계] 한국수학사학회 Journal for history of mathematics Vol.23 No.3 2010 pp.45-56

수학 개념의 습득에 있어 기호의 발견법적 기능

정계섭

[Kisti 연계] 한국수학사학회 Journal for history of mathematics Vol.22 No.3 2009 pp.45-60

무한 개념의 진화 : Bolzano를 중심으로

정계섭

[Kisti 연계] 한국수학사학회 Journal for history of mathematics Vol.21 No.3 2008 pp.31-52

도형에 의한 추론 (Schematic Reasoning) : 통시적 사례 연구

정계섭

[Kisti 연계] 한국수학사학회 Journal for history of mathematics Vol.19 No.4 2006 pp.63-80

수학적 참과 증명가능성

정계섭

[Kisti 연계] 한국논리학회 논리연구 Vol.8 No.2 2005 pp.3-32

${\lambda}$-연산 소개

정계섭

[Kisti 연계] 한국수학사학회 Journal for history of mathematics Vol.17 No.4 2004 pp.45-64

조합논리 소개

정계섭

[Kisti 연계] 한국논리학회 논리연구 Vol.6 No.2 2003 pp.49-67

불교와 현대과학에서 보는 사물의 질서

정계섭

[NRF 연계] 동국대학교 불교문화연구원 불교학보 Vol.52 2009.08 pp.251-267

힐버트 프로그램과 언어학의 형식화

정계섭

[NRF 연계] 한국불어불문학회 불어불문학연구 Vol.86 2011.06 pp.425-450

Sur un probleme de cas semantique - une piste susceptible de mener au cognitif

정계섭

[NRF 연계] 한국불어불문학회 불어불문학연구 Vol.85 2011.03 pp.361-377

Anti-Anti Relativisme et Grammaires Categorielles appliquees au Coreen

정계섭, Jean-Pierre Descles, Brahim Djioua, 강주연, 손호건

[NRF 연계] 한국프랑스어문교육학회 프랑스어문교육 Vol.28 2008.06 pp.475-530

중첩, 얽힘, 그리고 결깨짐: 현대물리학의 철학적 도전

정계섭

[NRF 연계] 서울대학교 철학사상연구소 철학사상 Vol.24 2007.06 pp.319-362

수학 기초론: Hilbert 프로그램과 구성주의 수학

정계섭

[NRF 연계] 덕성여자대학교 인문과학연구소 인문과학연구 Vol.10 2006.12 pp.109-116

초한수(the transfinite)의 형성과 연속체 가설

정계섭

[NRF 연계] 한국과학철학회 과학철학 Vol.6 No.1 2003.03 pp.89-106