Corpus ID: 231662537

Tweaking the Beukers Integrals In Search of More Miraculous Irrationality Proofs A La Apery

@inproceedings{DoughertyBliss2021TweakingTB,
  title={Tweaking the Beukers Integrals In Search of More Miraculous Irrationality Proofs A La Apery},
  author={R. Dougherty-Bliss and C. Koutschan and D. Zeilberger},
  year={2021}
}
As we all know, he was proven wrong by Gödel and Turing in general, but even for such concrete problems, like the irrationality of a specific, natural, constant, like the Euler-Mascheroni constant (that may be defined in terms of the definite integral − ∞ 0 e−x log x) , that is most probably decidable in the logical sense, (i.e. there probably exists a (rigorous) proof), we lowly humans did not yet find it, (and may never will!). 
1 Citations
Integral Recurrences from A to Z