[BOG][B] Dynamics in one complex variable

J Milnor - 2011 - books.google.com
This volume studies the dynamics of iterated holomorphic map**s from a Riemann
surface to itself, concentrating on the classical case of rational maps of the Riemann sphere …

Computability and analysis: the legacy of Alan Turing.

J Avigad, V Brattka, R Downey - 2014 - books.google.com
§ 1. Introduction. For most of its history, mathematics was algorithmic in nature. The
geometric claims in Euclid's Elements fall into two distinct categories:“problems,” which …

Computing over the reals: Foundations for scientific computing

M Braverman, S Cook - Notices of the AMS, 2006 - ams.org
The problems of scientific computing often arise from the study of continuous processes, and
questions of computability and complexity over the reals are of central importance in laying …

[BOG][B] Computability of Julia sets

M Braverman, M Yampolsky - 2009 - Springer
Among all computer-generated mathematical images, Julia sets of rational maps occupy,
perhaps, the most prominent position. Their beauty and complexity can be fascinating. They …

Dynamics and abstract computability: computing invariant measures

S Galatolo, M Hoyrup, C Rojas - arxiv preprint arxiv:0903.2385, 2009 - arxiv.org
We consider the question of computing invariant measures from an abstract point of view.
We work in a general framework (computable metric spaces, computable measures and …

Computability and Beltrami fields in Euclidean space

R Cardona, E Miranda, D Peralta-Salas - Journal de Mathématiques Pures …, 2023 - Elsevier
In this article, we pursue our investigation of the connections between the theory of
computation and hydrodynamics. We prove the existence of stationary solutions of the Euler …

Computability, noncomputability and undecidability of maximal intervals of IVPs

DS Graça, N Zhong, J Buescu - Transactions of the American Mathematical …, 2009 - ams.org
Let $(\alpha,\beta)\subseteq\mathbb {R} $ denote the maximal interval of existence of
solutions for the initial-value problem\[\left\{\begin {array}[c]{l}\frac {dx}{dt}= f (t, x), x (t_ {0}) …

Computability of topological pressure on compact shift spaces beyond finite type

M Burr, S Das, C Wolf, Y Yang - Nonlinearity, 2022 - iopscience.iop.org
Computability of topological pressure on compact shift spaces beyond finite type* Page 1
Nonlinearity PAPER Computability of topological pressure on compact shift spaces beyond …

[PDF][PDF] The impact of Gödel's incompleteness theorems on mathematics

A Macintyre - Kurt Gödel and the foundations of mathematics, 2011 - nzdr.ru
The Incompleteness Theorems are best known for interpretations put on them beyond–
sometimes far beyond–mathematics, as in the Turing Test, or Gödel's belated claims in the …

Computational Dynamical Systems

J Cotler, S Rezchikov - 2024 IEEE 65th Annual Symposium on …, 2024 - ieeexplore.ieee.org
We study the computational complexity theory of smooth, finite-dimensional dynamical
systems. Building off of previous work, we give definitions for what it means for a smooth …