Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Undecidable propositions by ODE's
 
research article

Undecidable propositions by ODE's

Buser, Peter  
•
Scarpellini, Bruno
2007
Annales Academiae Scientiarum Fennicae, Mathematica

The authors define a family of functions by starting with (complex) exponentials and closing under some basic algebraic operations, integration, and solution of certain systems of differential equations. They then show that for every recursively (computably) enumerable set $S$ -- in particular, even when $S$ is not computable -- there exists a function $f$ in the family whose Fourier coefficients int_-pi^pif(x),e^-inxdx are nonzero for precisely those $n$ in $S$. The paper concludes with some speculative remarks regarding hypercomputation.

  • Details
  • Metrics
Type
research article
Author(s)
Buser, Peter  
Scarpellini, Bruno
Date Issued

2007

Published in
Annales Academiae Scientiarum Fennicae, Mathematica
Volume

32

Issue

2

Start page

317

End page

340

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
GEOM-FERM  
Available on Infoscience
December 3, 2010
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/61850
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés