◈ 수학자
◈ 국내외수학과
◈ 수학연구소
◈ Math Job
◈ 정보제공자
◈ 저명수학자
◈ 수학상
홈 > 수학계사람들 > 국내수학자
   김상문 (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 

 
개인정보보호정책 l 이메일주소집단수집금지 l 뷰어다운로드
qr코드