Undecidability through Fourier series

DOI10.1016/J.APAL.2016.03.001MaRDI QIDQ278759zbMATH OpenOpenAlexFDO

Authors Peter Buser, Bruno Scarpellini

Publication date 2 May 2016

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2016.03.001

zbMATH Keywords

Fourier seriesJacobi theta functionsrecursively enumerable setsBüchi's problem

Mathematics Subject Classification ID

Elliptic functions and integrals (33E05) Computation over the reals, computable analysis (03D78) Recursively (computably) enumerable sets and degrees (03D25) Fourier series and coefficients in several variables (42B05) Applications of computability and recursion theory (03D80) Undecidability and degrees of sets of sentences (03D35) Calculation of integer sequences (11Y55)

Recommendations

• scientific article; zbMATH DE number 1909822
• Undecidable propositions by ODE's
• scientific article; zbMATH DE number 1909821
• On approximations for functions in the space of uniformly convergent Fourier series
• On the convergence of Fourier series of computable Lebesgue integrable functions

Cites work

• scientific article; zbMATH DE number 3131080 (Why is no real title available?)
• scientific article; zbMATH DE number 42574 (Why is no real title available?)
• scientific article; zbMATH DE number 44695 (Why is no real title available?)
• scientific article; zbMATH DE number 949396 (Why is no real title available?)
• scientific article; zbMATH DE number 1909821 (Why is no real title available?)
• scientific article; zbMATH DE number 1909822 (Why is no real title available?)
• scientific article; zbMATH DE number 1909827 (Why is no real title available?)
• scientific article; zbMATH DE number 3283520 (Why is no real title available?)
• A survey on Büchi's problem: new presentations and open problems
• Computability and Noncomputability in Classical Analysis
• Decision problems for differential equations
• Hypercomputation
• Hypercomputation: Philosophical issues
• Some Recursively Unsolvable Problems in Analysis
• Some undecidable problems involving elementary functions of a real variable
• The extended analog computer
• The wave equation with computable initial data such that its unique solution is not computable
• Undecidable propositions by ODE's
• Zwei Unentscheidbare Probleme Der Analysis

Cited in

(3)

• Undecidability of the Spectral Gap
• scientific article; zbMATH DE number 1909822 (Why is no real title available?)
• Undecidable propositions by ODE's

This page was built for publication: Undecidability through Fourier series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q278759)