Researchers Information
Photo



Books, Original Papers & Review Papers
Name
TANAKA Kazuyuki
Affiliation
Graduate School of Science
Mathematics
Title
Professor
Academic Degree
Ph.D.
Master of Science
Research Fields
  • General mathematics (includes probability theory/statistical mathematics)(Foundations of Mathematics)
display all
Research Subjects
  • Phase Transition of Provability and Supercriticality of Reverse Mathematics(2015-2020)
  • Computational Aspects of Randomness and Non-standard Mathods(2011-2015)
  • Fusion of Nonstandard Analysis and Computability Theory(2007-2011)
display all
Keywords
foundations of mathematics, mathematical logic, computability theory
Academic Society Membership
  • 日本数学会
  • 記号論理学会 Association for Symbolic Logic
  • 科学基礎論学会
display all
Activity of Academic Society (Post)
    display all
    Books

    Alan Turing and Meta-Puzzles.[Tokyo University Press,(2013)]Kazuyuki Tanaka


    Reading Godel.[Tokyo University Press,(2012)]Kazuyuki Tanaka


    Godel's Theorem.[Misuzu Shobo,(2011)]Torkel Franzen, Kazuyuki Tanaka


    ゲーデルと20世紀の論理学(ロジック)1 ゲーデルの20世紀.[東京大学出版会,(2006)]田中一之,田中尚夫,鈴木登志雄,飯田隆,竹内外史,八杉満利子


    Logic of Arithmetic.[(2002)]TANAKA Kazuyuki


    display all
    Original Papers

    A non-standard construction of Haar measure and WKLo.[Journal of Symbolic Logic,65(1),(2000),173-186]K. Tanaka, T. Yamazaki


    Some conservation results on weak Koenig's lemma.[Ann. Pure Applied Logic,118,(2002),87-114]S.Simpson, K.Tanaka, T.Yamazaki,


    The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic.[Archive for Math. Logic,43(3),(2004),337-349]N. Sakamoto, K. Tanaka


    Eigen-Distribution on Random Assignments for Game Trees.[Information Processing Letters,142(2),(2007),73-77]C. Liu, K. Tanaka


    Δ03-determinacy, comprehension and induction.[Journal of Symbolic Logic,72(2),(2007),452-462]M. O. MedSalem, K. Tanaka


    display all
    Review Papers

    display all
    Activity of External Organization
      display all
      Updated on
      2018.09.29
      JapaneseTop
      copyright(c)2005 Tohoku University