Rchr
J-GLOBAL ID：200901037852736932   Update date: Sep. 10, 2022

Shirai Kokio

シライ コキオ | Shirai Kokio
Affiliation and department：
Former Institution /Organization Shizuoka University Faculty of Science Department of Mathematics

About Former Institution /Organization Shizuoka University Faculty of Science Department of Mathematics


Research field  (2)： Applied mathematics and statistics ,  Basic mathematics
Research keywords  (2)： 数学基礎論 ,  Foundations of Mathematics
Research theme for competitive and other funds  (2)：
  • 証明論の研究
  • Study on Proof theory
MISC (8)：
  • Shirai Kokio. On the strong completeness theorems for the first-order generalized intuitionistic predicate caluculus. RIMS Kokyuroku. 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
ｍore...
Books (3)：
  • 数えてほしい数学の疑問 1
    日本評論社 1996
  • 反例からみた数学
    遊星社 1985
  • Counter examples and its si(]E85EF[)nificance in Mathematics
    1985
Education (2)：
  • - 1971 東京教育大学大学院 理学研究科 数学
  • - 1966 東京教育大学 理学部 数学
Professional career (2)：
  • Doctor of Science (University of Tsukuba)
  • Master of Science
Work history (8)：
  • 1978 - 2001 Shizuoka University
  • 1978 - 2001 Shizuoka University, Assistant Professor
  • 1975 - 1977 Shizuoka University
  • 1975 - 1977 Shizuoka University, Lecturer
  • 1972 - 1975 Josai University
Show all
Committee career (1)：
  • 1988 - 1990 日本数学会 評議員
Association Membership(s) (2)：
科学基礎論学会 ,  日本数学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM