Limit-computable mathematics and its applications

Susumu Hayashi, Yohji Akama

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationComputer Science Logic - 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL 2002, Proceedings
EditorsJulian Bradfield
PublisherSpringer Verlag
Number of pages1
ISBN (Print)3540442405, 9783540442400
DOIs
Publication statusPublished - 2002
Event16th 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
Duration: 2002 Sep 222002 Sep 25

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2471
ISSN (Print)0302-9743
ISSN (Electronic)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
Country/TerritoryUnited Kingdom
CityEdinburgh
Period02/9/2202/9/25

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'Limit-computable mathematics and its applications'. Together they form a unique fingerprint.

Cite this