6533b861fe1ef96bd12c5684

RESEARCH PRODUCT

Hartmanis-Stearns Conjecture on Real Time and Transcendence

FreivaldsRūsiņ

subject

AlgebraTuring machinesymbols.namesakeRational numberConjectureIrrational numbersymbolsMultitape Turing machineDecimal representationTranscendental numberAlgebraic numberMathematics

description

Hartmanis-Stearns conjecture asserts that any number whose decimal expansion can be computed by a multitape Turing machine is either rational or transcendental. After half a century of active research by computer scientists and mathematicians the problem is still open but much more interesting than in 1965.

https://doi.org/10.1007/978-3-642-27654-5_9