Limit-computable mathematics and its applications

Susumu Hayashi, Yohji Akama

研究成果: Conference contribution

1 被引用数 (Scopus)

抄録

Limit-Computable Mathematics (LCM) is a fragment of classical mathematics in which classical principles are restricted so that the existence theorems are realized by limiting recursive functions. LCM is expected to be a right means for “Proof Animation,” which was introduced by the first author. In the lecture, some mathematical foundations of LCM will be given together with its relationships to various areas.

本文言語English
ホスト出版物のタイトルComputer Science Logic - 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL 2002, Proceedings
編集者Julian Bradfield
出版社Springer Verlag
ページ数1
ISBN(印刷版)3540442405, 9783540442400
DOI
出版ステータスPublished - 2002
イベント16th International Workshop on Computer Science Logic, CSL 2002 and 11th Annual Conference of the European Association for Computer Science Logic, EACSL 2002 - Edinburgh, United Kingdom
継続期間: 2002 9 222002 9 25

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2471
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Other

Other16th International Workshop on Computer Science Logic, CSL 2002 and 11th Annual Conference of the European Association for Computer Science Logic, EACSL 2002
国/地域United Kingdom
CityEdinburgh
Period02/9/2202/9/25

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Limit-computable mathematics and its applications」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル