71–80 of 104 posts
> The distinction between the three types of errors can lead to the phenomenon ... of a mathematical argument by a post-rigorous mathematician which locally contains a number of typos and other formal errors, but is globally quite sound, with the local errors propagating for a while before being cancelled out by other local errors I was initially amazed at this when I was in graduate school, but with enough experienc…
Earlier quoted context omitted.
The bell curve meme is a static taxonomy of people, and if the link you posted is correct, its origins were explicitly political. The version described by Bruce Lee, and anybody who has achieved a high level of skill, is about the process of learning and mastery. In the bell curve version, the wisdom of grug brain and the wisdom of the monk are presented as equal, and the struggle of the midwit is framed as a pretent…
Is this a subtle joke on the discussion? Is this a joke by mimicking someone on the mid-point of the 'bell curve meme' explaining the 'bell curve meme'?
We shall not cease from exploration
And the end of all our exploring
Will be to arrive where we started
And it'll look exactly the same because travel is pointless.Could modern AI help amateur mathematicians to build proofs?
I was trying to coerce gpt-4o to talk about the gcd and lcm in terms of sets of the prime factors where the product is the union of the sets, gcd is the intersection, and the lcm is the union less the intersection and it kept telling me I was incorrect and being "non standard". It has a long, long way to go.
> The distinction between the three types of errors can lead to the phenomenon ... of a mathematical argument by a post-rigorous mathematician which locally contains a number of typos and other formal errors, but is globally quite sound, with the local errors propagating for a while before being cancelled out by other local errors I was initially amazed at this when I was in graduate school, but with enough experienc…
> The distinction between the three types of errors can lead to the phenomenon ... of a mathematical argument by a post-rigorous mathematician which locally contains a number of typos and other formal errors, but is globally quite sound, with the local errors propagating for a while before being cancelled out by other local errors I was initially amazed at this when I was in graduate school, but with enough experienc…
>Handwaving can be a signal that someone doesn't know what they are doing or that they really know what they are doing and until you are far enough along it is hard to tell the difference. I found it's very easy to distinguish these two when you have another expert ask questions. But if you don't have someone like that in the audience it might take forever. Or at least until you become an expert yourself.
[0]: https://www.goodreads.com/quotes/558213-learn-the-rules-like...
Is there?
Math existed for thousands of years before modern rigor.
“Before I learned the art, a punch was just a punch, and a kick, just a kick. After I learned the art, a punch was no longer a punch, a kick, no longer a kick. Now that I understand the art, a punch is just a punch and a kick is just a kick.” - Bruce Lee
I want to be Terrance Tao when I grow up
For example:
When Terence Tao solves a problem, the problem appreciates the solution.
“Before I learned the art, a punch was just a punch, and a kick, just a kick. After I learned the art, a punch was no longer a punch, a kick, no longer a kick. Now that I understand the art, a punch is just a punch and a kick is just a kick.” - Bruce Lee
You can see people go through that process right here on HN, slowly realizing that 1 the integer is the same as 1 the real number.