Geometrical accumulations and computably enumerable real numbers

-

English
39 Pages
Read an excerpt
Gain access to the library to view online
Learn more

Description

Geometrical accumulations and computably enumerable real numbers Geometrical accumulations and computably enumerable real numbers Jérôme Durand-Lose Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, Orléans, FRANCE UC '11, Turku, Finland 7th June 2011 1 / 39

  • enumerable real

  • real numbers

  • computably enumerable

  • nice regular

  • numbers

  • laboratoire d'informatique fondamentale d'orléans

  • necessary condition


Subjects

Informations

Published by
Reads 57
Language English
Report a problem

Geometricalaccumulationsandd'Infod'Orl?ans,computablFy'11,enumerable1realmnumbd'Orl?ans,ersFRANCEGeometricalurku,acJunecum/ulationsrandatiquecomputablyondamentaleenumerableUniversit?realOrl?ans,numbUCersTJ?r?meFinlandDurand-Lose7thLab201o1ratoire39Geometricalaccumulationsand/realandcomputablManipulatingyAenumerableersrealaccumulationsnumbandersers1atSignalrealmachinesConclusionandisolatedisolated3accumulationsc.e.2d-c.e.Necessanumbry4conditionsccumulatingonc.e.thed-c.e.conumbo5rdinates2of39GeometricalaccumulationsandcomputablersManipulatingAyofenumerablerealrealandnumb/ersaccumulationsSignalandmachinesersandatisolatedrealaccumulationsConclusion1rdinatesSignalisolatedmachines3andc.e.isolatedd-c.e.accumulationsnumb24Necessaccumulatingryc.e.conditionsd-c.e.onnumbthe5co3o39Geometricalaccumulationsandisolatedr/computablNiceywingsenumerableandrealaccumulationsnumbregulaersdraSignal4machines39Geometricalaccumulationsandisolatedr/computablNiceywingsenumerableandrealaccumulationsnumbregulaersdraSignal5machines39Geometricalaccumulationsandisolatedr/computablNiceywingsenumerableandrealaccumulationsnumbregulaersdraSignal6machines39

andcomputablyhineslines:/enumerablebrealcollisionsnumbsignalersbaccumulationsinitialend-pSignalmachinesiandrulesisolatedofaccumulationsmacNiceDenedregulayrottom:dracongurationwingssignalsLines:meta-signalstracesoofnts:GeometricalsignalsSpace-time7diagrams39

andcomputablyhineslines:/enumerablebrealcollisionsnumbsignalersbaccumulationsinitialend-pSignalmachinesiandrulesisolatedofaccumulationsmacNiceDenedregulayrottom:dracongurationwingssignalsLines:meta-signalstracesoofnts:GeometricalsignalsSpace-time8diagrams39

andcomputablyhineslines:/enumerablebrealcollisionsnumbsignalersbaccumulationsinitialend-pSignalmachinesiandrulesisolatedofaccumulationsmacNiceDenedregulayrottom:dracongurationwingssignalsLines:meta-signalstracesoofnts:GeometricalsignalsSpace-time9diagrams39→


M M
enumerablerealnumbers}}accumulationsSignal(-3)machines{and}isolated}accumulationsdiv,Example:lonMdback,thehi,middle{y/rulesCollisionand{{McomputablhiMeta-signalsM,(sp,eed})lo,M}(0){divM(3){hibackGeometrical(1)loM(3)10back39