[HN Gopher] Ramanujan Surprises Again (2015) ___________________________________________________________________ Ramanujan Surprises Again (2015) Author : tmbsundar Score : 213 points Date : 2020-02-16 17:39 UTC (5 hours ago) (HTM) web link (plus.maths.org) (TXT) w3m dump (plus.maths.org) | nneonneo wrote: | An interesting coincidence: it was recently (2019) discovered | that the fastest way to multiply two n-bit integers, in time O(n | log n), involves 1729-dimensional Fourier transforms: | https://hal.archives-ouvertes.fr/hal-02070778. It is quite | surprising that the asymptotically best way to perform such an | elementary operation should be tied to Ramanujan's famous taxicab | number. | | (Technically, it works for any number of dimensions >= 1729, but | the proof fails for dimensions less than that. Future work might | bring the bound down, or better explain why that bound is | necessary.) | user2994cb wrote: | In fact, there seems to be a lot of interesting things about | 1729: https://en.wikipedia.org/wiki/1729_(number) | nexuist wrote: | Well, now I know why my Scheme class in uni was called CSE | 1729. | pixelpoet wrote: | I love how the article starts with the most boring facts | about 1729: | | > 1729 is the natural number following 1728 and preceding | 1730. | russellbeattie wrote: | Heh. I've been reading HN for long enough to never be | surprised by the capability of incredibly pedantic people | to be incredibly pedantic. | skunkworker wrote: | Interesting read, The title should have 2015 in it though. | dang wrote: | Added. Thanks! | dannykwells wrote: | The taxi cab story is easily a top-5 math story, and is | quintessential Ramanujan. | | Has there been a genius of his kind since? Maybe Terry Tao, but | his work also lacks the ease and lack of machinery that Ramanujan | had. Truly amazing. | pmoriarty wrote: | What are the other 4 top math stories? | | For me one of them has to be of Evariste Galois[1], who, legend | has it, hastily wrote fragments of his last mathematical | discoveries on his shirt sleeves before fighting the duel that | would end his life. | | [1] - https://en.wikipedia.org/wiki/%C3%89variste_Galois | QuesnayJr wrote: | There have been lots. Twenty? Thirty? A hundred? It was a good | century plus for mathematical genius. | rq1 wrote: | Yes definitely: Alexandre Grothendieck. And Terrence Tao can't | sit at his table (yet?). | | But honestly it's kind of a silly game to rank mathematicians | this way. | mindcrime wrote: | _Has there been a genius of his kind since? Maybe Terry Tao, | but his work also lacks the ease and lack of machinery that | Ramanujan had. Truly amazing._ | | It's hard to compare mathematicians, but I suppose Erdos[1] | would be in the conversation. | | [1]: https://en.wikipedia.org/wiki/Paul_Erd%C5%91s | rkhacker wrote: | Don't we think that the credit for the number 1729 should belong | to Hardy, for he took the cab and mentioned that number to | Ramanujan. Of course, Ramanujan could see beauty in every number | and would have produced something equally beautiful for some | other number Hardy could utter. | Vinceo wrote: | He credited his work to his family goddess. From wikipedia: | | "A deeply religious Hindu, Ramanujan credited his substantial | mathematical capacities to divinity, and said the mathematical | knowledge he displayed was revealed to him by his family goddess. | "An equation for me has no meaning," he once said, "unless it | expresses a thought of God."" | dr_dshiv wrote: | Mathematics are the best expression of the transcendental | divine. Pythagoras and Plato had the same perspective. | unlinked_dll wrote: | Funny to use the word transcendental there, since the | Pythagoreans held ratios to be divine but couldn't figure out | irrational numbers, like pi. They had trouble squaring that | circle. | dr_dshiv wrote: | That's why I think Pythagoras refused to write down his | doctrines. He knew there was more to be empirically | discovered -- and he was wary of how text could become | dogma. The divine he uncovered was based on a mathematical, | harmonious cosmos; but he recognized it was beyond | understanding in a lifetime. That's why Pythagorean | mysticism is compatible with modern science -- he didn't | write anything down! | | 2000 years later, Kepler had faith in a harmonious cosmos, | and charged his model of harmony so it could fit the | evidence. He elipsed the circles, instead of squaring them. | | Fun fact #1: it is impossible to square a circle [1] | | Fun fact #2: the Pythagoreans conducted the first attested | scientific experiment in Western history (according to a | recent PhD thesis at UMich [2]) | | [1] https://en.m.wikipedia.org/wiki/Squaring_the_circle | | [2] https://deepblue.lib.umich.edu/handle/2027.42/150050 | psychoslave wrote: | Yes, it looks like for many mathematicians, the confusion | between stable conceptual foundation and eternal objective | reality is too seductive to not fall in the illusion of | identity of things locally indistinguishables. | jackconnor wrote: | Fantastic article that explains the math (and physics) very | clearly. | dang wrote: | Discussed at the time: | https://news.ycombinator.com/item?id=10518452 | v64 wrote: | Great read! When you first hear the taxicab number story, your | initial impression is to be struck by Ramanujan's innate | calculating capability. It's interesting to find out that the | real coincidence here is that Hardy rode in a taxicab whose | number had happened to show up in Ramanujan's investigations of | Fermat's last theorem. | zamadatix wrote: | I'm not sure I'd call it coincidence rather "being struck by | the vast amount of time and passion Ramanujan put into | mathematics". I'd be absolutely amazed if he couldn't have | recalled a similarly obscure fact for most numbers below | 10,000. | hnews_account_1 wrote: | A lot of genius stories are like this. I was also under the | illusion that these guys could just do things that fast, but at | some point, I read Feynman's biography where he explicitly | talks about how he used to solve homework problems or something | beforehand and then he used to pretend that he found the | solution while solving it if his classmates asked. | | That threw me for a loop and I started believing shit like no | one's smarter than I was etc. Then I just ... grew up, I guess. | And I remembered this story by Feynman and I realised that | despite his absolutely undoubtable genius, he'd have appeared | godlike to me if I was his classmate back in the day. | | Ramanujan's brain worked even faster by most accounts. He | dreamed in math, I think. So there are multiple stories where | people ask him a puzzle and he'll answer with an equation that | solves it for the entire family of problems that the puzzle | could come from. | Psyladine wrote: | Feynman was undoubtedly a genius, but he also suffered from a | need to be admired. The safecracking episodes at Los Alamos | are a perfect example - giving the impression he was an | expert safe cracker when his real methodology was guesswork | and sometimes subterfuge (birthdays, anniversaries, or even | subtlety observing someone inputting their combination). | dorchadas wrote: | What was the quote about Feynman? That he loved to cultivate | anecdotes about himself or something similar? Makes a lot of | his stories make a lot more sense, too. | OldGuyInTheClub wrote: | From Murray Gell-Mann: | https://www.youtube.com/watch?v=rnMsgxIIQEE | | Several clips from Gell-Mann's Web of Stories interview | (late 1990s) pertain to his on-again off-again | collaboration with Feynman. | | https://www.youtube.com/watch?v=o2sEW4ggVlA&list=PLVV0r6CmE | s... | avip wrote: | It's a rant by fellow Physicist Gell-Mann. | Quekid5 wrote: | I think it's pretty plausible that he was a raging | egomaniac (narcissist, perhaps?). | | Undoubtedly a great thinker and genius, but that doesn't | say very much about personality traits. | [deleted] | user2994cb wrote: | Feynman even has his own 1729 anecdote: | https://www.ee.ryerson.ca/~elf/abacus/feynman.html | hnews_account_1 wrote: | I think the part that makes it genuine is that he was | comically self aware of himself and his craziness. Even | when he was pushing the boundaries just for the sake of it | and to make a caricature / character out of himself, he did | it in a way that made me think that he didn't really | pretend to not be doing it for his ego. | | It's like 4 levels of thinking somehow merged in his | actions: 1) be normal and look at the crazy people, 2) be a | crazy person, 3) be a crazy person and be aware of your | craziness, 4) be a crazy person, be aware of it and let | others know that you're aware of it. It feels like one of | those thought spirals I go into if I have weed. It's right | on the boundary of crazy but probably also (in his case) | inside the realm of genius. | gameswithgo wrote: | i recall him explaining several shortcuts one can use to | solve problems in seemingly impossible speeds by drawing on | a breadth of experience from similar problems that you have | memorized or are easy to compute and interpolating. | | its still genius but not in the sense of actually being | able to do huge calculations in ones head the way a | computer would. | [deleted] | wenc wrote: | I think most of us are impressed by computational parlor | tricks (and indeed computational intelligence in general -- | being able to process information and compute quickly and | accurately), but for me, genius goes beyond that. | | Genius is about having rare and useful insights that the rest | of us are incapable of, and that a computer is unable to | easily replicate. | | For instance, there was a thing on Twitter recently about all | percentages being reversible (7% of 50 is equal to 50% of 7, | but the latter is easier to mentally calculate). Most of us | are aware that multiplication is commutative, but it takes | genius to recognize and frame that insight in a useful way. | karmakaze wrote: | This reminds me of the von Neumann fly puzzle story: | | https://en.wikipedia.org/wiki/John_von_Neumann#Cognitive_abi. | .. | eesmith wrote: | Or swallow, if you think Wigner's account is more accurate | than Halmos'. | HenryKissinger wrote: | Only neckbeards care about Ramanujan. ___________________________________________________________________ (page generated 2020-02-16 23:00 UTC)