# 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!).

#### One Citation

#### References

SHOWING 1-10 OF 20 REFERENCES