\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 % \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}