힐버트의 프로그램과 괴델 정리의 해석

이종권

철학탐구

1993 .11

괴델 불완전성 정리에서 유도 안될 수도 있는 명제

김상문

철학연구

1987 .12

쿠르트 괴델의 수학적 신학 : 불완전성 정리, 무한, 하나님에 관한 존재론적 증명

현우식

한국기독교신학논총

2007 .01

프레게와 힐버트 – 메타이론적 증명

박준용

동서철학연구

2017 .01

존재와 일관성을 둘러싼 프레게/힐버트 논쟁

최원배

철학

2009 .05

수학적 참과 증명가능성

정계섭

논리연구

2005 .01

비트겐슈타인의 힐버트 프로그램에 대한 비판

최병일

철학연구

2000 .03

二次 論理學의 完全性과 不完全性

김영정 ,  박우석

철학

1992 .05

한국어의 미완료 효과에 대한 생성적 의미 기술

이지수

언어

2015 .03

하이 힐 외 1편

조성국

시조시학

2018 .06

홀과 힐 외 1편

이성미

자음과모음

2017 .06

프레게의 힐버트 비판 : 암묵적 정의

박준용

철학연구

2017 .09

On Knowledge of the Incompleteness Effect in Korean L1 Acquisition

Eunjeong Oh

언어학 연구

2019 .01

거의 완전한 진실

존 도미니크 크로싼 ,  승현민

시대와민중신학

2002 .07

불완전명사 [것]에 대한 고찰

정호완

우리말글

1983 .06

철학적 시간론

소광희

현대유럽철학연구

2019 .01

프레게 - 유클리드 평행공리의 독립성

박준용

철학적분석

2017 .12

제르멜로와 공리적 방법

박우석

논리연구

2008 .01