Jump to main content

文書・図像類

多重視点の証明解析による逆数学の汎用化・深化とその応用

Icons representing 文書・図像類

多重視点の証明解析による逆数学の汎用化・深化とその応用

Material type
文書・図像類
Author
横山, 啓太
Publisher
-
Publication date
2020-06-01
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General)：

本課題では、数学の定理やその証明の難しさ・複雑さを数理論理学の視点から評価・分析する、逆数学と呼ばれる研究を複数の視点から推し進めた。特に、組み合わせ命題ラムゼイの定理の評価分析において長年の未解決問題であった２次元無限ラムゼイの定理の「証明論的強さ」すなわち無矛盾性証明の困難さを確定する問題を解決...

Search by Bookstore

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • JAIST Repository

    Digital
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
    JAIST Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
文書・図像類
Title
多重視点の証明解析による逆数学の汎用化・深化とその応用
Author/Editor
横山, 啓太
Author Heading
横山, 啓太
Publication Date
2020-06-01
Publication Date (W3CDTF)
2020-06-01
Alternative Title
Expanding reverse mathematics with multiple viewpoints
Periodical title
科学研究費助成事業研究成果報告書
Pages
1-12
Text Language Code
jpn