이전페이지 이동
   김상문 (Kim, Sang Mun 교수)
    연세대학교 이과대학 수학과
Total: 13
  • Proof procedures for an automated theorem-proving program (Kim, Sang Wu) Kybernetes (1998), Vol 27Pages 990, 1075- 

  • Turing-computability and artificial intelligence: Gödel's incompleteness results (Kim, Sang Wu) Kybernetes (1995), Vol 24Pages 3, 57-62 

  • Irrelevance and relevance of Gödel's theorems to artificial intelligence Kybernetes (1995), Vol 24Pages 2-3, 77-83 

  • $omega$-consistency and Löb's theorem Bull. Sect. Logic Univ. Łódź (1994), Vol 23Pages 158-162 

  • The reflexive paradoxes in set theory: the logical relation of the Abian paradox to the Curry paradox An. Ştiinţ. Univ. Al. I. Cuza Iaşi Secţ. I a Mat. (1993), Vol 39Pages 67-68 

  • Variants of the well ordering theorem and the axioms of choice and multiple choice An. Ştiinţ. Univ. Al. I. Cuza Iaşi Secţ. I a Mat. (1991), Vol 37Pages 521-523 

  • An existence proof of isomorphism from a well-ordering onto a type Bull. Calcutta Math. Soc. (1991), Vol 83Pages 25-28 

  • The length of wellorderings in the impredicative extension of von Neumann-Bernays-Gödel class theory Wiss. Z. Tech. Hochsch. Ilmenau (1990), Vol 36Pages 55-61 

  • Two generalized well ordering $O^omega_n$ Bol. Soc. Paran. Mat. (2) (1989), Vol 10Pages 15-17 

  • The consistency and conservative extension problem for the impredicative extension of ${rm VBG}$: modifications of ${rm ZF}$ equiconsistent with ${rm ZF}^{rm KM}$ An. Ştiinţ. Univ. Al. I. Cuza Iaşi Secţ. I a Mat. (1989), Vol 35Pages 199-201 

  • Variants of the well ordering theorem and the axioms of choice and multiple choice Bol. Soc. Paran. Mat. (2) (1988), Vol 9Pages 177-181 

  • A sum representation of meet-semilattice An. Univ. Timişoara Ser. Ştiinţ. Mat. (1988), Vol 26Pages 39-40 

  • Erratum: "Harmonic pseudometric and the product property of pseudometric'' [Kyungpook Math. J. 20 (1980), no. 2, 239–243; MR 82f:32036] Kyungpook Math. J. (1982), Vol 22Pages 149 

 
Information Center for Mathematical Sciences KAIST
34141 대전광역시 유성구 대학로 291 (구성동373-1)
한국과학기술원(KAIST) 수리과학정보센터
전화 042-350-8196
e-mail : mathnet@mathnet.or.kr
Copyright (C) 2018. ICMS All Rights Reserved.