The logarithms of rational numbers have irrationality exponent 2 [pdf] | Dark Hacker News

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

The logarithms of rational numbers have irrationality exponent 2 [pdf] | Dark Hacker News

The logarithms of rational numbers have irrationality exponent 2 [pdf](jdb19937.github.io)

13 points by jdb1729 4 hours ago | 3 comments

elromulous 1 hour ago |

I love this footnote

∗Author of The Da Vinci Code.

avaer 1 hour ago | |

Is this actually true or fraudulent? I couldn't tell.

jdb1729 4 hours ago |

This is a Lean-verified variation of the OpenAI proof for pi.