KFU. Card publication. Computable real numbers

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

COMPUTABLE REAL NUMBERS

Form of presentation

Conference proceedings in international journals and collections

Year of publication

2016

Язык

английский

Authors, employees of KFU

Arslanov Marat Mirzaevich, author

Bibliographic description in the original language

Arslanov M.M. Computable real numbers. Book of abstracts: International Conference on Mathematics and Mathematics Education at IMO2016, Hongkong, 2016. - p. 4-5.

Annotation

Book of abstracts: International Conference on Mathematics and Mathematics Education at IMO2016, Hongkong, 2016

Keywords

real number; computable number; Solovay reducibility.

The name of the journal

Book of abstracts: International Conference on Mathematics and Mathematics Education at IMO2016, Hongkong, 2016

URL

https://www.ied.edu.hk/icmme2016/

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=155734&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Arslanov Marat Mirzaevich	ru_RU
dc.date.accessioned	2016-01-01T00:00:00Z	ru_RU
dc.date.available	2016-01-01T00:00:00Z	ru_RU
dc.date.issued	2016	ru_RU
dc.identifier.citation	Arslanov M.M. Computable real numbers. Book of abstracts: International Conference on Mathematics and Mathematics Education at IMO2016, Hongkong, 2016. - p. 4-5.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=155734&p_lang=2	ru_RU
dc.description.abstract	Book of abstracts: International Conference on Mathematics and Mathematics Education at IMO2016, Hongkong, 2016	ru_RU
dc.description.abstract	A real number x is recursively approximable if it is a limit of a computable sequence of rational numbers. In my talk I summarize several recent developments related to such kind of hierarchies shown by the author and his collaborators.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject		ru_RU
dc.title	Computable real numbers	ru_RU
dc.type	Conference proceedings in international journals and collections	ru_RU