\def\revtex{1}

\ifx\revtex\undefined

%  LaTeX support: latex@mdpi.com
%  For support, please attach all files needed for compiling as well as the log file, and specify your operating system, LaTeX version, and LaTeX editor.

%=================================================================
\documentclass[entropy,article,submit,oneauthor,pdftex]{Definitions/mdpi}

% For posting an early version of this manuscript as a preprint, you may use "preprints" as the journal and change "submit" to "accept". The document class line would be, e.g., \documentclass[preprints,article,accept,moreauthors,pdftex]{mdpi}. This is especially recommended for submission to arXiv, where line numbers should be removed before posting. For preprints.org, the editorial staff will make this change immediately prior to posting.

%--------------------
% Class Options:
%--------------------
%----------
% journal
%----------
% Choose between the following MDPI journals:
% acoustics, actuators, addictions, admsci, adolescents, aerospace, agriculture, agriengineering, agronomy, ai, algorithms, allergies, analytica, animals, antibiotics, antibodies, antioxidants, appliedchem, applmech, applmicrobiol, applnano, applsci, arts, asi, atmosphere, atoms, audiolres, automation, axioms, batteries, bdcc, behavsci, beverages, biochem, bioengineering, biologics, biology, biomechanics, biomedicines, biomedinformatics, biomimetics, biomolecules, biophysica, biosensors, biotech, birds, bloods, brainsci, buildings, businesses, cancers, carbon, cardiogenetics, catalysts, cells, ceramics, challenges, chemengineering, chemistry, chemosensors, chemproc, children, civileng, cleantechnol, climate, clinpract, clockssleep, cmd, coatings, colloids, compounds, computation, computers, condensedmatter, conservation, constrmater, cosmetics, crops, cryptography, crystals, curroncol, cyber, dairy, data, dentistry, dermato, dermatopathology, designs, diabetology, diagnostics, digital, disabilities, diseases, diversity, dna, drones, dynamics, earth, ebj, ecologies, econometrics, economies, education, ejihpe, electricity, electrochem, electronicmat, electronics, encyclopedia, endocrines, energies, eng, engproc, entropy, environments, environsciproc, epidemiologia, epigenomes, fermentation, fibers, fire, fishes, fluids, foods, forecasting, forensicsci, forests, fractalfract, fuels, futureinternet, futuretransp, futurepharmacol, futurephys, galaxies, games, gases, gastroent, gastrointestdisord, gels, genealogy, genes, geographies, geohazards, geomatics, geosciences, geotechnics, geriatrics, hazardousmatters, healthcare, hearts, hemato, heritage, highthroughput, histories, horticulturae, humanities, hydrogen, hydrology, hygiene, idr, ijerph, ijfs, ijgi, ijms, ijns, ijtm, ijtpp, immuno, informatics, information, infrastructures, inorganics, insects, instruments, inventions, iot, j, jcdd, jcm, jcp, jcs, jdb, jfb, jfmk, jimaging, jintelligence, jlpea, jmmp, jmp, jmse, jne, jnt, jof, joitmc, jor, journalmedia, jox, jpm, jrfm, jsan, jtaer, jzbg, kidney, land, languages, laws, life, liquids, literature, livers, logistics, lubricants, machines, macromol, magnetism, magnetochemistry, make, marinedrugs, materials, materproc, mathematics, mca, measurements, medicina, medicines, medsci, membranes, metabolites, metals, metrology, micro, microarrays, microbiolres, micromachines, microorganisms, minerals, mining, modelling, molbank, molecules, mps, mti, nanoenergyadv, nanomanufacturing, nanomaterials, ncrna, network, neuroglia, neurolint, neurosci, nitrogen, notspecified, nri, nursrep, nutrients, obesities, oceans, ohbm, onco, oncopathology, optics, oral, organics, osteology, oxygen, parasites, parasitologia, particles, pathogens, pathophysiology, pediatrrep, pharmaceuticals, pharmaceutics, pharmacy, philosophies, photochem, photonics, physchem, physics, physiolsci, plants, plasma, pollutants, polymers, polysaccharides, proceedings, processes, prosthesis, proteomes, psych, psychiatryint, publications, quantumrep, quaternary, qubs, radiation, reactions, recycling, regeneration, religions, remotesensing, reports, reprodmed, resources, risks, robotics, safety, sci, scipharm, sensors, separations, sexes, signals, sinusitis, smartcities, sna, societies, socsci, soilsystems, solids, sports, standards, stats, stresses, surfaces, surgeries, suschem, sustainability, symmetry, systems, taxonomy, technologies, telecom, textiles, thermo, tourismhosp, toxics, toxins, transplantology, traumas, tropicalmed, universe, urbansci, uro, vaccines, vehicles, vetsci, vibration, viruses, vision, water, wevj, women, world

%---------
% article
%---------
% The default type of manuscript is "article", but can be replaced by:
% abstract, addendum, article, book, bookreview, briefreport, casereport, comment, commentary, communication, conferenceproceedings, correction, conferencereport, entry, expressionofconcern, extendedabstract, datadescriptor, editorial, essay, erratum, hypothesis, interestingimage, obituary, opinion, projectreport, reply, retraction, review, perspective, protocol, shortnote, studyprotocol, systematicreview, supfile, technicalnote, viewpoint, guidelines, registeredreport, tutorial
% supfile = supplementary materials

%----------
% submit
%----------
% The class option "submit" will be changed to "accept" by the Editorial Office when the paper is accepted. This will only make changes to the frontpage (e.g., the logo of the journal will get visible), the headings, and the copyright information. Also, line numbering will be removed. Journal info and pagination for accepted papers will also be assigned by the Editorial Office.

%------------------
% moreauthors
%------------------
% If there is only one author the class option oneauthor should be used. Otherwise use the class option moreauthors.

%---------
% pdftex
%---------
% The option pdftex is for use with pdfLaTeX. If eps figures are used, remove the option pdftex and use LaTeX and dvi2pdf.

%=================================================================
% MDPI internal commands
\firstpage{1}
\makeatletter
\setcounter{page}{\@firstpage}
\makeatother
\pubvolume{1}
\issuenum{1}
\articlenumber{0}
\pubyear{2021}
\copyrightyear{2021}
%\externaleditor{Academic Editor: Firstname Lastname} % For journal Automation, please change Academic Editor to "Communicated by"
\datereceived{}
\dateaccepted{}
\datepublished{}
\hreflink{https://doi.org/} % If needed use \linebreak
%------------------------------------------------------------------
% The following line should be uncommented if the LaTeX file is uploaded to arXiv.org
%\pdfoutput=1

%%%% If original paper need add "Retraction", please release the following command!!%%%%%%
%\retractiondate{Date Month Year} % For example,  13 October 2020
%\retractionnoticeyear{Year}
%\retractionnoticevolume{0}
%\retractionnoticeidnumber{0000}
%\retractionnoticedoi{10.3390/xxx}

%=================================================================
% Add packages and commands here. The following packages are loaded in our class file: fontenc, inputenc, calc, indentfirst, fancyhdr, graphicx, epstopdf, lastpage, ifthen, lineno, float, amsmath, setspace, enumitem, mathpazo, booktabs, titlesec, etoolbox, tabto, xcolor, soul, multirow, microtype, tikz, totcount, changepage, paracol, attrib, upgreek, cleveref, amsthm, hyphenat, natbib, hyperref, footmisc, url, geometry, newfloat, caption

%=================================================================
%% Please use the following mathematics environments: Theorem, Lemma, Corollary, Proposition, Characterization, Property, Problem, Example, ExamplesandDefinitions, Hypothesis, Remark, Definition, Notation, Assumption
%% For proofs, please use the proof environment (the amsthm package is loaded by the MDPI class).

%=================================================================
% Full title of the paper (Capitalized)
\Title{Functional Epistemology ``Nullifies'' Dyson's Rebuttal of Perturbation Theory}

% MDPI internal command: Title for citation in the left column
\TitleCitation{Open access multistatic radar measurements}

% Author Orchid ID: enter ID or remove command
\newcommand{\orcidauthorA}{0000-0001-6554-2802} % Add \orcidA{} behind the author's name
%\newcommand{\orcidauthorB}{0000-0000-0000-000X} % Add \orcidB{} behind the author's name

% Authors, for the paper (add full first names)
\Author{Karl Svozil $^{1}$\orcidA{}}

% MDPI internal command: Authors, for metadata in PDF
\AuthorNames{Karl Svozil}

% MDPI internal command: Authors, for citation in the left column
\AuthorCitation{Svozil, K.}
% If this is a Chicago style journal: Lastname, Firstname, Firstname Lastname, and Firstname Lastname.

% Affiliations / Addresses (Add [1] after \address if there is only one affiliation.)
\address[1]{%
$^{1}$ \quad Institute for Theoretical Physics, TU Wien, Wiedner Hauptstrasse 8-10/136, 1040 Vienna,  Austria; svozil@tuwien.ac.at; \url{http://tph.tuwien.ac.at/~svozil}}

% Contact information of the corresponding author
\corres{Correspondence: svozil@tuwien.ac.at}

% Current address and/or shared authorship
%\firstnote{Current address: Affiliation 3}
%\secondnote{These authors contributed equally to this work.}
% The commands \thirdnote{} till \eighthnote{} are available for further notes

%\simplesumm{} % Simple summary

%\conference{} % An extended version of a conference paper

% Abstract (Do not insert blank lines, i.e. \\)
\abstract{Functional epistemology is about ways to access functional objects by using varieties of methods and procedures. Not all such means are equally capable of reproducing these functions in the desired consistency and resolution. Dyson's argument against the perturbative expansion of quantum field theoretic terms, in a radical form (never pursued by Dyson), is an example of epistemology taken as ontology.}


% Keywords
%\keyword{Passive radar detection active radar detection, Unidentified Aerial Phenomena, Unidentified Aerial Vehicle, Unidentified Flying Object, Multistatic radar}
%\pacs{}

%\pacs{}
\keyword{Asymptotic divergence, perturbation series, partial function}

% The fields PACS, MSC, and JEL may be left empty or commented out if not applicable
%\PACS{}
%\MSC{}
%\JEL{}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Only for the journal Diversity
%\LSID{\url{http://}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Only for the journal Applied Sciences:
%\featuredapplication{Authors are encouraged to provide a concise description of the specific application or a potential application of the work. This section is not mandatory.}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Only for the journal Data:
%\dataset{DOI number or link to the deposited data set in cases where the data set is published or set to be published separately. If the data set is submitted and will be published as a supplement to this paper in the journal Data, this field will be filled by the editors of the journal. In this case, please make sure to submit the data set as a supplement when entering your manuscript into our manuscript editorial system.}

%\datasetlicense{license under which the data set is made available (CC0, CC-BY, CC-BY-SA, CC-BY-NC, etc.)}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Only for the journal Toxins
%\keycontribution{The breakthroughs or highlights of the manuscript. Authors can write one or two sentences to describe the most important part of the paper.}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Only for the journal Encyclopedia
%\encyclopediadef{Instead of the abstract}
%\entrylink{The Link to this entry published on the encyclopedia platform.}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%\usepackage{amsmath,amssymb}
%\usepackage{mathbbol} %%%% for \mathds{1}
\DeclareFontFamily{U}{bbold}{}
\DeclareFontShape{U}{bbold}{m}{n}
 {
  <-5.5> s*[1.069] bbold5
  <5.5-6.5> s*[1.069] bbold6
  <6.5-7.5> s*[1.069] bbold7
  <7.5-8.5> s*[1.069] bbold8
  <8.5-9.5> s*[1.069] bbold9
  <9.5-11> s*[1.069] bbold10
  <11-15> s*[1.069] bbold12
  <15-> s*[1.069] bbold17
 }{}

\DeclareRobustCommand{\Eins}{%
  \text{\usefont{U}{bbold}{m}{n}1}%
}

\begin{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\setcounter{section}{-1} %% Remove this when starting to work on the template.


\else
\documentclass[%
      reprint,
   twocolumn,
 %superscriptaddress,
 %groupedaddress,
 %unsortedaddress,
 %runinaddress,
 %frontmatterverbose,
 % preprint,
 % showpacs,
 % showkeys,
 % preprintnumbers,
 % nofootinbib,
 %nobibnotes,
 %bibnotes,
 amsmath,amssymb,
 aps,
 % prl,
 pra,
 % prb,
 % rmp,
 %prstab,
 %prstper,
  longbibliography,
 %floatfix,
 %lengthcheck,%
 ]{revtex4-2}

%\usepackage{cdmtcs-pdf}




\usepackage[dvipsnames]{xcolor}

%\usepackage{mathptmx}% http://ctan.org/pkg/mathptmx

\usepackage{amssymb,amsthm,amsmath,bm}

\usepackage{tikz}
\usetikzlibrary{calc,decorations.pathreplacing,decorations.markings,positioning,shapes,snakes}
%\usetikzlibrary{calc,decorations.pathreplacing,decorations.markings,positioning,shapes,snakes,external}
%\tikzexternalize

\usepackage[breaklinks=true,colorlinks=true,anchorcolor=blue,citecolor=blue,filecolor=blue,menucolor=blue,pagecolor=blue,urlcolor=blue,linkcolor=blue]{hyperref}
%\usepackage{graphicx}% Include figure files
\usepackage{url}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\usepackage{iftex}
\ifxetex
%
% XeLaTeX
%
\usepackage{fontspec}
\usepackage{fontspec}
\setmainfont{Garamond}
\setsansfont{Garamond}
%
\fi
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\usepackage{mathbbol} %%%% for \mathds{1}

\begin{document}

\title{Functional Epistemology ``Nullifies'' Dyson's Rebuttal of Perturbation Theory}


\author{Karl Svozil}
\email{svozil@tuwien.ac.at}
\homepage{http://tph.tuwien.ac.at/~svozil}

\affiliation{Institute for Theoretical Physics,
TU Wien,
Wiedner Hauptstrasse 8-10/136,
1040 Vienna,  Austria}


\date{\today}

\begin{abstract}
Functional epistemology is about ways to access functional objects by using varieties of methods and procedures. Not all such means are equally capable of reproducing these functions in the desired consistency and resolution. Dyson's argument against the perturbative expansion of quantum field theoretic terms, in a radical form (never pursued by Dyson), is an example of epistemology taken as ontology.
\end{abstract}

\keywords{Asymptotic divergence, perturbation series, partial function}
%\pacs{}

\maketitle

\fi

\section{Functional epistemology}

Notwithstanding metaphysical preferences about ontological realism, also known as Platonism---asserting that
{\it ``some  [[mathematical or physical objects or]] entities sometimes exist
without being experienced by any finite mind''}~\cite{stace,Parsons1995}---versus mathematical
nominalism---claiming that mathematical entities such as numbers and functions do not exist,
quasi {\it ``a subject with no object''}~\cite{Burgess1999}---every
application of mathematical formalism requires some operational access to these objects and entities.
In a broader perspective this can also be seen as semantics in need for a syntactical formalization.

One important aspect of access is a representation of functional objects and entities
that in some formal form correspond to important aspects of those objects and entities.
Nevertheless, although representations vary---spanning a wide range of efficacies and deficiencies---they
should not be confused with the respective mathematical objects or entities.

The original informal conception of function $y = f(x)$ was that of a unique association of an output ``value'' $y$ given an input ``argument'' $x$.
More recent conceptions consider ordered pairs $\left( x , y \right)$, where again $x$ stands for argument(s) and $y$ for unique value(s);
in particular, there must not be two pairs $\left( x , y \right)$ and $\left( x , y' \right)$ with $y \neq y'$.

This naive functional conception was challenged by G\"odel's, Kleenee's, and Touring's formalization
of what functional ``access'' means; for instance, in the form of paper and pencil operations
on a ``paper machine''~\cite{Turing-Intelligent_Machinery}.
These developments closely followed
the paradigm change from Cantor's naive set theory~\cite{Halmos1974-naiveset}
to axiomatic set theories~\cite{HrbacekJech1999};
for instance, Zermelo-Fraenkel set theory.
Indeed, from a foundational perspective, it might not get worse: Rice's theorem, usually proven by reduction to the halting problem,
states that any nontrivial semantic property of a computable function (evaluated by a Turing machine) is undecidable.

Therefore, due to incompleteness and related theorems,
for the sake of formalization, these earlier intuitive and heuristic perceptions of functional performance
had to be modified and restricted.
The current formalization of functions is in terms of ``desirable'' properties, such as,
in particular, effective computability.
This has resulted in the abandonment of functional totality---the pretension that any (every) arbitrary argument $x$ can be associated with a (unique) value $y$---in favor of partiality:
certain functions, such as predictors of the large-scale performance of deterministic systems, need not have
a value accessible by some algorithm---in short,
there is a difference between determinism and predictability~\cite{suppes-1993}.
In such a regime, it can no longer be maintained that the value $y$ exists ---that is,
can be obtained or accessed by some algorithm or computation.

Typical examples of such ``critical'' functions are Turing's halting function,
or Specker's theorems of recursive analysis~\cite{specker57,specker-ges,kreisel},
or Chaitin's ``halting probability'' $\Omega$ in terms of its bitwise expansion~\cite{calude-dinneen06}.
Physical realizations have been, for instance, by reduction to the halting problem~\cite{Yanofsky2016}, suggested in terms of
undecidable classical dynamics~\cite{moore,Bennett1990ud}, $N$-body problems~\cite{svozil-2007-cestial},
or spectral gaps~\cite{cubit-15}.

It may happen that a program implemented on a computer that ``is supposed to compute a limit''---and, with finite resources,
even ``accesses a few approximations or bounds thereof''---and yet this limit is uncomputable and algorithmically inaccessible:
Because some resources, such as computing time or space, that are necessary to compute this limit with, say,
precision up to its $n$th bit, grow faster asymptotically than any computable function of $n$~\cite{rado}.
In intuitive algorithmic terms the difference between a total versus a partial function may be
imagined as the distinction between a {\tt DO}--loop (with fixed finite beginning, ending and increments) and a {\tt WHILE}-loop.
The latter {\tt WHILE}-loop may or may not ``take forever'', depending on the respective termination condition.

Another area of partial value assignments is quantum mechanics.
Extensions of the Kochen-Specker theorem
suggest that, relative to the assumption of noncontextuality, only a ``star-shaped''~\cite[Fig.~5]{PhysRevA.89.032109}
(in terms of hypergraphs~\cite{Bretto-MR3077516}
representing individual contexts by smooth curves~\cite{greechie:71})
context can have definite value assignments.
Observables in all other contexts must be value indefinite~\cite{pitowsky:218,hru-pit-2003,2015-AnalyticKS}.

Still another issue of functional epistemology is the means relativity of functional representation.
The same function can have very different representations and encodings; some exhibiting more or less problematic issues.
For the sake of an example, we shall later represent one and the same function in five different forms.



The selection of particular means is often not a matter of choice but one of pragmatism or even desperation.
Especially theoretical physicists are often criticized for their ``relaxed'' stance on formal rigor.
Dirac's introduction of the needle-shaped delta function is often quoted as an example.
Heaviside, in another instance, responded to criticism for his use of the ``highly nonsmooth''
unit step function\cite[p.~9, \S~225]{heaviside-EMT}:
{\em ``But then the
rigorous logic of the matter is not plain! Well, what of that?
Shall I refuse my dinner because I do not fully understand the
process of digestion? No, not if I am satisfied with the result.''}


This, in a nutshell, seems to be the attitude of field theorists
regarding the use of perturbation series:
It is well documented~\cite{PhysRev.85.631,LeGuillou-Zinn-Justin,Vainshtein1964-2002}
that the commonly used power series expansion
which can be rewritten as inverse power series expansion
\begin{equation}
\begin{split}
f( \alpha ) = \alpha a_0+a_1\alpha + a_2\alpha^2+ \cdots \\
= \sum_{n=0}^\infty a_n \alpha^n
= \frac{1}{\alpha}  \sum_{n=0}^\infty \frac{a_n}{\left(\frac{1}{\alpha}\right)^{n+1}}
.
\end{split}
\label{2022-nul-Dyson}
\end{equation}
in terms of the fine structure constant $\alpha$---that is, the square of the) coupling constant---is divergent.

For this power series to converge, there has to be a finite radius of convergence
centered at the origin at (fictitious) value $\alpha=0$,
thereby including (fictitious) nonvanishing negative values $\alpha < 0$
within which $F$ has to be analytic.
However, because if the (fictitious) coupling between like charges becomes negative, and because by tunneling this cannot be ``contained'',
the vacuum becomes unstable due to pair creation, and (fictitiously) disintegrates explosively.
Hence, Dyson concludes,
the power series $f(-\alpha)$ cannot converge and thus cannot be analytic---a complete contradiction to the assumption.

An immediate reaction would be to perceive these coincidences as ``bordering on the mysterious''~\cite{wigner}.
This spirit is corroborated~\cite{landau1906uber} by statements like Carrier's Rule, pointing out that
``divergent series converge faster than convergent series because they don't have to converge.''
However, as already surmised by Dyson, quantitative considerations from partial summationss show~\cite[p.~4]{Bleistein-Handelsman}
that convergent series ``initially''---that is, with only ``a few orders'' added---may ``largely deviate'' from
the true value of the function it encodes (eg, consider the straightforward Taylor expansion of $\sin e^{e^{e^{e^e}}}$), whereas some
associated asymptotic divergent series ``initially'' converges toward
this value: a ``reasonable'' approximation can be obtained by taking
relatively few terms of this divergent series; whereas ``many more'' terms of the
convergent series are needed to achieve that same degree of accuracy.

Current experiences in quantum field theory corroborate this view: although the asymptotic perturbation series have a zero radius of convergence,
it is effectively possible to obtain good agreement between theoretical calculations based on asymptotic series
and experimental results.
As it turns out the terms in these asymptotic series become increasingly accurate as the series is extended,
and hence the error in the truncated series decreases as more terms are included.

This is true, in particular, for the QED contribution to the electron anomalous magnetic moment $g-2$
up to the tenth order~\cite{kinoshita-PhysRevLett.109.111807}, as compared with the experimental
value~\cite{Hanneke-PhysRevLett.100.120801,Hanneke-PhysRevA.83.052122}.
The same applies for the muon anomalous magnetic moment~\cite{kinoshita-PhysRevLett.109.111808,Keshavarzi_2022}.
Likewise, the theoretical predictions~\cite{Janka_2022} of the Lamb shift show similar good agreement with experiments~\cite{Bezginov_2019,Ohayon-PhysRevLett.128.011802}.

However, it is important to keep in mind that asymptotic series eventually diverge as more orders are taken into account.
One way of coping with the apparent asymptotic divergence is the resummation of the respective series,
in particular, Borel (re)summations~\cite{Boyd99thedevil,rousseau-2004,Helling-2012,Costin-2009,ZINNJUSTIN20101454,Costin_Dunne_2017},
which are in some instances capable to reconstruct an analytic function
from its asymptotic expansion~\cite{Bruning-1996}.


\section{Euler's series of 1760 and its multiple representations}

For the sake of an example that exhibits a wide spread of varied (asymptotic) behaviors ``catching''
the same ``ontologic'' function (or, from a nominal point of view, the same ``subject without object''), consider a series
\begin{equation}
s(x)  = x - x^2+2x^3-6x^4 + \ldots
\label{2011-m-ch-dseess}
\end{equation}
mentioned by Euler in a 1760 publication~\cite[\S~6, p.~220]{Euler60}.
As already observed by Euler this series can, in a nominal way, be considered a ``solution'' of
\begin{equation}
\begin{split}
\left(\frac{d}{dx} +\frac{1}{x^2}\right) s(x) = \frac{1}{x};
\end{split}
\label{2011-m-ch-dsee}
\end{equation}
associated with the differential operator $\mathfrak{L}_x = \frac{d}{dx} +\frac{1}{x^2}$.
This first-order ordinary differential equation has an irregular (essential) singularity at $x=0$ because
the coefficient of the zeroth derivative  ${1}/{x^2}$ has a pole of order $2$.
Therefore,~(\ref{2011-m-ch-dsee}) is not of the Fuchsian type, and cannot be subjected to the
Frobenius method of creating convergent power series solutions.

Nevertheless, $s(x)$ can be represented in at least five ways,
differing substantially with respect to convergence and utility for (physical) computation and prediction.
In what follows, these cases will be enumerated: $s(x)$ can be represented by
\begin{itemize}
\item[(i)] a convergent Maclaurin series (Ramanujan found a series which converges even more rapidly) solution~(\ref{2022-nul-ef1}) based on the Stieltjes function;
\item[(ii)] a proper (Borel) summation of Euler's divergent series~(\ref{2022-nul-ef2})~\cite[Equation~(3.3)]{rousseau-2004};
\item[(iii)] quadrature, that is, by direct integration of~(\ref{2022-nul-ef3})~\cite[Equation~(3.3)]{rousseau-2004};
\item[(iv)] evaluating Euler's (asymptotic) divergent series~(\ref{2022-nul-ef4}) to ``optimal order''~\cite[Equations~(2.12)-(2.14)]{rousseau-2004}; and
\item[(v)] evaluating the respective inverse factorial series~(\ref{2022-nul-ef5})~\cite[Equation~(5.7)]{Weniger2010}.
\end{itemize}

Let
%
% Stieltjes function
%
$
S(x)
= \int_0^\infty    {e^{-t}}/{(1+tx)} dt
%= ({1}/{x})  \int_0^\infty   {e^{-t}}/({1}/{x}+t) dt
$
stand for the Stieltjes function
(cf.~\cite[formula~5.1.28, page~230]{abramowitz:1964:hmf} but with $x \mapsto \frac{1}{x}$),
%
% Euler-Mascheroni constant
%
$
\gamma
=\lim_{n\rightarrow \infty}\left(
\sum_{j=1}^n \frac{1}{j}- \log n
\right) \approx 0.5772
$,
be the Euler-Mascheroni constant~\cite{Sloane_oeis.org/A001620},
%
% Gamma
%
$\Gamma (z,x)$ represent the upper incomplete gamma function~\cite[formula~6.5.3, page~260]{abramowitz:1964:hmf},
%
% Borel transform
%
${\cal B}s(x)$ be the Borel transform of $s(x)$,
%
% Pochhammer symbols
%
$\left(x\right)_{n}=\Gamma \left(x+n\right)/\Gamma \left( x \right) = x \left(x +1\right)\cdots \left( x + j - 1 \right)$
and $(x)_0=1$
be Pochhammer symbols~\cite[Section~24.1.3, page~824]{abramowitz:1964:hmf},  also known as the rising factorial power, and
%
% Sterling numbers of the first kind
%
${S}_j^{(k)}$
be Sterling numbers of the first kind
that are the polynomial coefficients of the
Pochhammer symbol $(z-j+1)_j$~\cite[Section~24.1.3, page~824]{abramowitz:1964:hmf}; that is,
$ \sum_{k=0}^j {S}_j^{(k)} z^k
= (z-j+1)_j
%= (z-j+1) (z+1-j+1)   \cdots (z+1) z
= (-1)^j  (-z)_j
$
for $j \in \mathbb{N}\cup \{0\}$.
Then
%\begin{equation}
\begin{align}
s(x)
&
=x S(x)
=   e^\frac{1}{x}   \Gamma \left( 0, \frac{1}{x} \right) \nonumber
\\
&
=  - e^\frac{1}{x}   \left[  \gamma - \log x +\sum_{n=1}^\infty \frac{(-1)^n}{n!n x^n} \right]
\label{2022-nul-ef1}
\\
&
%=\sum_{j=0}^\infty a_j z^{j+1}
%\stackrel{\mathfrak{B}}{=}
=
\int_0^\infty {\cal B}S (y)  e^{-\frac{y}{x}}   dy  \nonumber
\\
&= \qquad \int_0^\infty \frac{ e^{-\frac{y}{x}} }{1+y}    dy= \int_0^\infty \frac{ x e^{-t }}{1+xt}    dt
\label{2022-nul-ef2}
\\
&
=
 \int_0^x  \frac{ e^{ \frac{1}{x} -\frac{1}{t}}}{t} dt
\label{2022-nul-ef3}
\\
&
= \sum_{j=0}^\infty (-1)^j j!  x^{j+1}
\label{2022-nul-ef4}
\\
&
= x \sum_{j=0}^\infty \frac{(-1)^j}{\left(\frac{1}{x}\right)_{j+1}} \sum_{k=0}^j {S}_j^{(k)} k!
.
\label{2022-nul-ef5}
\end{align}
%\end{equation}

What we can learn from this prototypic example is the wide variety of mathematical representations
associated with one and the same function. Not everybody might agree with all the equality signs
in (\ref{2022-nul-ef1})--(\ref{2022-nul-ef5}) and the legality of the respective methods though,
thereby reflecting a variety of metamathematical stances.


\section{Quantum field theoretical perturbation series need not diverge}

Let us discuss two critical aspects in the derivation of the power series expansion of~(\ref{2022-nul-Dyson}).
One critical step in the derivation of $f$
amounts to interchanging a sum with an integral
in the case of nonuniform convergence of the former~\cite[Sect.~II.A]{PhysRevD.57.1144}.
One may perceive asymptotic divergence as a ``penalty'' for such manipulations.
It may come as a surprise that those calculations performed well for empirical predictions.

Ritt's theorem inspires one strategy to cope with such issues~\cite{Pittnauer-73,Remmert-1991-tocf} by
stating that any (not necessarily asymptotic) divergent power series with arbitrary coefficients can
be converted into nonunique analytic functions. Thereby, every summand is
multiplied with a suitable nonunique {\em ``convergence factor.''}
(Conversely, every analytic function can be approximated by a unique asymptotic series.)

A general regularisation
of divergent series using such convergence factors,
also called {\em cutoff functions}, has been recently introduced by
Tao~\cite[Section~3.7]{Tao-2013}.
The resulting smoothed sums may become uniformly convergent, thereby
allowing interchanging a sum with an integral
and avoiding the aforementioned issues while preserving
inherent properties of the original divergent series.
This is not dissimilar to the use of test functions in the theory of distributions.


A second critical aspect is the expansion of~(\ref{2022-nul-Dyson}) in terms of a power series, and the resulting vanishing of the radius of convergence.
Dyson already mentioned a possible remedy, his
{\em ``Alternative A: There may be discovered a new method
of carrying through the renormalization program, not making use of power series expansions.''}
One such candidate expansion that does not necessarily share the catastrophic fate of the power series caused by the ``explosive disintegration''
of the vacuum state for negative arguments, is an expansion of $f(\alpha )$ in terms of inverse factorial series~\cite{Watson1912,Doetsch1972}
and recently investigated by Weniger~\cite{Weniger2010} as well as O. Costin, R. D. Costin and Dunne~\cite{Costin2016Aug,Costin_Dunne_2017}:
\begin{equation}
f(\alpha)
=
b_0 \frac{0!}{\alpha}
+
b_1 \frac{1!}{\alpha(\alpha +1)}
+
\ldots
= \sum_{n=0}^\infty b_n \frac{n!}{(\alpha)_{n+1}}
,
\label{2022-nul-ifs}
\end{equation}
where again $\left(\alpha\right)_{n+1}$ are Pochhammer symbols.

Stirling numbers of the first kind ${S}_j^{(k)}$ mentioned earlier
serve as ``translations''---that is, as expansions from
an  inverse  power ${1}/{ \alpha ^{n+1}}$ in terms of  inverse  factorial series $( \alpha )_{n+j+1}$:
for $k  \in \mathbb{N} \cup \{0\}$~\cite[Equation~(6), \S~30, p.~78]{Nielsen-Gammafunktion},
\begin{equation}
\begin{split}
\frac{1}{ \alpha ^{n+1}}  = \sum_{j=0}^\infty \frac{(-1)^j}{( \alpha )_{n+j+1}} {S}_{n+j}^{(n)}
.
\end{split}
\label{2022-m-ch-dsngf}
\end{equation}

The respective ``reverse'' expansion of a Pochhammer symbol $( \alpha )_{k+1}$ in terms of  an inverse power series
${1}/{ \alpha ^{n+j+1}}$
for $k  \in \mathbb{N} \cup \{0\}$ and $\vert \alpha \vert >0$~\cite[Equation~(9), \S~26, p.~68]{Nielsen-Gammafunktion}
is given by
\begin{equation}
\begin{split}
\frac{1}{( \alpha )_{n+1}}  = \sum_{j=0}^\infty \frac{(-1)^j}{\alpha^{n+j+1}} {S}_{n+j}^{(n)}
.
\end{split}
\label{2022-m-ch-dsngfinverse}
\end{equation}



Insertion of~(\ref{2022-m-ch-dsngf})  into~(\ref{2022-nul-Dyson}), rearranging the order of the summations through an index shift $m = n+j$
 with $n \ge 0$  and $j \ge 0$, hence  $m \ge 0$ and $j = m - n \ge 0$ and $n \le m$     yields
\begin{equation}
\begin{split}
f\left(  \alpha  \right)
=  \frac{1}{\alpha}  \sum_{n=0}^\infty a_n \sum_{j=0}^\infty \frac{(-1)^j}{\left(\frac{1}{\alpha}\right)_{n+j+1}} \, {S}_{n+j}^{(n)}
\\
=  \frac{1}{\alpha} \sum_{j=0}^\infty \sum_{n=0}^\infty a_n \frac{(-1)^j}{\left(\frac{1}{\alpha}\right)_{n+j+1}} \, {S}_{n+j}^{(n)}
\\
=  \frac{1}{\alpha} \sum_{m=0}^\infty   \frac{(-1)^m}{\left(\frac{1}{\alpha}\right)_{m+1}} \sum_{n=0}^m (-1)^{\pm n} \, {S}_{m}^{(n)} \,  a_n
.
\end{split}
\label{2022-m-ch-dsinv2}
\end{equation}
Therefore, if we define the inverse power series
$
f'(\beta )
= (1/\beta ) f(1/\beta )=\sum_{m=0}^\infty a'_m/\beta^{m+1}
= \sum_{m=0}^\infty b'_m {m!}/(\beta)_{m+1}
$ with $\beta =1/\alpha$,
then, by comparison,
\begin{equation}
\begin{split}
%f'(\beta ) = \sum_{m=0}^\infty \frac{a'_m}{\beta^{m+1}}
%=  \sum_{m=0}^\infty   \frac{1}{\left( \beta \right)_{m+1}} \sum_{n=0}^m  \begin{pmatrix} m \\ n \end{pmatrix}  a'_n\\
%\text{with }
b_m'= \frac{1}{m!} \sum_{n=0}^m (-1)^{m\pm n} \, {S}_{m}^{(n)} \,  a_n'
.
\end{split}
\label{2022-m-ch-comp}
\end{equation}


For the sake of studying the fascinating convergence~\cite{Nielsen-Gammafunktion,landau1906uber,Doetsch1972,Weniger2010} of the inverse factorial series,
note that terms of the form ${n!}/{(z)_{n+1}}$
can, for large $z\rightarrow \infty$,  be estimated  with the help of~\cite[Formula~6.1.47]{abramowitz:1964:hmf}
$\Gamma(z+a)/\Gamma(z+b)= z^{a-b}\left[1 + O\left(\frac{1}{z}\right) \right]$
and for large $n \rightarrow \infty$ as follows:
\begin{equation}
\begin{split}
\frac{n!}{( \alpha )_{n+1}}
= \frac{\Gamma(n+1)}{\left[\Gamma( \alpha +n+1)/\Gamma( \alpha )\right]}
= \frac{\Gamma(n+1)}{\Gamma(n+1+\alpha)} \Gamma( \alpha )  \\
= (n+1)^{-\alpha}\left[1 + O\left(\frac{1}{n+1}\right) \right]( \alpha -1)!
= O \left( n^{-\alpha} \right).
\end{split}
\label{2022-m-ch-estimate}
\end{equation}

Therefore, the inverse factorial series (\ref{2022-nul-ifs})
converges with the possible
exception of the points $\alpha =-m$ with $m \in   \mathbb{N} \cup \{0\}$
(where the Pochhammer symbols in the denominator might vanish)
if and only if the associated Dirichlet series
$\sum_{n=1}^\infty c_n \, n^{-\alpha }$
converges.

Unlike a power series that has a radius of convergence, a Dirichlet series has an abscissa of convergence
$\Re ( \alpha ) > \lambda$, that is, it converges on this half-plane~\cite[\S~58,~255, page~456]{Knoop1996}.
Therefore, the inverse factorial series may converge for all positive coupling constants $\alpha >0$ although
it may diverge for negative values $\alpha < 0$. The physically relevant region lies within the abscissa of convergence.
Even if the inverse power series diverges factorially, the respective inverse factorial series may converge, but this has to be
checked explicitly.

Thus, as already suggested by Dyson~\cite{PhysRev.85.631},
representing quantum field theoretical entities in terms of the
Tomonaga-Schwinger-Feynman-Dyson power series expansion in the coupling constant~\cite{Dysen-49}
may suffice for all practical purposes~\cite{bell-a} so far,
although their divergencies may cause uneasiness for a variety of (pragmatic and formal) reasons.
One should not confuse these field-theoretic entities with their actual representations; that is,
functional ontology with epistemology.
Such considerations might present a positive outlook for an improved theory of convergent perturbation series.
A candidate for such a theory might be inverse factorial expansions exhibiting an abscissa rather than a radius of convergence.

However, a convergence issue encountered in inverse factorial series is the Stokes phenomenon~\cite{Costin2016Aug,Costin_2017}:
the asymptotic behavior of functions need not be uniform in different regions of the complex plane, bounded by (anti-)Stokes lines.
In particular, inverse factorial series may not be suitable for the study of Stokes phenomena if Stokes lines
are present in the right complex half-plane $\Re ( \alpha ) > \lambda $ because of the singularities on these Stokes lines.
One may conjecture that inverse factorials might converge in regions where the associated power series are Borel summable;
yet convergence fails in the presence of Stokes lines.
This would mean that quantum field theories have convergent inverse factorial expansions only in less than four dimensions;
and that this expansion might fail for four dimensions.
Nevertheless, Berry, O Costin, R. D. Costin and Howls have pointed out~\cite[p.~10]{costin2016} that,
although {\it ``typically, classical factorial series have two major limitations: slow
convergence, at best power-like, and a limited domain of convergence (a half
plane which cannot be centered on the asymptotically important Stokes line) $\ldots$
for resurgent functions these limitations can be overcome. Ecall\'e--Borel summable series can be summed by rapidly convergent factorial series.''}

Transseries from Borel-Ecall\'e summations of divergent (power) series offer a method to ``recover''
nonperturbative information from such power series~\cite{Costin_1995,Edgar-2009},
thereby indicating that the divergent perturbative power series expansion contains information of the nonperturbative kind.
The situation is not totally dissimilar from tempered distributions: using test functions with unbounded (noncompact) support
allows the representation and reconstruction of generalized functions by Fourier transforms.


A further method for alternative representations of functions are Pad\'e approximations
by rational functions (of given order) near a specific point.
Pad\'e approximantions offer practical methods of defining
and computating the value of a power series even if such series diverge~\cite{baker_graves-morris_1996}.


%Suppose it is unknown whether some mathematical entity has a representation
%in terms of common analytic functions.
%Nevertheless, in such cases often (power) series representations can be found.
%The partial sums of those series may converge---hopefully with a ``good'' rate of convergence---or diverge.
%In the latter case one can still hope for asymptotic~\cite{Erdelyi-1956,Dingle-1973,Bender-Orszag}
%divergence which is heuristically
% characterized by reasonable, increasingly better estimates of the solution up to some ``optimal'' order of the (power) series,
%at which point the quality of the approximation deteriorates.


\section{Summary}

In this brief expos\'e I have bundled together two ideas:
first, that mathematical objects or entitities such as functions or proofs~\cite{ziegler-aigner} may have very varied representations and realizations.
Not all of them might require comparable means to access them---think of convergence or (asymptotic) divergence, or of partial functions.
Different means might not be equally appropriate or sufficient and necessary for different purposes.

Second, in particular and more specifically, as conjectured already by Dyson,
arguments against the existence or convergence of power expansions of Tomonaga-Schwinger-Feynman-Dyson perturbative quantum field theory
might be ``liftable'' by using other expansion techniques.

For the sake of illustration, suppose for a moment that G\"odel's ``unadulterated'' Platonism~\cite{kreisel-80,Parsons1995} is acceptable.
(An analogous argument can be made within nominalism.)
Then mathematical objects or entities such as functions can be conceptualized by their ontological existence.

However,
on second thought, it is an entirely different, highly nontrivial, issue to ``touch'' or to epistemically access those objects or entities.
We have presented some examples of such access which analytically spread over a wide variety of
(asymptotic) divergent and convergent expressions.

We have, in particular, argued that (asymptotic) divergence
of a particular type of perturbation series based on power series expansions
could be overcome by other methods of perturbative series; in particular,
by inverse factorial series.
This still leaves open the consistent existence of quantum field theory,
but at least it indicates conceivable convergent access to quantum field theoretical objects and functions.




\ifx\revtex\undefined

\funding{This research was funded in whole, or in part, by the Austrian Science Fund (FWF), Project No. I 4579-N. For the purpose of open access, the author has applied a CC BY public copyright licence to any Author Accepted Manuscript version arising from this submission.
}

\acknowledgments{I kindly acknowledge explanations by and considerations with Cristian S. Calude, Alexander Leitsch and Noson S. Yanofsky,
as well as discussions with and suggestions by Thomas Sommer. {\it Mea culpa} if I got them wrong!}

\conflictsofinterest{


The author declares no conflict of interest.
The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the~results.}


\else

\begin{acknowledgments}


I kindly acknowledge explanations and considerations with Cristian S. Calude, Alexander Leitsch and Noson S. Yanofsky,
as well as discussions with and suggestions by Thomas Sommer. Their patience with me is highly appreciated. Mea culpa if I got them wrong!

This research was funded in whole, or in part, by the Austrian Science Fund (FWF), Project No. I 4579-N. For the purpose of open access, the author has applied a CC BY public copyright licence to any Author Accepted Manuscript version arising from this submission.


The author declares no conflict of interest.
\end{acknowledgments}

\fi


\ifx\revtex\undefined

\end{paracol}
\reftitle{References}

% Please provide either the correct journal abbreviation (e.g. according to the “List of Title Word Abbreviations” http://www.issn.org/services/online-services/access-to-the-ltwa/) or the full name of the journal.
% Citations and References in Supplementary files are permitted provided that they also appear in the reference list here.

%=====================================
% References, variant A: external bibliography
%=====================================
 \externalbibliography{yes}
 \bibliography{svozil,ufo}




\else

% \bibliography{svozil,ufo}


%apsrev4-2.bst 2019-01-14 (MD) hand-edited version of apsrev4-1.bst
%Control: key (0)
%Control: author (8) initials jnrlst
%Control: editor formatted (1) identically to author
%Control: production of article title (0) allowed
%Control: page (0) single
%Control: year (1) truncated
%Control: production of eprint (0) enabled
\begin{thebibliography}{67}%
\makeatletter
\providecommand \@ifxundefined [1]{%
 \@ifx{#1\undefined}
}%
\providecommand \@ifnum [1]{%
 \ifnum #1\expandafter \@firstoftwo
 \else \expandafter \@secondoftwo
 \fi
}%
\providecommand \@ifx [1]{%
 \ifx #1\expandafter \@firstoftwo
 \else \expandafter \@secondoftwo
 \fi
}%
\providecommand \natexlab [1]{#1}%
\providecommand \enquote  [1]{``#1''}%
\providecommand \bibnamefont  [1]{#1}%
\providecommand \bibfnamefont [1]{#1}%
\providecommand \citenamefont [1]{#1}%
\providecommand \href@noop [0]{\@secondoftwo}%
\providecommand \href [0]{\begingroup \@sanitize@url \@href}%
\providecommand \@href[1]{\@@startlink{#1}\@@href}%
\providecommand \@@href[1]{\endgroup#1\@@endlink}%
\providecommand \@sanitize@url [0]{\catcode `\\12\catcode `\$12\catcode
  `\&12\catcode `\#12\catcode `\^12\catcode `\_12\catcode `\%12\relax}%
\providecommand \@@startlink[1]{}%
\providecommand \@@endlink[0]{}%
\providecommand \url  [0]{\begingroup\@sanitize@url \@url }%
\providecommand \@url [1]{\endgroup\@href {#1}{\urlprefix }}%
\providecommand \urlprefix  [0]{URL }%
\providecommand \Eprint [0]{\href }%
\providecommand \doibase [0]{https://doi.org/}%
\providecommand \selectlanguage [0]{\@gobble}%
\providecommand \bibinfo  [0]{\@secondoftwo}%
\providecommand \bibfield  [0]{\@secondoftwo}%
\providecommand \translation [1]{[#1]}%
\providecommand \BibitemOpen [0]{}%
\providecommand \bibitemStop [0]{}%
\providecommand \bibitemNoStop [0]{.\EOS\space}%
\providecommand \EOS [0]{\spacefactor3000\relax}%
\providecommand \BibitemShut  [1]{\csname bibitem#1\endcsname}%
\let\auto@bib@innerbib\@empty
%</preamble>
\bibitem [{\citenamefont {Stace}(1934)}]{stace}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {W.~T.}\ \bibnamefont
  {Stace}},\ }\bibfield  {title} {\bibinfo {title} {The refutation of
  realism},\ }\href {https://doi.org/10.1093/mind/XLIII.170.145} {\bibfield
  {journal} {\bibinfo  {journal} {Mind}\ }\textbf {\bibinfo {volume} {43}},\
  \bibinfo {pages} {145} (\bibinfo {year} {1934})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Parsons}(1995)}]{Parsons1995}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {C.}~\bibnamefont
  {Parsons}},\ }\bibfield  {title} {\bibinfo {title} {Platonism and
  mathematical intuition in {K}urt {G}\"odel's thought},\ }\href
  {https://doi.org/10.2307/420946} {\bibfield  {journal} {\bibinfo  {journal}
  {Bulletin of Symbolic Logic}\ }\textbf {\bibinfo {volume} {1}},\ \bibinfo
  {pages} {44} (\bibinfo {year} {1995})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Burgess}\ and\ \citenamefont
  {Rosen}(1999)}]{Burgess1999}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~P.}\ \bibnamefont
  {Burgess}}\ and\ \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont
  {Rosen}},\ }\href {https://doi.org/10.1093/0198250126.001.0001} {\emph
  {\bibinfo {title} {A Subject With No Object}}}\ (\bibinfo  {publisher}
  {Oxford University Press},\ \bibinfo {year} {1999})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Turing}(1968)}]{Turing-Intelligent_Machinery}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.~M.}\ \bibnamefont
  {Turing}},\ }\bibfield  {title} {\bibinfo {title} {Intelligent machinery},\
  }in\ \href@noop {} {\emph {\bibinfo {booktitle} {{C}ybernetics. {K}ey
  Papers}}},\ \bibinfo {editor} {edited by\ \bibinfo {editor} {\bibfnamefont
  {C.~R.}\ \bibnamefont {Evans}}\ and\ \bibinfo {editor} {\bibfnamefont
  {A.~D.~J.}\ \bibnamefont {Robertson}}}\ (\bibinfo  {publisher}
  {Butterworths},\ \bibinfo {address} {London},\ \bibinfo {year} {1968})\ pp.\
  \bibinfo {pages} {27--52}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Halmos}(1974)}]{Halmos1974-naiveset}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {P.~R.}\ \bibnamefont
  {Halmos}},\ }\href {https://doi.org/10.1007/978-1-4757-1645-0} {\emph
  {\bibinfo {title} {Naive Set Theory}}},\ Undergraduate Texts in Mathematics\
  (\bibinfo  {publisher} {Springer},\ \bibinfo {address} {New York, NY, USA},\
  \bibinfo {year} {1974})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Hrbacek}\ and\ \citenamefont
  {Jech}(1999)}]{HrbacekJech1999}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {K.}~\bibnamefont
  {Hrbacek}}\ and\ \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Jech}},\
  }\href {https://doi.org/10.1201/9781315274096} {\emph {\bibinfo {title}
  {Introduction to Set Theory}}},\ \bibinfo {edition} {3rd}\ ed.\ (\bibinfo
  {publisher} {{CRC} Press},\ \bibinfo {address} {Boca Raton, FL, USA},\
  \bibinfo {year} {1999})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Suppes}(1993)}]{suppes-1993}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {P.}~\bibnamefont
  {Suppes}},\ }\bibfield  {title} {\bibinfo {title} {The transcendental
  character of determinism},\ }\href
  {https://doi.org/10.1111/j.1475-4975.1993.tb00266.x} {\bibfield  {journal}
  {\bibinfo  {journal} {Midwest Studies In Philosophy}\ }\textbf {\bibinfo
  {volume} {18}},\ \bibinfo {pages} {242} (\bibinfo {year} {1993})}\BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Specker}(1959)}]{specker57}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {E.}~\bibnamefont
  {Specker}},\ }\bibfield  {title} {\bibinfo {title} {Der {S}atz vom {M}aximum
  in der rekursiven {A}nalysis},\ }in\ \href
  {https://doi.org/10.1007/978-3-0348-9259-9\_12} {\emph {\bibinfo {booktitle}
  {Constructivity in mathematics: proceedings of the colloquium held at
  Amsterdam, 1957}}},\ \bibinfo {editor} {edited by\ \bibinfo {editor}
  {\bibfnamefont {A.}~\bibnamefont {Heyting}}}\ (\bibinfo  {publisher}
  {North-Holland Publishing Company},\ \bibinfo {address} {Amsterdam},\
  \bibinfo {year} {1959})\ pp.\ \bibinfo {pages} {254--265},\ \bibinfo {note}
  {reprinted in Ref.~\cite[pp. 148-159]{specker-ges}; {E}nglish translation:
  {\it Theorems of Analysis which cannot be proven constructively}}\BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Specker}(1990)}]{specker-ges}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {E.}~\bibnamefont
  {Specker}},\ }\href {https://doi.org/10.1007/978-3-0348-9259-9} {\emph
  {\bibinfo {title} {Selecta}}}\ (\bibinfo  {publisher} {Birkh{\"{a}}user
  Verlag},\ \bibinfo {address} {Basel},\ \bibinfo {year} {1990})\BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Kreisel}(1974)}]{kreisel}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {G.}~\bibnamefont
  {Kreisel}},\ }\bibfield  {title} {\bibinfo {title} {A notion of mechanistic
  theory},\ }\href {https://doi.org/10.1007/BF00484949} {\bibfield  {journal}
  {\bibinfo  {journal} {Synthese}\ }\textbf {\bibinfo {volume} {29}},\ \bibinfo
  {pages} {11} (\bibinfo {year} {1974})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Calude}\ and\ \citenamefont
  {Dinneen}(2007)}]{calude-dinneen06}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {C.~S.}\ \bibnamefont
  {Calude}}\ and\ \bibinfo {author} {\bibfnamefont {M.~J.}\ \bibnamefont
  {Dinneen}},\ }\bibfield  {title} {\bibinfo {title} {Exact approximations of
  omega numbers},\ }\href {https://doi.org/10.1142/S0218127407018130}
  {\bibfield  {journal} {\bibinfo  {journal} {International Journal of
  Bifurcation and Chaos}\ }\textbf {\bibinfo {volume} {17}},\ \bibinfo {pages}
  {1937} (\bibinfo {year} {2007})},\ \bibinfo {note} {{CDMTCS} report series
  293}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Yanofsky}(2016)}]{Yanofsky2016}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {N.~S.}\ \bibnamefont
  {Yanofsky}},\ }\bibfield  {title} {\bibinfo {title} {Paradoxes,
  contradictions, and the limits of science},\ }\href
  {https://doi.org/10.1511/2016.120.166} {\bibfield  {journal} {\bibinfo
  {journal} {American Scientist}\ }\textbf {\bibinfo {volume} {104}},\ \bibinfo
  {pages} {166} (\bibinfo {year} {2016})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Moore}(1990)}]{moore}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {C.~D.}\ \bibnamefont
  {Moore}},\ }\bibfield  {title} {\bibinfo {title} {Unpredictability and
  undecidability in dynamical systems},\ }\href
  {https://doi.org/10.1103/PhysRevLett.64.2354} {\bibfield  {journal} {\bibinfo
   {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {64}},\
  \bibinfo {pages} {2354} (\bibinfo {year} {1990})},\ \bibinfo {note} {cf. Ch.
  Bennett, {\sl Nature}, {\bf 346}, 606 (1990)}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bennett}(1990)}]{Bennett1990ud}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {C.~H.}\ \bibnamefont
  {Bennett}},\ }\bibfield  {title} {\bibinfo {title} {Undecidable dynamics},\
  }\href {https://doi.org/10.1038/346606a0} {\bibfield  {journal} {\bibinfo
  {journal} {Nature}\ }\textbf {\bibinfo {volume} {346}},\ \bibinfo {pages}
  {606} (\bibinfo {year} {1990})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Svozil}(2007)}]{svozil-2007-cestial}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {K.}~\bibnamefont
  {Svozil}},\ }\bibfield  {title} {\bibinfo {title} {Omega and the time
  evolution of the $n$-body problem},\ }in\ \href
  {https://doi.org/10.1142/9789812770837\_0013} {\emph {\bibinfo {booktitle}
  {Randomness and Complexity, from {L}eibniz to {C}haitin}}},\ \bibinfo
  {editor} {edited by\ \bibinfo {editor} {\bibfnamefont {C.~S.}\ \bibnamefont
  {Calude}}}\ (\bibinfo  {publisher} {World Scientific},\ \bibinfo {address}
  {Singapore},\ \bibinfo {year} {2007})\ pp.\ \bibinfo {pages} {231--236},\
  \Eprint {https://arxiv.org/abs/arXiv:physics/0703031} {arXiv:physics/0703031}
  \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Cubitt}\ \emph {et~al.}(2015)\citenamefont {Cubitt},
  \citenamefont {Perez-Garcia},\ and\ \citenamefont {Wolf}}]{cubit-15}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.~S.}\ \bibnamefont
  {Cubitt}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont
  {Perez-Garcia}},\ and\ \bibinfo {author} {\bibfnamefont {M.~M.}\ \bibnamefont
  {Wolf}},\ }\bibfield  {title} {\bibinfo {title} {Undecidability of the
  spectral gap},\ }\href {https://doi.org/10.1038/nature16059} {\bibfield
  {journal} {\bibinfo  {journal} {Nature}\ }\textbf {\bibinfo {volume} {528}},\
  \bibinfo {pages} {207} (\bibinfo {year} {2015})},\ \Eprint
  {https://arxiv.org/abs/arXiv:1502.04135,arXiv:1502.04573}
  {arXiv:1502.04135,arXiv:1502.04573} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Rado}(1962)}]{rado}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Rado}},\ }\bibfield  {title} {\bibinfo {title} {On non-computable
  functions},\ }\href {https://doi.org/10.1002/j.1538-7305.1962.tb00480.x}
  {\bibfield  {journal} {\bibinfo  {journal} {The Bell System Technical
  Journal}\ }\textbf {\bibinfo {volume} {XLI(41)}},\ \bibinfo {pages} {877}
  (\bibinfo {year} {1962})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Abbott}\ \emph {et~al.}(2014)\citenamefont {Abbott},
  \citenamefont {Calude},\ and\ \citenamefont {Svozil}}]{PhysRevA.89.032109}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.~A.}\ \bibnamefont
  {Abbott}}, \bibinfo {author} {\bibfnamefont {C.~S.}\ \bibnamefont {Calude}},\
  and\ \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Svozil}},\
  }\bibfield  {title} {\bibinfo {title} {Value-indefinite observables are
  almost everywhere},\ }\href {https://doi.org/10.1103/PhysRevA.89.032109}
  {\bibfield  {journal} {\bibinfo  {journal} {Physical Review A}\ }\textbf
  {\bibinfo {volume} {89}},\ \bibinfo {pages} {032109} (\bibinfo {year}
  {2014})},\ \Eprint {https://arxiv.org/abs/arXiv:1309.7188} {arXiv:1309.7188}
  \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bretto}(2013)}]{Bretto-MR3077516}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Bretto}},\ }\href {https://doi.org/10.1007/978-3-319-00080-0} {\emph
  {\bibinfo {title} {Hypergraph theory}}},\ Mathematical Engineering\ (\bibinfo
   {publisher} {Springer},\ \bibinfo {address} {Cham, Heidelberg, New York,
  Dordrecht, London},\ \bibinfo {year} {2013})\ pp.\ \bibinfo {pages}
  {xiv+119}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Greechie}(1971)}]{greechie:71}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {R.~J.}\ \bibnamefont
  {Greechie}},\ }\bibfield  {title} {\bibinfo {title} {Orthomodular lattices
  admitting no states},\ }\href {https://doi.org/10.1016/0097-3165(71)90015-X}
  {\bibfield  {journal} {\bibinfo  {journal} {Journal of Combinatorial Theory.
  {S}eries {A}}\ }\textbf {\bibinfo {volume} {10}},\ \bibinfo {pages} {119}
  (\bibinfo {year} {1971})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Pitowsky}(1998)}]{pitowsky:218}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {I.}~\bibnamefont
  {Pitowsky}},\ }\bibfield  {title} {\bibinfo {title} {Infinite and finite
  {G}leason's theorems and the logic of indeterminacy},\ }\href
  {https://doi.org/10.1063/1.532334} {\bibfield  {journal} {\bibinfo  {journal}
  {Journal of Mathematical Physics}\ }\textbf {\bibinfo {volume} {39}},\
  \bibinfo {pages} {218} (\bibinfo {year} {1998})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Hrushovski}\ and\ \citenamefont
  {Pitowsky}(2004)}]{hru-pit-2003}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {E.}~\bibnamefont
  {Hrushovski}}\ and\ \bibinfo {author} {\bibfnamefont {I.}~\bibnamefont
  {Pitowsky}},\ }\bibfield  {title} {\bibinfo {title} {Generalizations of
  {K}ochen and {S}pecker's theorem and the effectiveness of {G}leason's
  theorem},\ }\href {https://doi.org/10.1016/j.shpsb.2003.10.002} {\bibfield
  {journal} {\bibinfo  {journal} {Studies in History and Philosophy of Science
  Part B: Studies in History and Philosophy of Modern Physics}\ }\textbf
  {\bibinfo {volume} {35}},\ \bibinfo {pages} {177} (\bibinfo {year} {2004})},\
  \Eprint {https://arxiv.org/abs/arXiv:quant-ph/0307139}
  {arXiv:quant-ph/0307139} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Abbott}\ \emph {et~al.}(2015)\citenamefont {Abbott},
  \citenamefont {Calude},\ and\ \citenamefont {Svozil}}]{2015-AnalyticKS}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.~A.}\ \bibnamefont
  {Abbott}}, \bibinfo {author} {\bibfnamefont {C.~S.}\ \bibnamefont {Calude}},\
  and\ \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Svozil}},\
  }\bibfield  {title} {\bibinfo {title} {A variant of the {K}ochen-{S}pecker
  theorem localising value indefiniteness},\ }\href
  {https://doi.org/10.1063/1.4931658} {\bibfield  {journal} {\bibinfo
  {journal} {Journal of Mathematical Physics}\ }\textbf {\bibinfo {volume}
  {56}},\ \bibinfo {eid} {102201} (\bibinfo {year} {2015})},\ \Eprint
  {https://arxiv.org/abs/arXiv:1503.01985} {arXiv:1503.01985} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Heaviside}(1912)}]{heaviside-EMT}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {O.}~\bibnamefont
  {Heaviside}},\ }\href {http://archive.org/details/electromagnetict02heavrich}
  {\emph {\bibinfo {title} {Electromagnetic theory}}}\ (\bibinfo  {publisher}
  {``The Electrician'' Printing and Publishing Corporation},\ \bibinfo
  {address} {London},\ \bibinfo {year} {1894-1912})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Dyson}(1952)}]{PhysRev.85.631}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {F.~J.}\ \bibnamefont
  {Dyson}},\ }\bibfield  {title} {\bibinfo {title} {Divergence of perturbation
  theory in quantum electrodynamics},\ }\href
  {https://doi.org/10.1103/PhysRev.85.631} {\bibfield  {journal} {\bibinfo
  {journal} {Physical Review}\ }\textbf {\bibinfo {volume} {85}},\ \bibinfo
  {pages} {631} (\bibinfo {year} {1952})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {{Le Guillou}}\ and\ \citenamefont
  {Zinn-Justin}(2013)}]{LeGuillou-Zinn-Justin}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~C.}\ \bibnamefont
  {{Le Guillou}}}\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont
  {Zinn-Justin}},\ }\href
  {https://www.elsevier.com/books/large-order-behaviour-of-perturbation-theory/le-guillou/978-0-444-88597-5}
  {\emph {\bibinfo {title} {Large-Order Behaviour of Perturbation Theory}}},\
  \bibinfo {series} {Current Physics-Sources and Comments}, Vol.~\bibinfo
  {volume} {7}\ (\bibinfo  {publisher} {North Holland, Elsevier},\ \bibinfo
  {address} {Amsterdam},\ \bibinfo {year} {1990,2013})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Vainshtein}(2002)}]{Vainshtein1964-2002}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.~I.}\ \bibnamefont
  {Vainshtein}},\ }\bibfield  {title} {\bibinfo {title} {Decaying systems and
  divergence of the series of perturbation theory},\ }in\ \href
  {https://doi.org/10.1142/9789812776310_others01} {\emph {\bibinfo {booktitle}
  {Continuous Advances in {QCD} 2002}}}\ (\bibinfo  {publisher} {World
  Scientific Publishing Co. Pte. Ltd.},\ \bibinfo {address} {Singapore},\
  \bibinfo {year} {2002})\ \bibinfo {note} {novosibirsk Institute of Nuclear
  Physics Report, December 1964; reprinted in the proceedings of the Conference
  ``2002 Arkadyfest-Honoring the 60th Birthday of Arkady Vainshtein'' held
  17-23 May 2002 at the University of Minnesota; foreword and translation by M.
  A. Shifman}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Wigner}(1960)}]{wigner}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {E.~P.}\ \bibnamefont
  {Wigner}},\ }\bibfield  {title} {\bibinfo {title} {The unreasonable
  effectiveness of mathematics in the natural sciences. {R}ichard {C}ourant
  {L}ecture delivered at {N}ew {Y}ork {U}niversity, {M}ay 11, 1959},\ }\href
  {https://doi.org/10.1002/cpa.3160130102} {\bibfield  {journal} {\bibinfo
  {journal} {Communications on Pure and Applied Mathematics}\ }\textbf
  {\bibinfo {volume} {13}},\ \bibinfo {pages} {1} (\bibinfo {year}
  {1960})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Landau}(1906)}]{landau1906uber}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {E.}~\bibnamefont
  {Landau}},\ }\bibfield  {title} {\bibinfo {title} {{\"U}ber die {G}rundlagen
  der {T}heorie der {F}akult\"atenreihen},\ }\href
  {https://www.zobodat.at/pdf/Sitz-Ber-Akad-Muenchen-math-Kl\_1906\_0151-0482.pdf}
  {\bibfield  {journal} {\bibinfo  {journal} {Sitzungsberichte der Bayerischen
  Akademie der Wissenschaften}\ }\textbf {\bibinfo {volume} {36}},\ \bibinfo
  {pages} {151} (\bibinfo {year} {1906})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bleistein}\ and\ \citenamefont
  {Handelsman}(1986)}]{Bleistein-Handelsman}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont
  {Bleistein}}\ and\ \bibinfo {author} {\bibfnamefont {R.~A.}\ \bibnamefont
  {Handelsman}},\ }\href@noop {} {\emph {\bibinfo {title} {Asymptotic
  Expansions of Integrals}}},\ Dover Books on Mathematics\ (\bibinfo
  {publisher} {Dover},\ \bibinfo {year} {1975, 1986})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Aoyama}\ \emph
  {et~al.}(2012{\natexlab{a}})\citenamefont {Aoyama}, \citenamefont {Hayakawa},
  \citenamefont {Kinoshita},\ and\ \citenamefont
  {Nio}}]{kinoshita-PhysRevLett.109.111807}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Aoyama}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Hayakawa}},
  \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Kinoshita}},\ and\
  \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Nio}},\ }\bibfield
  {title} {\bibinfo {title} {Tenth-order {QED} contribution to the electron
  $g-2$ and an improved value of the fine structure constant},\ }\href
  {https://doi.org/10.1103/PhysRevLett.109.111807} {\bibfield  {journal}
  {\bibinfo  {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume}
  {109}},\ \bibinfo {pages} {111807} (\bibinfo {year}
  {2012}{\natexlab{a}})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Hanneke}\ \emph {et~al.}(2008)\citenamefont
  {Hanneke}, \citenamefont {Fogwell},\ and\ \citenamefont
  {Gabrielse}}]{Hanneke-PhysRevLett.100.120801}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont
  {Hanneke}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Fogwell}},\
  and\ \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Gabrielse}},\
  }\bibfield  {title} {\bibinfo {title} {New measurement of the electron
  magnetic moment and the fine structure constant},\ }\href
  {https://doi.org/10.1103/PhysRevLett.100.120801} {\bibfield  {journal}
  {\bibinfo  {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume}
  {100}},\ \bibinfo {pages} {120801} (\bibinfo {year} {2008})}\BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Hanneke}\ \emph {et~al.}(2011)\citenamefont
  {Hanneke}, \citenamefont {Fogwell~Hoogerheide},\ and\ \citenamefont
  {Gabrielse}}]{Hanneke-PhysRevA.83.052122}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont
  {Hanneke}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont
  {Fogwell~Hoogerheide}},\ and\ \bibinfo {author} {\bibfnamefont
  {G.}~\bibnamefont {Gabrielse}},\ }\bibfield  {title} {\bibinfo {title}
  {Cavity control of a single-electron quantum cyclotron: Measuring the
  electron magnetic moment},\ }\href
  {https://doi.org/10.1103/PhysRevA.83.052122} {\bibfield  {journal} {\bibinfo
  {journal} {Phys. Rev. A}\ }\textbf {\bibinfo {volume} {83}},\ \bibinfo
  {pages} {052122} (\bibinfo {year} {2011})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Aoyama}\ \emph
  {et~al.}(2012{\natexlab{b}})\citenamefont {Aoyama}, \citenamefont {Hayakawa},
  \citenamefont {Kinoshita},\ and\ \citenamefont
  {Nio}}]{kinoshita-PhysRevLett.109.111808}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Aoyama}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Hayakawa}},
  \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Kinoshita}},\ and\
  \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Nio}},\ }\bibfield
  {title} {\bibinfo {title} {Complete tenth-order qed contribution to the muon
  $g-2$},\ }\href {https://doi.org/10.1103/PhysRevLett.109.111808} {\bibfield
  {journal} {\bibinfo  {journal} {Physical Review Letters}\ }\textbf {\bibinfo
  {volume} {109}},\ \bibinfo {pages} {111808} (\bibinfo {year}
  {2012}{\natexlab{b}})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Keshavarzi}\ \emph {et~al.}(2022)\citenamefont
  {Keshavarzi}, \citenamefont {Khaw},\ and\ \citenamefont
  {Yoshioka}}]{Keshavarzi_2022}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Keshavarzi}}, \bibinfo {author} {\bibfnamefont {K.~S.}\ \bibnamefont
  {Khaw}},\ and\ \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Yoshioka}},\ }\bibfield  {title} {\bibinfo {title} {Muon $g-2$: A review},\
  }\href {https://doi.org/10.1016/j.nuclphysb.2022.115675} {\bibfield
  {journal} {\bibinfo  {journal} {Nuclear Physics B}\ }\textbf {\bibinfo
  {volume} {975}},\ \bibinfo {pages} {115675} (\bibinfo {year}
  {2022})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Janka}\ \emph {et~al.}(2022)\citenamefont {Janka},
  \citenamefont {Ohayon},\ and\ \citenamefont {Crivelli}}]{Janka_2022}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {G.}~\bibnamefont
  {Janka}}, \bibinfo {author} {\bibfnamefont {B.}~\bibnamefont {Ohayon}},\ and\
  \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Crivelli}},\ }\bibfield
  {title} {\bibinfo {title} {Muonium lamb shift: theory update and experimental
  prospects},\ }\href {https://doi.org/10.1051/epjconf/202226201001} {\bibfield
   {journal} {\bibinfo  {journal} {{EPJ} Web of Conferences}\ }\textbf
  {\bibinfo {volume} {262}},\ \bibinfo {pages} {01001} (\bibinfo {year}
  {2022})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bezginov}\ \emph {et~al.}(2019)\citenamefont
  {Bezginov}, \citenamefont {Valdez}, \citenamefont {Horbatsch}, \citenamefont
  {Marsman}, \citenamefont {Vutha},\ and\ \citenamefont
  {Hessels}}]{Bezginov_2019}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont
  {Bezginov}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Valdez}},
  \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Horbatsch}}, \bibinfo
  {author} {\bibfnamefont {A.}~\bibnamefont {Marsman}}, \bibinfo {author}
  {\bibfnamefont {A.~C.}\ \bibnamefont {Vutha}},\ and\ \bibinfo {author}
  {\bibfnamefont {E.~A.}\ \bibnamefont {Hessels}},\ }\bibfield  {title}
  {\bibinfo {title} {A measurement of the atomic hydrogen lamb shift and the
  proton charge radius},\ }\href {https://doi.org/10.1126/science.aau7807}
  {\bibfield  {journal} {\bibinfo  {journal} {Science}\ }\textbf {\bibinfo
  {volume} {365}},\ \bibinfo {pages} {1007} (\bibinfo {year}
  {2019})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Ohayon}\ \emph {et~al.}(2022)\citenamefont {Ohayon},
  \citenamefont {Janka}, \citenamefont {Cortinovis}, \citenamefont {Burkley},
  \citenamefont {Borges}, \citenamefont {Depero}, \citenamefont {Golovizin},
  \citenamefont {Ni}, \citenamefont {Salman}, \citenamefont {Suter},
  \citenamefont {Vigo}, \citenamefont {Prokscha},\ and\ \citenamefont
  {Crivelli}}]{Ohayon-PhysRevLett.128.011802}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {B.}~\bibnamefont
  {Ohayon}}, \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Janka}},
  \bibinfo {author} {\bibfnamefont {I.}~\bibnamefont {Cortinovis}}, \bibinfo
  {author} {\bibfnamefont {Z.}~\bibnamefont {Burkley}}, \bibinfo {author}
  {\bibfnamefont {L.~d.~S.}\ \bibnamefont {Borges}}, \bibinfo {author}
  {\bibfnamefont {E.}~\bibnamefont {Depero}}, \bibinfo {author} {\bibfnamefont
  {A.}~\bibnamefont {Golovizin}}, \bibinfo {author} {\bibfnamefont
  {X.}~\bibnamefont {Ni}}, \bibinfo {author} {\bibfnamefont {Z.}~\bibnamefont
  {Salman}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Suter}},
  \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Vigo}}, \bibinfo {author}
  {\bibfnamefont {T.}~\bibnamefont {Prokscha}},\ and\ \bibinfo {author}
  {\bibfnamefont {P.}~\bibnamefont {Crivelli}} (\bibinfo {collaboration}
  {Mu-MASS Collaboration}),\ }\bibfield  {title} {\bibinfo {title} {Precision
  measurement of the lamb shift in muonium},\ }\href
  {https://doi.org/10.1103/PhysRevLett.128.011802} {\bibfield  {journal}
  {\bibinfo  {journal} {Physical Reviw Letters}\ }\textbf {\bibinfo {volume}
  {128}},\ \bibinfo {pages} {011802} (\bibinfo {year} {2022})}\BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Boyd}(1999)}]{Boyd99thedevil}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~P.}\ \bibnamefont
  {Boyd}},\ }\bibfield  {title} {\bibinfo {title} {The devil's invention:
  Asymptotic, superasymptotic and hyperasymptotic series},\ }\href
  {https://doi.org/10.1023/A:1006145903624} {\bibfield  {journal} {\bibinfo
  {journal} {Acta Applicandae Mathematica}\ }\textbf {\bibinfo {volume} {56}},\
  \bibinfo {pages} {1} (\bibinfo {year} {1999})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Rousseau}(2016)}]{rousseau-2004}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {C.}~\bibnamefont
  {Rousseau}},\ }\bibfield  {title} {\bibinfo {title} {Divergent series:
  {P}ast, present, future},\ }\href {https://arxiv.org/abs/1312.5712}
  {\bibfield  {journal} {\bibinfo  {journal} {Mathematical Reports -- Comptes
  rendus math\'ematiques}\ }\textbf {\bibinfo {volume} {38}},\ \bibinfo {pages}
  {85} (\bibinfo {year} {2016})},\ \Eprint
  {https://arxiv.org/abs/arXiv:1312.5712} {arXiv:1312.5712} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Flory}\ \emph {et~al.}(2012)\citenamefont {Flory},
  \citenamefont {Helling},\ and\ \citenamefont {Sluka}}]{Helling-2012}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont
  {Flory}}, \bibinfo {author} {\bibfnamefont {R.~C.}\ \bibnamefont {Helling}},\
  and\ \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Sluka}},\ }\href
  {https://arxiv.org/abs/1201.2714} {\bibinfo {title} {How {I} learned to stop
  worrying and love {QFT}}} (\bibinfo {year} {2012}),\ \bibinfo {note} {course
  presented by Robert C. Helling at the {L}udwig-{M}aximilians-{U}niversit\"at
  {M}\"unchen in the summer of 2011, notes by Mario Flory and Constantin
  Sluka},\ \Eprint {https://arxiv.org/abs/arXiv:1201.2714} {arXiv:1201.2714}
  \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Costin}(2009)}]{Costin-2009}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {O.}~\bibnamefont
  {Costin}},\ }\href
  {https://www.crcpress.com/Asymptotics-and-Borel-Summability/Costin/p/book/9781420070316}
  {\emph {\bibinfo {title} {Asymptotics and {B}orel Summability}}},\ \bibinfo
  {series} {Monographs and surveys in pure and applied mathematics}, Vol.\
  \bibinfo {volume} {141}\ (\bibinfo  {publisher} {Chapman \& Hall/CRC, Taylor
  \& Francis Group},\ \bibinfo {address} {Boca Raton, FL},\ \bibinfo {year}
  {2009})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Zinn-Justin}(2010)}]{ZINNJUSTIN20101454}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.}~\bibnamefont
  {Zinn-Justin}},\ }\bibfield  {title} {\bibinfo {title} {Summation of
  divergent series: {O}rder-dependent mapping},\ }\href
  {https://doi.org/10.1016/j.apnum.2010.04.002} {\bibfield  {journal} {\bibinfo
   {journal} {Applied Numerical Mathematics}\ }\textbf {\bibinfo {volume}
  {60}},\ \bibinfo {pages} {1454} (\bibinfo {year} {2010})},\ \Eprint
  {https://arxiv.org/abs/arXiv:1001.0675} {arXiv:1001.0675} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Costin}\ and\ \citenamefont
  {Dunne}(2017{\natexlab{a}})}]{Costin_Dunne_2017}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {O.}~\bibnamefont
  {Costin}}\ and\ \bibinfo {author} {\bibfnamefont {G.~V.}\ \bibnamefont
  {Dunne}},\ }\bibfield  {title} {\bibinfo {title} {Convergence from
  divergence},\ }\href {https://doi.org/10.1088/1751-8121/aa9e30} {\bibfield
  {journal} {\bibinfo  {journal} {Journal of Physics {A}: Mathematical and
  Theoretical}\ }\textbf {\bibinfo {volume} {51}},\ \bibinfo {pages} {04LT01}
  (\bibinfo {year} {2017}{\natexlab{a}})},\ \Eprint
  {https://arxiv.org/abs/arXiv:1904.11593} {arXiv:1904.11593} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Br\"uning}(1996)}]{Bruning-1996}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {E.~A.~K.}\
  \bibnamefont {Br\"uning}},\ }\bibfield  {title} {\bibinfo {title} {How to
  reconstruct an analytic function from its asymptotic expansion?},\ }\href
  {https://doi.org/10.1080/17476939608814924} {\bibfield  {journal} {\bibinfo
  {journal} {Complex Variables, Theory and Application: An International
  Journal}\ }\textbf {\bibinfo {volume} {30}},\ \bibinfo {pages} {199}
  (\bibinfo {year} {1996})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Euler}(1760)}]{Euler60}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {L.}~\bibnamefont
  {Euler}},\ }\bibfield  {title} {\bibinfo {title} {De seriebus
  divergentibus},\ }\href
  {https://scholarlycommons.pacific.edu/euler-works/247/} {\bibfield  {journal}
  {\bibinfo  {journal} {Novi Commentarii Academiae Scientiarum Petropolitanae}\
  }\textbf {\bibinfo {volume} {5}},\ \bibinfo {pages} {205} (\bibinfo {year}
  {1760})},\ \bibinfo {note} {in \emph{Opera Omnia}: Series 1, Volume 14, pp.
  585--617. Available on the Euler Archive as E247.},\ \Eprint
  {https://arxiv.org/abs/arXiv:1202.1506} {arXiv:1202.1506} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Weniger}(2010)}]{Weniger2010}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {E.~J.}\ \bibnamefont
  {Weniger}},\ }\bibfield  {title} {\bibinfo {title} {Summation of divergent
  power series by means of factorial series},\ }\href
  {https://doi.org/10.1016/j.apnum.2010.04.003} {\bibfield  {journal} {\bibinfo
   {journal} {Applied Numerical Mathematics}\ }\textbf {\bibinfo {volume}
  {60}},\ \bibinfo {pages} {1429} (\bibinfo {year} {2010})},\ \Eprint
  {https://arxiv.org/abs/arXiv:1005.0466} {arXiv:1005.0466} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Abramowitz}\ and\ \citenamefont
  {Stegun}(1964)}]{abramowitz:1964:hmf}%
  \BibitemOpen
  \bibinfo {editor} {\bibfnamefont {M.}~\bibnamefont {Abramowitz}}\ and\
  \bibinfo {editor} {\bibfnamefont {I.~A.}\ \bibnamefont {Stegun}},\ eds.,\
  \href {https://www.cs.bham.ac.uk/~aps/research/projects/as/book.php} {\emph
  {\bibinfo {title} {Handbook of Mathematical Functions with Formulas, Graphs,
  and Mathematical Tables}}},\ \bibinfo {series} {National Bureau of Standards
  Applied Mathematics Series}\ No.~\bibinfo {number} {55}\ (\bibinfo
  {publisher} {U.S. Government Printing Office, Washington, D.C.},\ \bibinfo
  {year} {1964})\ pp.\ \bibinfo {pages} {xiv+1046}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Sloane}(2019)}]{Sloane_oeis.org/A001620}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {N.~J.~A.}\
  \bibnamefont {Sloane}},\ }\href {https://oeis.org/A001620} {\bibinfo {title}
  {{A001620} {D}ecimal expansion of {E}uler's constant (or the
  {E}uler-{M}ascheroni constant), gamma. ({F}ormerly m3755 n1532). {T}he
  on-line encyclopedia of integer sequences}} (\bibinfo {year} {2019}),\
  \bibinfo {note} {accessed on July 17rd, 2019}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Pernice}\ and\ \citenamefont
  {Oleaga}(1998)}]{PhysRevD.57.1144}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.~A.}\ \bibnamefont
  {Pernice}}\ and\ \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont
  {Oleaga}},\ }\bibfield  {title} {\bibinfo {title} {Divergence of perturbation
  theory: {S}teps towards a convergent series},\ }\href
  {https://doi.org/10.1103/PhysRevD.57.1144} {\bibfield  {journal} {\bibinfo
  {journal} {Physical Review D}\ }\textbf {\bibinfo {volume} {57}},\ \bibinfo
  {pages} {1144} (\bibinfo {year} {1998})},\ \Eprint
  {https://arxiv.org/abs/arXiv:hep-th/9609139} {arXiv:hep-th/9609139}
  \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Pittnauer}(1972)}]{Pittnauer-73}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {F.}~\bibnamefont
  {Pittnauer}},\ }\href {https://doi.org/10.1007/BFb0059524} {\emph {\bibinfo
  {title} {{V}orlesungen \"uber asymptotische {R}eihen}}},\ \bibinfo {series}
  {Lecture Notes in Mathematics}, Vol.\ \bibinfo {volume} {301}\ (\bibinfo
  {publisher} {Springer Verlag},\ \bibinfo {address} {Berlin Heidelberg},\
  \bibinfo {year} {1972})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Remmert}(1991)}]{Remmert-1991-tocf}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {R.}~\bibnamefont
  {Remmert}},\ }\href {https://doi.org/10.1007/978-1-4612-0939-3} {\emph
  {\bibinfo {title} {Theory of Complex Functions}}},\ \bibinfo {edition} {1st}\
  ed.,\ \bibinfo {series} {Graduate Texts in Mathematics}, Vol.\ \bibinfo
  {volume} {122}\ (\bibinfo  {publisher} {Springer-Verlag},\ \bibinfo {address}
  {New York, NY},\ \bibinfo {year} {1991})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Tao}(2013)}]{Tao-2013}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Tao}},\ }\href {https://terrytao.files.wordpress.com/2011/06/blog-book.pdf}
  {\emph {\bibinfo {title} {Compactness and contradiction}}}\ (\bibinfo
  {publisher} {American Mathematical Society},\ \bibinfo {address} {Providence,
  RI},\ \bibinfo {year} {2013})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Watson}(1912)}]{Watson1912}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {G.~N.}\ \bibnamefont
  {Watson}},\ }\bibfield  {title} {\bibinfo {title} {The transformation of an
  asymptotic series into a convergent series of inverse factorials [memoir
  crowned by the {D}anish {R}oyal {A}cademy of {S}cience]},\ }\href
  {https://doi.org/10.1007/bf03015008} {\bibfield  {journal} {\bibinfo
  {journal} {Rendiconti del Circolo Matematico di Palermo}\ }\textbf {\bibinfo
  {volume} {34}},\ \bibinfo {pages} {41} (\bibinfo {year} {1912})}\BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Doetsch}(1972)}]{Doetsch1972}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {G.}~\bibnamefont
  {Doetsch}},\ }\href {https://doi.org/10.1007/978-3-0348-5956-1} {\emph
  {\bibinfo {title} {{H}andbuch der {L}aplace-{T}ransformation: {B}and {II}
  {A}nwendungen der {L}aplace-{T}ransformation}}}\ (\bibinfo  {publisher}
  {Springer Basel AG (Birkh\"auser)},\ \bibinfo {address} {Basel},\ \bibinfo
  {year} {1972})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Costin}\ and\ \citenamefont
  {Costin}(2016)}]{Costin2016Aug}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {O.}~\bibnamefont
  {Costin}}\ and\ \bibinfo {author} {\bibfnamefont {R.~D.}\ \bibnamefont
  {Costin}},\ }\href {https://doi.org/10.48550/arXiv.1608.01010} {\bibinfo
  {title} {A new type of factorial series expansions and applications}}
  (\bibinfo {year} {2016}),\ \Eprint {https://arxiv.org/abs/arXiv:1608.01010}
  {arXiv:1608.01010} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Nielsen}(1965)}]{Nielsen-Gammafunktion}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont
  {Nielsen}},\ }\href {https://archive.org/details/handbuchgamma00nielrich}
  {\emph {\bibinfo {title} {{D}ie {G}ammafunktion}}}\ (\bibinfo  {publisher}
  {AMS Chelsea Publishing},\ \bibinfo {address} {Bronx, New York, NY},\
  \bibinfo {year} {1965})\ \bibinfo {note} {reprint of ``Handbuch der Theorie
  der Gammafunktion'', first published in 1906, and ``Theorie des
  Integrallogarithmus und verwandter Transzendenten'', first published in
  1906}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Knoop}(1996)}]{Knoop1996}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {K.}~\bibnamefont
  {Knoop}},\ }\href {https://doi.org/10.1007/978-3-642-61406-4} {\emph
  {\bibinfo {title} {{T}heorie und {A}nwendung der unendlichen {R}eihen}}}\
  (\bibinfo  {publisher} {Springer},\ \bibinfo {address} {Berlin, Heidelberg},\
  \bibinfo {year} {1996})\ \bibinfo {note} {f\"unfte verbesserte
  {A}uflage}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Dyson}(1949)}]{Dysen-49}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {F.~J.}\ \bibnamefont
  {Dyson}},\ }\bibfield  {title} {\bibinfo {title} {The radiation theories of
  {T}omonaga, {S}chwinger, and {F}eynman},\ }\href
  {https://doi.org/10.1103/PhysRev.75.486} {\bibfield  {journal} {\bibinfo
  {journal} {Physical Review}\ }\textbf {\bibinfo {volume} {75}},\ \bibinfo
  {pages} {486} (\bibinfo {year} {1949})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bell}(1990)}]{bell-a}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~S.}\ \bibnamefont
  {Bell}},\ }\bibfield  {title} {\bibinfo {title} {Against `measurement'},\
  }\href {https://doi.org/10.1088/2058-7058/3/8/26} {\bibfield  {journal}
  {\bibinfo  {journal} {Physics World}\ }\textbf {\bibinfo {volume} {3}},\
  \bibinfo {pages} {33} (\bibinfo {year} {1990})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Costin}\ and\ \citenamefont
  {Dunne}(2017{\natexlab{b}})}]{Costin_2017}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {O.}~\bibnamefont
  {Costin}}\ and\ \bibinfo {author} {\bibfnamefont {G.~V.}\ \bibnamefont
  {Dunne}},\ }\bibfield  {title} {\bibinfo {title} {Convergence from
  divergence},\ }\href {https://doi.org/10.1088/1751-8121/aa9e30} {\bibfield
  {journal} {\bibinfo  {journal} {Journal of Physics A: Mathematical and
  Theoretical}\ }\textbf {\bibinfo {volume} {51}},\ \bibinfo {pages} {04LT01}
  (\bibinfo {year} {2017}{\natexlab{b}})},\ \Eprint
  {https://arxiv.org/abs/arXiv:1705.09687} {arXiv:1705.09687} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Berry}\ \emph {et~al.}(2016)\citenamefont {Berry},
  \citenamefont {Costin}, \citenamefont {Costin},\ and\ \citenamefont
  {Howls}}]{costin2016}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.~V.}\ \bibnamefont
  {Berry}}, \bibinfo {author} {\bibfnamefont {O.}~\bibnamefont {Costin}},
  \bibinfo {author} {\bibfnamefont {R.~D.}\ \bibnamefont {Costin}},\ and\
  \bibinfo {author} {\bibfnamefont {C.~J.}\ \bibnamefont {Howls}},\ }\href
  {https://math.tecnico.ulisboa.pt/seminars/resurgence/?action=show&id=4371}
  {\bibinfo {title} {{B}orel plane resurgence in hyperasymptotics and factorial
  series}} (\bibinfo {year} {2016}),\ \bibinfo {note} {talk at the {Resurgence
  Meeting}, presented by Ovidiu Costin on July 19, 2016, 10:00 to 11:00 at
  Amphitheatre Ea1, North Tower, IST, Lisboa; accessed July 7th,
  2022}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Costin}(1995)}]{Costin_1995}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {O.}~\bibnamefont
  {Costin}},\ }\bibfield  {title} {\bibinfo {title} {Exponential asymptotics,
  transseries, and generalized {B}orel summation for analytic, nonlinear,
  rank-one systems of ordinary differential equations},\ }\href
  {https://doi.org/10.1155/s1073792895000286} {\bibfield  {journal} {\bibinfo
  {journal} {International Mathematics Research Notices}\ }\textbf {\bibinfo
  {volume} {1995}},\ \bibinfo {pages} {377} (\bibinfo {year} {1995})},\ \Eprint
  {https://arxiv.org/abs/arXiv:math/0608414} {arXiv:math/0608414} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Edgar}(2009)}]{Edgar-2009}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {G.~A.}\ \bibnamefont
  {Edgar}},\ }\bibfield  {title} {\bibinfo {title} {Transseries for
  beginners},\ }\href {https://doi.org/10.48550/arXiv.0801.4877} {\bibfield
  {journal} {\bibinfo  {journal} {Real Analysis Exchange}\ }\textbf {\bibinfo
  {volume} {35}},\ \bibinfo {pages} {253} (\bibinfo {year} {2009})},\ \Eprint
  {https://arxiv.org/abs/arXiv:0801.4877} {arXiv:0801.4877} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Baker}\ and\ \citenamefont
  {Graves-Morris}(1996)}]{baker_graves-morris_1996}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {G.~A.}\ \bibnamefont
  {Baker}}\ and\ \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont
  {Graves-Morris}},\ }\href {https://doi.org/10.1017/CBO9780511530074} {\emph
  {\bibinfo {title} {Pad'e Approximants}}},\ \bibinfo {edition} {2nd}\ ed.,\
  Encyclopedia of Mathematics and its Applications\ (\bibinfo  {publisher}
  {Cambridge University Press},\ \bibinfo {address} {Cambridge, UK},\ \bibinfo
  {year} {1996})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Aigner}\ and\ \citenamefont
  {Ziegler}(2010)}]{ziegler-aigner}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont
  {Aigner}}\ and\ \bibinfo {author} {\bibfnamefont {G.~M.}\ \bibnamefont
  {Ziegler}},\ }\href {https://doi.org/10.1007/978-3-642-00856-6} {\emph
  {\bibinfo {title} {Proofs from {THE BOOK}}}},\ \bibinfo {edition} {four}\
  ed.\ (\bibinfo  {publisher} {Springer},\ \bibinfo {address} {Heidelberg},\
  \bibinfo {year} {1998-2010})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Kreisel}(1980)}]{kreisel-80}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {G.}~\bibnamefont
  {Kreisel}},\ }\bibfield  {title} {\bibinfo {title} {{K}urt {G}\"odel. 28
  {A}pril 1906-14 {J}anuary 1978},\ }\href
  {https://doi.org/10.1098/rsbm.1980.0005} {\bibfield  {journal} {\bibinfo
  {journal} {Biographical memoirs of Fellows of the Royal Society}\ }\textbf
  {\bibinfo {volume} {26}},\ \bibinfo {pages} {148} (\bibinfo {year} {1980})},\
  \bibinfo {note} {corrections {\it Ibid.} {\bf 27}, 697; {\it ibid.} {\bf 28},
  718}\BibitemShut {NoStop}%
\end{thebibliography}%

\fi
\end{document}
