研究者
J-GLOBAL ID：200901037852736932   更新日: 2022年09月10日

白井 古希男

シライ コキオ | Shirai Kokio
所属機関・部署：
旧所属 静岡大学 理学部 数学科

旧所属 静岡大学 理学部 数学科 について


職名： 助教授
研究分野 (2件)： 応用数学、統計数学 ,  数学基礎
研究キーワード (2件)： 数学基礎論 ,  Foundations of Mathematics
競争的資金等の研究課題 (2件)：
  • 証明論の研究
  • Study on Proof theory
MISC (8件)：
  • 白井 古希男. On the strong completeness theorems for the first-order generalized intuitionistic predicate calculus. 数理解析研究所講究録. 1997. 1021. 136-155
  • A characterization of axiom schema playing the role of Tertium non Datur in Intuitionistic Predicate Logic. RIMS Kokyuroku. 1997. 1010. 113-130
  • The W-consistency of elementary analysis. Tsukuba Journal of Mathematics. 1996. 20. 2. 365-378
  • A note on elimination of function symbols in the intuitionistic predicate calculus. Reports of Faculty of Science SHIZUOKA University. 1980. 14
  • A relation between transfinite induction and mathematical induction in elementary number theory. Tsukuba Journal of Mathematics. 1977. 1
もっと見る
書籍 (3件)：
  • 数えてほしい数学の疑問 1
    日本評論社 1996
  • 反例からみた数学
    遊星社 1985
  • Counter examples and its si(]E85EF[)nificance in Mathematics
    1985
学歴 (2件)：
  • - 1971 東京教育大学大学院 理学研究科 数学
  • - 1966 東京教育大学 理学部 数学
学位 (2件)：
  • 理学博士 (筑波大学)
  • 理学修士 (東京教育大学)
経歴 (8件)：
  • 1978 - 2001 静岡大学 助教授
  • 1978 - 2001 Shizuoka University, Assistant Professor
  • 1975 - 1977 静岡大学 講師
  • 1975 - 1977 Shizuoka University, Lecturer
  • 1972 - 1975 城西大学 講師
全件表示
委員歴 (1件)：
  • 1988 - 1990 日本数学会 評議員
所属学会 (2件)：
科学基礎論学会 ,  日本数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM