![]() |
smallest number used in a mathematical proof?
We know that the largest number used in any serious proof is Graham's number.
But what about the smallest number used in a mathematical proof (excluding zero and infinitesimals)? I know that there's physics-related Planck units, but I'm sure there's numbers much smaller. |
Possibly some paper involving the ABC conjecture would be the answer, in my opinion.
Citrix |
[quote=ixfd64]We know that the largest number used in any serious proof is Graham's number.
But what about the smallest number used in a mathematical proof (excluding zero and infinitesimals)? I know that there's physics-related Planck units, but I'm sure there's numbers much smaller.[/quote]The reciprocal of Graham's number ought to be a good candidate for the honor. |
I'm guessing that it's some nonstandard analysis proof that uses an infinitesimal
"infinitesimal" isn't very easy to type after a few glasses of wine. |
I don't think there's a good answer to this question. You can always recast equations so that constants that appear in it are smaller or larger. Besides, what exactly qualifies as a constant in this context? Are the elements of a series that tends to zero constants?
Alex |
This [url=http://www.greenhodge.net/g/read/math/numbers-1.php]GreenHodge[/url] is not authoratitive, just a bloke with a blog, but he lists some numbers he thinks are interesting. After the Planck length, 1.6160*10^{-35) the next smallest number he lists is 0.412454... which he calls the Thue-Morse constant. So maybe there aren't that many interesting small numbers.
|
[QUOTE=Numbers]This [url=http://www.greenhodge.net/g/read/math/numbers-1.php]GreenHodge[/url] is not authoratitive, just a bloke with a blog, but he lists some numbers he thinks are interesting. After the Planck length, 1.6160*10^{-35) the next smallest number he lists is 0.412454... which he calls the Thue-Morse constant. So maybe there aren't that many interesting small numbers.[/QUOTE]
The Planck length has units, which makes the magnitude of the number itself somewhat arbitrary. I could decide to express it in parsecs or angstroms and get vastly different values for the exact same property. Therefore, I wouldn't consider it a true 'number' in the mathematical sense in the same way that Graham's number is a very large number. It's an interesting question, but I'm afraid I can't offer any other small constants. Drew |
[QUOTE=drew]The Planck length has units, which makes the magnitude of the number itself somewhat arbitrary. I could decide to express it in parsecs or angstroms and get vastly different values for the exact same property. Therefore, I wouldn't consider it a true 'number' in the mathematical sense in the same way that Graham's number is a very large number.
It's an interesting question, but I'm afraid I can't offer any other small constants. Drew[/QUOTE]There are sundry small and dimensionless quantities in physics. A famous one is the fine structure constant, which is approximately 1/137 Another and much smaller quantity is the ratio of the strengths of the gravitational and lectromagnetic interactions. Whether physical constants have much to do with the question as originally asked is another question entirely. Paul |
What about the difference between neutrons and protons in weight, even taking account of neutrinos and electrons. Or on a similar note, what about the anticipated atomic mass and it's actual value for specific elements/isotopes? For example, helium atoms are actually a little lighter then 3(He I) or 4(He II) times the mass of a hydrogen atom.
What about the probability of a broken cup suddenly reassembling itself in a tornado? :) |
smallest number in a mathematical proof?
:unsure:
Would -459.67 qualify ? :wink: Mally :coffee: |
[quote=mfgoode]Would -459.67 qualify ?[/quote]
"Smallest" refers to absolute magnitude, not algebraic value, or else ixfd64's "(excluding zero and infinitesimals)" wouldn't make sense. |
| All times are UTC. The time now is 04:38. |
Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.