![]() |
|
|
#45 | |
|
Nov 2003
11101001001002 Posts |
Quote:
politically correct [i]social club[/b] for hobbyists. Tranquility is more important to you than academic discipline or integrity. So be it. |
|
|
|
|
|
|
#46 |
|
If I May
"Chris Halsall"
Sep 2002
Barbados
9,767 Posts |
|
|
|
|
|
|
#47 | |||
|
May 2003
7×13×17 Posts |
Quote:
By "the reverse is not true" are you claiming that the paper did not benefit from the computations, or that the paper couldn't be written merely by performing computations? The first claim would be silly. The second doesn't even make sense, since the computations were only performed after the mathematics had been put in place. Quote:
Consider Catalan's conjecture. Preda Mihăilescu gave a beautiful proof, but it would have been incomplete without a few computations. Subsequently, he was able to remove some (but not all) of those computations from the proof. Both results are good, the second improved the first. But none of the computations were ever "pointless." The four-color theorem, as it currently stands, *requires* lots and lots of computations. I agree it would be great if we had a proof which minimized them. But if you were to say that such computations are "pointless" would be incendiary and wrong. Similarly, saying that people helping Ochem (and others) to flesh out their papers by performing factorizations is "pointless" is incendiary and wrong. The result might not be as important as the 4-color theorem or the Mihăilescu theorem, and may only demonstrate how much better the new mathematical ideas are in utilizing available computational power, but the computations are still enjoyable and add to professional papers. Quote:
And again, you made a patently false claim. In the aggregate, these computations do, have, and will continue to provide insight. I've given you specific examples. |
|||
|
|
|
|
|
#48 | |
|
(loop (#_fork))
Feb 2006
Cambridge, England
3×2,141 Posts |
Quote:
If this message indicates that you're leaving, goodbye; if it indicates that you're won over to the way of tranquility and wish to join our social club in the spirit in which it is intended, welcome. |
|
|
|
|
|
|
#49 |
|
Apr 2009
Venice, Chased by Jaws
3×29 Posts |
One can have both without turning this into an either-or case. There is much room in the middle. One can strive for higher academic standards, however, that will not be achieved by berating others into submission. Notwithstadning, I try by refraining from posting what you would consider nonsense.
|
|
|
|
|
|
#50 |
|
Undefined
"The unspeakable one"
Jun 2006
My evil lair
622410 Posts |
These not mutually exclusive. We can have both at the same time. Can't we?
Last fiddled with by retina on 2011-11-16 at 21:20 Reason: Beaten to the punch by imwithid |
|
|
|
|
|
#51 | |
|
Nov 2003
746010 Posts |
Quote:
All of my attempts met with resistence, hostility, and resentment. Did you ever wonder why so few leading experts post here? Have you seen what happened to sci.math over the last 20 odd years? |
|
|
|
|
|
|
#52 |
|
If I May
"Chris Halsall"
Sep 2002
Barbados
9,767 Posts |
|
|
|
|
|
|
#53 | |
|
"Forget I exist"
Jul 2009
Dumbassville
26·131 Posts |
Quote:
{R.D. Silverman's knowledge} this leads to nothing new. |
|
|
|
|
|
|
#54 | |||
|
"Nancy"
Aug 2002
Alexandria
2,467 Posts |
Quote:
Quote:
Quote:
Last fiddled with by akruppa on 2011-11-17 at 19:36 Reason: missing way |
|||
|
|
|
|
|
#55 |
|
"Forget I exist"
Jul 2009
Dumbassville
20C016 Posts |
might be my fault for describing what I feel goes on like a court readout.
Last fiddled with by science_man_88 on 2011-11-17 at 02:43 |
|
|
|
![]() |
Similar Threads
|
||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| Aurifeuillian Factorizations | Raman | Cunningham Tables | 39 | 2020-08-28 14:34 |
| The worth or futility of gratituous factorizations | R.D. Silverman | Factoring | 79 | 2012-01-12 10:58 |
| algorithms for special factorizations | jjcale | Factoring | 6 | 2011-07-28 02:06 |
| Why do these P+1 factorizations work? | Mr. P-1 | GMP-ECM | 5 | 2009-10-11 12:44 |
| Question relating to Fermat's theorem | Acidity | Programming | 2 | 2004-10-17 13:26 |