Towards Limit Computable Mathematics Export

@inproceedings{citeulike:1645605, abstract = {The notion of Limit-Computable Mathematics (LCM) will be introduced. LCM is a fragment of classical mathematics in which the law of excluded middle is restricted to 1 0 2 -formulas. We can give an accountable computational interpretation to the proofs of LCM. The computational content of LCM-proofs is given by Gold's limiting recursive functions, which is the fundamental notion of learning theory. LCM is expected to be a right means for \"Proof Animation,\" which was introduced by the...}, author = {Hayashi, Susumu and Nakata, Masahiro}, booktitle = {TYPES}, citeulike-article-id = {1645605}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.4999}, keywords = {lcm, logic}, pages = {125--144}, posted-at = {2007-09-11 22:29:03}, priority = {2}, title = {Towards Limit Computable Mathematics}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.4999}, year = {2000} }

TY - CONF ID - citeulike:1645605 L3 - citeulike-article-id:1645605 N2 - The notion of Limit-Computable Mathematics (LCM) will be introduced. LCM is a fragment of classical mathematics in which the law of excluded middle is restricted to 1 0 2 -formulas. We can give an accountable computational interpretation to the proofs of LCM. The computational content of LCM-proofs is given by Gold's limiting recursive functions, which is the fundamental notion of learning theory. LCM is expected to be a right means for "Proof Animation," which was introduced by the... EP - 144 TI - Towards Limit Computable Mathematics T2 - TYPES SP - 125 KW - lcm KW - logic AU - Hayashi, Susumu AU - Nakata, Masahiro PY - 2000/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.4999 ER -