Consequences of lack of rigour [closed]












46












$begingroup$


The standards of rigour in mathematics have increased several times during history. In the process some statements, previously considered correct where refuted. I wonder if these wrong statements were "applied" anywhere before (or after) refutation to some harmful effect. For example, has any bridge fallen because every continuous function was thought to be differentiable except on a set of isolated points?



Sorry if this is a silly question.



Edit: Let me clarify. I am looking for examples of bad things happening, which fall in the following scheme:




  1. Lack of rigour led to a wrong statement (by "today's standard") in pure mathematics.


  2. That wrong statement was correctly applied to some other field, or somehow used in calculations etc.


  3. The conclusion from item 2 was then applied to a real-world situation, perhaps in construction or engineering.


  4. This led to some real-world harm or danger.



It is crucial that there was no mistakes or omissions in 2,3,4, and hypothetical being omniscient on the level of 1 would approve the project.



Sorry if I made it even sillier. Feel free to close the question.










share|cite|improve this question











$endgroup$



closed as off-topic by Joseph Van Name, Alexandre Eremenko, Piotr Hajlasz, abx, Ben Linowitz Mar 1 at 1:13


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question does not appear to be about research level mathematics within the scope defined in the help center." – Joseph Van Name, Alexandre Eremenko, Piotr Hajlasz, abx, Ben Linowitz

If this question can be reworded to fit the rules in the help center, please edit the question.












  • 17




    $begingroup$
    Structures have fallen apart because of inadequate attention to numerical analysis (see www-users.math.umn.edu/~arnold//disasters), but not because of exotica in pure math.
    $endgroup$
    – KConrad
    Feb 27 at 11:54






  • 2




    $begingroup$
    @KConrad: Italian differential geometry is an example of the latter :-)
    $endgroup$
    – J.J. Green
    Feb 27 at 12:02








  • 5




    $begingroup$
    You might find the answers at math.stackexchange.com/questions/1220875/… to be of interest.
    $endgroup$
    – KConrad
    Feb 27 at 12:08






  • 11




    $begingroup$
    The standards of rigor have not just increased. They have evolved. They are different according to subfields, countries, communities, education and personal taste. They might have been consider to "decrease" at some point, or to become fussy and cumbersome at other points. There are many opposite extreme points of view about this.
    $endgroup$
    – YCor
    Feb 27 at 12:08






  • 3




    $begingroup$
    Perhaps some statistical applications of the Central Limit Theorem to heavy-tailed distributions might fall into this category.
    $endgroup$
    – John Coleman
    Feb 28 at 14:06
















46












$begingroup$


The standards of rigour in mathematics have increased several times during history. In the process some statements, previously considered correct where refuted. I wonder if these wrong statements were "applied" anywhere before (or after) refutation to some harmful effect. For example, has any bridge fallen because every continuous function was thought to be differentiable except on a set of isolated points?



Sorry if this is a silly question.



Edit: Let me clarify. I am looking for examples of bad things happening, which fall in the following scheme:




  1. Lack of rigour led to a wrong statement (by "today's standard") in pure mathematics.


  2. That wrong statement was correctly applied to some other field, or somehow used in calculations etc.


  3. The conclusion from item 2 was then applied to a real-world situation, perhaps in construction or engineering.


  4. This led to some real-world harm or danger.



It is crucial that there was no mistakes or omissions in 2,3,4, and hypothetical being omniscient on the level of 1 would approve the project.



Sorry if I made it even sillier. Feel free to close the question.










share|cite|improve this question











$endgroup$



closed as off-topic by Joseph Van Name, Alexandre Eremenko, Piotr Hajlasz, abx, Ben Linowitz Mar 1 at 1:13


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question does not appear to be about research level mathematics within the scope defined in the help center." – Joseph Van Name, Alexandre Eremenko, Piotr Hajlasz, abx, Ben Linowitz

If this question can be reworded to fit the rules in the help center, please edit the question.












  • 17




    $begingroup$
    Structures have fallen apart because of inadequate attention to numerical analysis (see www-users.math.umn.edu/~arnold//disasters), but not because of exotica in pure math.
    $endgroup$
    – KConrad
    Feb 27 at 11:54






  • 2




    $begingroup$
    @KConrad: Italian differential geometry is an example of the latter :-)
    $endgroup$
    – J.J. Green
    Feb 27 at 12:02








  • 5




    $begingroup$
    You might find the answers at math.stackexchange.com/questions/1220875/… to be of interest.
    $endgroup$
    – KConrad
    Feb 27 at 12:08






  • 11




    $begingroup$
    The standards of rigor have not just increased. They have evolved. They are different according to subfields, countries, communities, education and personal taste. They might have been consider to "decrease" at some point, or to become fussy and cumbersome at other points. There are many opposite extreme points of view about this.
    $endgroup$
    – YCor
    Feb 27 at 12:08






  • 3




    $begingroup$
    Perhaps some statistical applications of the Central Limit Theorem to heavy-tailed distributions might fall into this category.
    $endgroup$
    – John Coleman
    Feb 28 at 14:06














46












46








46


25



$begingroup$


The standards of rigour in mathematics have increased several times during history. In the process some statements, previously considered correct where refuted. I wonder if these wrong statements were "applied" anywhere before (or after) refutation to some harmful effect. For example, has any bridge fallen because every continuous function was thought to be differentiable except on a set of isolated points?



Sorry if this is a silly question.



Edit: Let me clarify. I am looking for examples of bad things happening, which fall in the following scheme:




  1. Lack of rigour led to a wrong statement (by "today's standard") in pure mathematics.


  2. That wrong statement was correctly applied to some other field, or somehow used in calculations etc.


  3. The conclusion from item 2 was then applied to a real-world situation, perhaps in construction or engineering.


  4. This led to some real-world harm or danger.



It is crucial that there was no mistakes or omissions in 2,3,4, and hypothetical being omniscient on the level of 1 would approve the project.



Sorry if I made it even sillier. Feel free to close the question.










share|cite|improve this question











$endgroup$




The standards of rigour in mathematics have increased several times during history. In the process some statements, previously considered correct where refuted. I wonder if these wrong statements were "applied" anywhere before (or after) refutation to some harmful effect. For example, has any bridge fallen because every continuous function was thought to be differentiable except on a set of isolated points?



Sorry if this is a silly question.



Edit: Let me clarify. I am looking for examples of bad things happening, which fall in the following scheme:




  1. Lack of rigour led to a wrong statement (by "today's standard") in pure mathematics.


  2. That wrong statement was correctly applied to some other field, or somehow used in calculations etc.


  3. The conclusion from item 2 was then applied to a real-world situation, perhaps in construction or engineering.


  4. This led to some real-world harm or danger.



It is crucial that there was no mistakes or omissions in 2,3,4, and hypothetical being omniscient on the level of 1 would approve the project.



Sorry if I made it even sillier. Feel free to close the question.







soft-question ho.history-overview






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Feb 27 at 13:09


























community wiki





erz





closed as off-topic by Joseph Van Name, Alexandre Eremenko, Piotr Hajlasz, abx, Ben Linowitz Mar 1 at 1:13


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question does not appear to be about research level mathematics within the scope defined in the help center." – Joseph Van Name, Alexandre Eremenko, Piotr Hajlasz, abx, Ben Linowitz

If this question can be reworded to fit the rules in the help center, please edit the question.







closed as off-topic by Joseph Van Name, Alexandre Eremenko, Piotr Hajlasz, abx, Ben Linowitz Mar 1 at 1:13


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question does not appear to be about research level mathematics within the scope defined in the help center." – Joseph Van Name, Alexandre Eremenko, Piotr Hajlasz, abx, Ben Linowitz

If this question can be reworded to fit the rules in the help center, please edit the question.








  • 17




    $begingroup$
    Structures have fallen apart because of inadequate attention to numerical analysis (see www-users.math.umn.edu/~arnold//disasters), but not because of exotica in pure math.
    $endgroup$
    – KConrad
    Feb 27 at 11:54






  • 2




    $begingroup$
    @KConrad: Italian differential geometry is an example of the latter :-)
    $endgroup$
    – J.J. Green
    Feb 27 at 12:02








  • 5




    $begingroup$
    You might find the answers at math.stackexchange.com/questions/1220875/… to be of interest.
    $endgroup$
    – KConrad
    Feb 27 at 12:08






  • 11




    $begingroup$
    The standards of rigor have not just increased. They have evolved. They are different according to subfields, countries, communities, education and personal taste. They might have been consider to "decrease" at some point, or to become fussy and cumbersome at other points. There are many opposite extreme points of view about this.
    $endgroup$
    – YCor
    Feb 27 at 12:08






  • 3




    $begingroup$
    Perhaps some statistical applications of the Central Limit Theorem to heavy-tailed distributions might fall into this category.
    $endgroup$
    – John Coleman
    Feb 28 at 14:06














  • 17




    $begingroup$
    Structures have fallen apart because of inadequate attention to numerical analysis (see www-users.math.umn.edu/~arnold//disasters), but not because of exotica in pure math.
    $endgroup$
    – KConrad
    Feb 27 at 11:54






  • 2




    $begingroup$
    @KConrad: Italian differential geometry is an example of the latter :-)
    $endgroup$
    – J.J. Green
    Feb 27 at 12:02








  • 5




    $begingroup$
    You might find the answers at math.stackexchange.com/questions/1220875/… to be of interest.
    $endgroup$
    – KConrad
    Feb 27 at 12:08






  • 11




    $begingroup$
    The standards of rigor have not just increased. They have evolved. They are different according to subfields, countries, communities, education and personal taste. They might have been consider to "decrease" at some point, or to become fussy and cumbersome at other points. There are many opposite extreme points of view about this.
    $endgroup$
    – YCor
    Feb 27 at 12:08






  • 3




    $begingroup$
    Perhaps some statistical applications of the Central Limit Theorem to heavy-tailed distributions might fall into this category.
    $endgroup$
    – John Coleman
    Feb 28 at 14:06








17




17




$begingroup$
Structures have fallen apart because of inadequate attention to numerical analysis (see www-users.math.umn.edu/~arnold//disasters), but not because of exotica in pure math.
$endgroup$
– KConrad
Feb 27 at 11:54




$begingroup$
Structures have fallen apart because of inadequate attention to numerical analysis (see www-users.math.umn.edu/~arnold//disasters), but not because of exotica in pure math.
$endgroup$
– KConrad
Feb 27 at 11:54




2




2




$begingroup$
@KConrad: Italian differential geometry is an example of the latter :-)
$endgroup$
– J.J. Green
Feb 27 at 12:02






$begingroup$
@KConrad: Italian differential geometry is an example of the latter :-)
$endgroup$
– J.J. Green
Feb 27 at 12:02






5




5




$begingroup$
You might find the answers at math.stackexchange.com/questions/1220875/… to be of interest.
$endgroup$
– KConrad
Feb 27 at 12:08




$begingroup$
You might find the answers at math.stackexchange.com/questions/1220875/… to be of interest.
$endgroup$
– KConrad
Feb 27 at 12:08




11




11




$begingroup$
The standards of rigor have not just increased. They have evolved. They are different according to subfields, countries, communities, education and personal taste. They might have been consider to "decrease" at some point, or to become fussy and cumbersome at other points. There are many opposite extreme points of view about this.
$endgroup$
– YCor
Feb 27 at 12:08




$begingroup$
The standards of rigor have not just increased. They have evolved. They are different according to subfields, countries, communities, education and personal taste. They might have been consider to "decrease" at some point, or to become fussy and cumbersome at other points. There are many opposite extreme points of view about this.
$endgroup$
– YCor
Feb 27 at 12:08




3




3




$begingroup$
Perhaps some statistical applications of the Central Limit Theorem to heavy-tailed distributions might fall into this category.
$endgroup$
– John Coleman
Feb 28 at 14:06




$begingroup$
Perhaps some statistical applications of the Central Limit Theorem to heavy-tailed distributions might fall into this category.
$endgroup$
– John Coleman
Feb 28 at 14:06










4 Answers
4






active

oldest

votes


















50












$begingroup$

Quoting from



Martin Gardner: Curves of constant width, one of which makes it possible to drill square holes, Scientific American Vol. 208, No. 2 (February 1963), pp. 148-158:




Is the circle the only closed curve of constant width? Most people would say yes, thus providing a sterling example of how far one's mathematical intuition can go astray. Actually there is an infinity of such curves. Any of them can be cross section of a roller that will roll a platform as smoothly as a circular cylinder! The failure to recognize such curves can have and has had disastrous consequences in industry. To give an example, it might be thought that the cylindrical hull of a half-built submarine could be tested for circularity by just measuring maximum widths in all directions. As will soon be made clear, such a hull can be monstruously lopsided and still pass such a test. It is precisely for this reason that the circularity of a submarine hull is always tested by applying curved templates.







share|cite|improve this answer











$endgroup$









  • 5




    $begingroup$
    In one of his books, Feynman mentions the same issue regarding reusable fuel booster tanks from the space shuttle
    $endgroup$
    – Rodrigo A. Pérez
    Feb 27 at 14:49






  • 2




    $begingroup$
    This "might be taught". Do we know if it actually was taught this way at some point?
    $endgroup$
    – Michael Lugo
    Feb 27 at 16:54






  • 2




    $begingroup$
    "Most people would say yes:" one can indeed detect a certain lack of rigor in this method of proof (especially when the question is one that "most people" will never have thought about).
    $endgroup$
    – Christian Remling
    Feb 27 at 18:22






  • 1




    $begingroup$
    Most people do not build fuel booster tanks for space shuttles.
    $endgroup$
    – Théophile
    Feb 27 at 22:01






  • 4




    $begingroup$
    "taught" is a typo. Gardner wrote "thought".
    $endgroup$
    – Noam D. Elkies
    Feb 28 at 1:11



















37












$begingroup$

In classical mechanics, dissipative forces are typically regarded as having a stabilizing effect. However, this is not always the case as the folks behind the first satellite launched by the United States Explorer I found out. To quote from the linked wikipedia article




Explorer 1 changed rotation axis after launch. The elongated body of the spacecraft had been designed to spin about its long (least-inertia) axis but refused to do so, and instead started precessing due to energy dissipation from flexible structural elements. Later it was understood that on general grounds, the body ends up in the spin state that minimizes the kinetic rotational energy for a fixed angular momentum (this being the maximal-inertia axis). This motivated the first further development of the Eulerian theory of rigid body dynamics after nearly 200 years—to address this kind of momentum-preserving energy dissipation.




In short, the satellite ended up rotating like a windmill blade because of a counterintuitive phenomenon known as dissipation-induced instabilities; for a review article on this see



Krechetnikov, R.; Marsden, J. E., Dissipation-induced instabilities in finite dimensions, Rev. Mod. Phys. 79, No. 2, 519-553 (2007). ZBL1205.70002.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Coming in as a Physics.SE regular via the HNQ list -- it sounds rather strange to call this a consequence of "lack of mathematical rigor". It just seems to be a subtle feature of equations that have could have been written in terms of standard calculus 200 years ago, and still are. We physicists discover these all the time, and not by messing with epsilons and deltas.
    $endgroup$
    – knzhou
    Feb 28 at 13:49












  • $begingroup$
    Also, the question arises whether somebody has really proclaimed this to be a mathematically proven fact, and not just an empirical observation (as in: “So far, in every system we observed or could think of, dissipative forces were stabilising.”).
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:27



















5












$begingroup$


For example, has any bridge fallen because every continuous function was thought to be differentiable except on a set of isolated points?




Probably



The paper "Fracture and Damage Behaviors of Concrete in the Fractal Space" compares the fracture toughness of concrete when you take fractals into account v.s. when you do not take them into account. Their experiments suggest that the fractal analysis is more accurate, and that the non-fractal approach often overestimates the strength of concrete (which is obviously bad for bridges).



Functions whose graphs are fractals just so happen to be examples of continuous functions that are no where differentiable. In fact, the first known example of such a function had a fractal graph. Therefore, it is plausible that a bridge engineer, assuming no such functions exist, overestimated the strength of concrete, which concrete was the cause of the bridge's failure. However, it is unlikely that he thought to apply fractals in determining the cause of failure as well, so we may have trouble finding specific examples.



In general, fractals occur very commonly in nature. In many contexts, fractals are the only thing that occur (try finding a natural coast line that is differentiable). Therefore, I suspect that concrete is not the only time that this assumption misled us gravely.



Easier to prove, however, is the application that fractals, and the modern theory of functions, has given us. And it all started with a question: How weirdly can a function act? Being blinded by "intuition" can have us miss the forest for the well-behaved trees.






share|cite|improve this answer











$endgroup$









  • 2




    $begingroup$
    Tacoma Rapids Bridge and London's Millenium Bridge are examples where failure to take proper account of existing Mathematical theory led to structural failures.
    $endgroup$
    – Geoff Robinson
    Feb 28 at 10:11








  • 4




    $begingroup$
    "Fractals just so happen to be examples of continuous functions...." Fractals are not functions. The graph of a function might be a fractal.
    $endgroup$
    – Gerry Myerson
    Feb 28 at 11:18






  • 6




    $begingroup$
    @GerryMyerson I was about to complain about that being nit-picky, but this is a question about rigor. It is fixed now.
    $endgroup$
    – PyRulez
    Feb 28 at 11:20






  • 3




    $begingroup$
    There are no true fractals or similar in reality, at least when you reach the atomic scale (and usually much earlier). If fractals (or everywhere undifferentiable curves) can make your engineering fail, then there will also be a smooth curve (that is nearly fractal) with the same effect. For example, it will be not taking into account fine structures that makes your engineering fail, not making invalid assumptions about curves.
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:32






  • 2




    $begingroup$
    @PyRulez: Sure, but you get similar problems, just replace the small spacial scales with the dynamic scales of external noise, instationarities, etc. E.g., if you make a mistake in application by not taking into account the possibility of chaos, you will also have a problem with periodic dynamics with a long and complex period (in fact, periodic orbits are dense in chaotic systems).
    $endgroup$
    – Wrzlprmft
    Feb 28 at 20:15



















4












$begingroup$

This is a riff of my answer to a similar question on Math SE. It seems to better fit to this question anyway.



I mainly argue that it is highly unlikely that you will find such an example.
To this purpose, let’s look at your steps and what they would imply in practical situations:





  1. Lack of rigour led to a wrong statement (by "today's standard") in pure mathematics.




Wrong statements from pure mathematics are made for a reason, namely that they hold in most cases the mathematician in question (and their peers, etc.) can think of.
Since mathematicians are usually good of thinking about relevant cases, this means that the cases in which such a statement fails are either relatively few or standing out from examples inspired by application.
This alone makes it unlikely that such a case matters in application.
And that’s not even speaking of the several cases where the counter-example does not matter in reality at all.



In cases like “every continuous function is ‘mostly’ differentiable” this may be less obvious.
I address this separately below.





  1. That wrong statement was correctly applied to some other field, or somehow used in calculations etc.




Good science doesn’t just apply mathematics in a fire-and-forget sense.
It involves a lot of practical tests, double-checking, simulations, checking known cases, thinking about mathematical conditions and limitations, etc.
This is usually not because the underlying mathematics may be wrong, but because it may be applied for the wrong reason, etc.
Either way, these safety checks should also find problem due to wrong underlying mathematics.
Again, this may fail to find the error, but it’s unlikely.



Moreover, in a considerable amount of cases, the application may happen the other way around:
A scientists makes an empirical observation and then searches for the mathematics that allows to prove it.
Now, to allow for a (true) empirical observation, the mathematical statement must hold in a considerable number of relevant cases, which makes it unlikely to fail.



Of course, a lot of things may go wrong in this case, but then it’s a case of wrongly applied mathematics, lack of scientific rigour, etc.





  1. The conclusion from item 2 was then applied to a real-world situation, perhaps in construction or engineering.




This is mostly like step 2: Engineering again involves a lot of testing, etc. that should detect the problem.



Conclusion



So, for lack of rigour actually causing some real-life damage, a lot of unlikely things must coincide.
You can somewhat reduce the number of required coincidences by looking at one of those few cases, where mathematics is applied very directly in a case which does not allow for extensive testing (say space travel) though.



Appendix: What about fractals?



Now you may say: “Fractals are ubiquitous in nature and a counter-example to every continuous curve being ‘mostly’ differentiable”. (This other answer is based on this.) From this you may conclude that my argument that counter-examples to wrong statements are sparse in reality does not hold.



However, applying the entire notion of continuity or differentiability to non-atomic objects is already artificial in a way that should be clear to everybody applying mathematics.
Real fractures, coast lines, romanesco etc. are made of grains, cells, atoms, and similar, which in turn ultimately are not continuous in a way that translates to the macroscopic object.
Mind that this is not about the question whether reality is continuous or differentiable, but about how this manifests or can be applied.
For example, if you work with a derivative, you do not care about it for its own sake, but a physical meaning connected to it.
This physical meaning does not persist all the way down.
If you work on the assumption that your object has a physically meaningful derivative at these scales, you are making a scientific mistake anyway.



From another perspective, there are no fractals in the mathematical sense in reality.
(Fractals are “only” a very good way of modelling certain natural phenomena, the same way that continuity, derivatives, etc. are.)
For every realistic approximation of a non-differentiable curve in a macroscopic object, you will find an equivalent approximation of a differentiable curve.



So, to summarise, if somebody is really building something based on the assumption that continuous curves are “mostly” differentiable, they make at least one other, scientific mistake anyway.






share|cite|improve this answer











$endgroup$









  • 1




    $begingroup$
    "Since mathematicians are usually good of thinking about relevant cases, this means that the cases in which such a statement fails are few in number as compared to those where it holds." It is actually more typical that the statement failing is the norm (if it does fail), and that the set of "well-behaved" cases is small in some sense, if not in cardinality. Our number system is the prime example: irrational, transcendental, incomputable, arithmetically undefinable, imaginary. "Most" functions and topologies are also pathological. Exceptional objects are exceptional for a reason.
    $endgroup$
    – PyRulez
    Feb 28 at 12:32










  • $begingroup$
    @PyRulez: Our number system is the prime example – Well, but then you can describe reality just fine with rational numbers. It may just get a bit tedious. Still, I can phrase that better; see my edit.
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:24


















4 Answers
4






active

oldest

votes








4 Answers
4






active

oldest

votes









active

oldest

votes






active

oldest

votes









50












$begingroup$

Quoting from



Martin Gardner: Curves of constant width, one of which makes it possible to drill square holes, Scientific American Vol. 208, No. 2 (February 1963), pp. 148-158:




Is the circle the only closed curve of constant width? Most people would say yes, thus providing a sterling example of how far one's mathematical intuition can go astray. Actually there is an infinity of such curves. Any of them can be cross section of a roller that will roll a platform as smoothly as a circular cylinder! The failure to recognize such curves can have and has had disastrous consequences in industry. To give an example, it might be thought that the cylindrical hull of a half-built submarine could be tested for circularity by just measuring maximum widths in all directions. As will soon be made clear, such a hull can be monstruously lopsided and still pass such a test. It is precisely for this reason that the circularity of a submarine hull is always tested by applying curved templates.







share|cite|improve this answer











$endgroup$









  • 5




    $begingroup$
    In one of his books, Feynman mentions the same issue regarding reusable fuel booster tanks from the space shuttle
    $endgroup$
    – Rodrigo A. Pérez
    Feb 27 at 14:49






  • 2




    $begingroup$
    This "might be taught". Do we know if it actually was taught this way at some point?
    $endgroup$
    – Michael Lugo
    Feb 27 at 16:54






  • 2




    $begingroup$
    "Most people would say yes:" one can indeed detect a certain lack of rigor in this method of proof (especially when the question is one that "most people" will never have thought about).
    $endgroup$
    – Christian Remling
    Feb 27 at 18:22






  • 1




    $begingroup$
    Most people do not build fuel booster tanks for space shuttles.
    $endgroup$
    – Théophile
    Feb 27 at 22:01






  • 4




    $begingroup$
    "taught" is a typo. Gardner wrote "thought".
    $endgroup$
    – Noam D. Elkies
    Feb 28 at 1:11
















50












$begingroup$

Quoting from



Martin Gardner: Curves of constant width, one of which makes it possible to drill square holes, Scientific American Vol. 208, No. 2 (February 1963), pp. 148-158:




Is the circle the only closed curve of constant width? Most people would say yes, thus providing a sterling example of how far one's mathematical intuition can go astray. Actually there is an infinity of such curves. Any of them can be cross section of a roller that will roll a platform as smoothly as a circular cylinder! The failure to recognize such curves can have and has had disastrous consequences in industry. To give an example, it might be thought that the cylindrical hull of a half-built submarine could be tested for circularity by just measuring maximum widths in all directions. As will soon be made clear, such a hull can be monstruously lopsided and still pass such a test. It is precisely for this reason that the circularity of a submarine hull is always tested by applying curved templates.







share|cite|improve this answer











$endgroup$









  • 5




    $begingroup$
    In one of his books, Feynman mentions the same issue regarding reusable fuel booster tanks from the space shuttle
    $endgroup$
    – Rodrigo A. Pérez
    Feb 27 at 14:49






  • 2




    $begingroup$
    This "might be taught". Do we know if it actually was taught this way at some point?
    $endgroup$
    – Michael Lugo
    Feb 27 at 16:54






  • 2




    $begingroup$
    "Most people would say yes:" one can indeed detect a certain lack of rigor in this method of proof (especially when the question is one that "most people" will never have thought about).
    $endgroup$
    – Christian Remling
    Feb 27 at 18:22






  • 1




    $begingroup$
    Most people do not build fuel booster tanks for space shuttles.
    $endgroup$
    – Théophile
    Feb 27 at 22:01






  • 4




    $begingroup$
    "taught" is a typo. Gardner wrote "thought".
    $endgroup$
    – Noam D. Elkies
    Feb 28 at 1:11














50












50








50





$begingroup$

Quoting from



Martin Gardner: Curves of constant width, one of which makes it possible to drill square holes, Scientific American Vol. 208, No. 2 (February 1963), pp. 148-158:




Is the circle the only closed curve of constant width? Most people would say yes, thus providing a sterling example of how far one's mathematical intuition can go astray. Actually there is an infinity of such curves. Any of them can be cross section of a roller that will roll a platform as smoothly as a circular cylinder! The failure to recognize such curves can have and has had disastrous consequences in industry. To give an example, it might be thought that the cylindrical hull of a half-built submarine could be tested for circularity by just measuring maximum widths in all directions. As will soon be made clear, such a hull can be monstruously lopsided and still pass such a test. It is precisely for this reason that the circularity of a submarine hull is always tested by applying curved templates.







share|cite|improve this answer











$endgroup$



Quoting from



Martin Gardner: Curves of constant width, one of which makes it possible to drill square holes, Scientific American Vol. 208, No. 2 (February 1963), pp. 148-158:




Is the circle the only closed curve of constant width? Most people would say yes, thus providing a sterling example of how far one's mathematical intuition can go astray. Actually there is an infinity of such curves. Any of them can be cross section of a roller that will roll a platform as smoothly as a circular cylinder! The failure to recognize such curves can have and has had disastrous consequences in industry. To give an example, it might be thought that the cylindrical hull of a half-built submarine could be tested for circularity by just measuring maximum widths in all directions. As will soon be made clear, such a hull can be monstruously lopsided and still pass such a test. It is precisely for this reason that the circularity of a submarine hull is always tested by applying curved templates.








share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Feb 28 at 4:15


























community wiki





4 revs, 2 users 95%
Francesco Polizzi









  • 5




    $begingroup$
    In one of his books, Feynman mentions the same issue regarding reusable fuel booster tanks from the space shuttle
    $endgroup$
    – Rodrigo A. Pérez
    Feb 27 at 14:49






  • 2




    $begingroup$
    This "might be taught". Do we know if it actually was taught this way at some point?
    $endgroup$
    – Michael Lugo
    Feb 27 at 16:54






  • 2




    $begingroup$
    "Most people would say yes:" one can indeed detect a certain lack of rigor in this method of proof (especially when the question is one that "most people" will never have thought about).
    $endgroup$
    – Christian Remling
    Feb 27 at 18:22






  • 1




    $begingroup$
    Most people do not build fuel booster tanks for space shuttles.
    $endgroup$
    – Théophile
    Feb 27 at 22:01






  • 4




    $begingroup$
    "taught" is a typo. Gardner wrote "thought".
    $endgroup$
    – Noam D. Elkies
    Feb 28 at 1:11














  • 5




    $begingroup$
    In one of his books, Feynman mentions the same issue regarding reusable fuel booster tanks from the space shuttle
    $endgroup$
    – Rodrigo A. Pérez
    Feb 27 at 14:49






  • 2




    $begingroup$
    This "might be taught". Do we know if it actually was taught this way at some point?
    $endgroup$
    – Michael Lugo
    Feb 27 at 16:54






  • 2




    $begingroup$
    "Most people would say yes:" one can indeed detect a certain lack of rigor in this method of proof (especially when the question is one that "most people" will never have thought about).
    $endgroup$
    – Christian Remling
    Feb 27 at 18:22






  • 1




    $begingroup$
    Most people do not build fuel booster tanks for space shuttles.
    $endgroup$
    – Théophile
    Feb 27 at 22:01






  • 4




    $begingroup$
    "taught" is a typo. Gardner wrote "thought".
    $endgroup$
    – Noam D. Elkies
    Feb 28 at 1:11








5




5




$begingroup$
In one of his books, Feynman mentions the same issue regarding reusable fuel booster tanks from the space shuttle
$endgroup$
– Rodrigo A. Pérez
Feb 27 at 14:49




$begingroup$
In one of his books, Feynman mentions the same issue regarding reusable fuel booster tanks from the space shuttle
$endgroup$
– Rodrigo A. Pérez
Feb 27 at 14:49




2




2




$begingroup$
This "might be taught". Do we know if it actually was taught this way at some point?
$endgroup$
– Michael Lugo
Feb 27 at 16:54




$begingroup$
This "might be taught". Do we know if it actually was taught this way at some point?
$endgroup$
– Michael Lugo
Feb 27 at 16:54




2




2




$begingroup$
"Most people would say yes:" one can indeed detect a certain lack of rigor in this method of proof (especially when the question is one that "most people" will never have thought about).
$endgroup$
– Christian Remling
Feb 27 at 18:22




$begingroup$
"Most people would say yes:" one can indeed detect a certain lack of rigor in this method of proof (especially when the question is one that "most people" will never have thought about).
$endgroup$
– Christian Remling
Feb 27 at 18:22




1




1




$begingroup$
Most people do not build fuel booster tanks for space shuttles.
$endgroup$
– Théophile
Feb 27 at 22:01




$begingroup$
Most people do not build fuel booster tanks for space shuttles.
$endgroup$
– Théophile
Feb 27 at 22:01




4




4




$begingroup$
"taught" is a typo. Gardner wrote "thought".
$endgroup$
– Noam D. Elkies
Feb 28 at 1:11




$begingroup$
"taught" is a typo. Gardner wrote "thought".
$endgroup$
– Noam D. Elkies
Feb 28 at 1:11











37












$begingroup$

In classical mechanics, dissipative forces are typically regarded as having a stabilizing effect. However, this is not always the case as the folks behind the first satellite launched by the United States Explorer I found out. To quote from the linked wikipedia article




Explorer 1 changed rotation axis after launch. The elongated body of the spacecraft had been designed to spin about its long (least-inertia) axis but refused to do so, and instead started precessing due to energy dissipation from flexible structural elements. Later it was understood that on general grounds, the body ends up in the spin state that minimizes the kinetic rotational energy for a fixed angular momentum (this being the maximal-inertia axis). This motivated the first further development of the Eulerian theory of rigid body dynamics after nearly 200 years—to address this kind of momentum-preserving energy dissipation.




In short, the satellite ended up rotating like a windmill blade because of a counterintuitive phenomenon known as dissipation-induced instabilities; for a review article on this see



Krechetnikov, R.; Marsden, J. E., Dissipation-induced instabilities in finite dimensions, Rev. Mod. Phys. 79, No. 2, 519-553 (2007). ZBL1205.70002.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Coming in as a Physics.SE regular via the HNQ list -- it sounds rather strange to call this a consequence of "lack of mathematical rigor". It just seems to be a subtle feature of equations that have could have been written in terms of standard calculus 200 years ago, and still are. We physicists discover these all the time, and not by messing with epsilons and deltas.
    $endgroup$
    – knzhou
    Feb 28 at 13:49












  • $begingroup$
    Also, the question arises whether somebody has really proclaimed this to be a mathematically proven fact, and not just an empirical observation (as in: “So far, in every system we observed or could think of, dissipative forces were stabilising.”).
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:27
















37












$begingroup$

In classical mechanics, dissipative forces are typically regarded as having a stabilizing effect. However, this is not always the case as the folks behind the first satellite launched by the United States Explorer I found out. To quote from the linked wikipedia article




Explorer 1 changed rotation axis after launch. The elongated body of the spacecraft had been designed to spin about its long (least-inertia) axis but refused to do so, and instead started precessing due to energy dissipation from flexible structural elements. Later it was understood that on general grounds, the body ends up in the spin state that minimizes the kinetic rotational energy for a fixed angular momentum (this being the maximal-inertia axis). This motivated the first further development of the Eulerian theory of rigid body dynamics after nearly 200 years—to address this kind of momentum-preserving energy dissipation.




In short, the satellite ended up rotating like a windmill blade because of a counterintuitive phenomenon known as dissipation-induced instabilities; for a review article on this see



Krechetnikov, R.; Marsden, J. E., Dissipation-induced instabilities in finite dimensions, Rev. Mod. Phys. 79, No. 2, 519-553 (2007). ZBL1205.70002.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Coming in as a Physics.SE regular via the HNQ list -- it sounds rather strange to call this a consequence of "lack of mathematical rigor". It just seems to be a subtle feature of equations that have could have been written in terms of standard calculus 200 years ago, and still are. We physicists discover these all the time, and not by messing with epsilons and deltas.
    $endgroup$
    – knzhou
    Feb 28 at 13:49












  • $begingroup$
    Also, the question arises whether somebody has really proclaimed this to be a mathematically proven fact, and not just an empirical observation (as in: “So far, in every system we observed or could think of, dissipative forces were stabilising.”).
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:27














37












37








37





$begingroup$

In classical mechanics, dissipative forces are typically regarded as having a stabilizing effect. However, this is not always the case as the folks behind the first satellite launched by the United States Explorer I found out. To quote from the linked wikipedia article




Explorer 1 changed rotation axis after launch. The elongated body of the spacecraft had been designed to spin about its long (least-inertia) axis but refused to do so, and instead started precessing due to energy dissipation from flexible structural elements. Later it was understood that on general grounds, the body ends up in the spin state that minimizes the kinetic rotational energy for a fixed angular momentum (this being the maximal-inertia axis). This motivated the first further development of the Eulerian theory of rigid body dynamics after nearly 200 years—to address this kind of momentum-preserving energy dissipation.




In short, the satellite ended up rotating like a windmill blade because of a counterintuitive phenomenon known as dissipation-induced instabilities; for a review article on this see



Krechetnikov, R.; Marsden, J. E., Dissipation-induced instabilities in finite dimensions, Rev. Mod. Phys. 79, No. 2, 519-553 (2007). ZBL1205.70002.






share|cite|improve this answer











$endgroup$



In classical mechanics, dissipative forces are typically regarded as having a stabilizing effect. However, this is not always the case as the folks behind the first satellite launched by the United States Explorer I found out. To quote from the linked wikipedia article




Explorer 1 changed rotation axis after launch. The elongated body of the spacecraft had been designed to spin about its long (least-inertia) axis but refused to do so, and instead started precessing due to energy dissipation from flexible structural elements. Later it was understood that on general grounds, the body ends up in the spin state that minimizes the kinetic rotational energy for a fixed angular momentum (this being the maximal-inertia axis). This motivated the first further development of the Eulerian theory of rigid body dynamics after nearly 200 years—to address this kind of momentum-preserving energy dissipation.




In short, the satellite ended up rotating like a windmill blade because of a counterintuitive phenomenon known as dissipation-induced instabilities; for a review article on this see



Krechetnikov, R.; Marsden, J. E., Dissipation-induced instabilities in finite dimensions, Rev. Mod. Phys. 79, No. 2, 519-553 (2007). ZBL1205.70002.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Feb 28 at 0:14


























community wiki





2 revs, 2 users 95%
Nawaf Bou-Rabee













  • $begingroup$
    Coming in as a Physics.SE regular via the HNQ list -- it sounds rather strange to call this a consequence of "lack of mathematical rigor". It just seems to be a subtle feature of equations that have could have been written in terms of standard calculus 200 years ago, and still are. We physicists discover these all the time, and not by messing with epsilons and deltas.
    $endgroup$
    – knzhou
    Feb 28 at 13:49












  • $begingroup$
    Also, the question arises whether somebody has really proclaimed this to be a mathematically proven fact, and not just an empirical observation (as in: “So far, in every system we observed or could think of, dissipative forces were stabilising.”).
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:27


















  • $begingroup$
    Coming in as a Physics.SE regular via the HNQ list -- it sounds rather strange to call this a consequence of "lack of mathematical rigor". It just seems to be a subtle feature of equations that have could have been written in terms of standard calculus 200 years ago, and still are. We physicists discover these all the time, and not by messing with epsilons and deltas.
    $endgroup$
    – knzhou
    Feb 28 at 13:49












  • $begingroup$
    Also, the question arises whether somebody has really proclaimed this to be a mathematically proven fact, and not just an empirical observation (as in: “So far, in every system we observed or could think of, dissipative forces were stabilising.”).
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:27
















$begingroup$
Coming in as a Physics.SE regular via the HNQ list -- it sounds rather strange to call this a consequence of "lack of mathematical rigor". It just seems to be a subtle feature of equations that have could have been written in terms of standard calculus 200 years ago, and still are. We physicists discover these all the time, and not by messing with epsilons and deltas.
$endgroup$
– knzhou
Feb 28 at 13:49






$begingroup$
Coming in as a Physics.SE regular via the HNQ list -- it sounds rather strange to call this a consequence of "lack of mathematical rigor". It just seems to be a subtle feature of equations that have could have been written in terms of standard calculus 200 years ago, and still are. We physicists discover these all the time, and not by messing with epsilons and deltas.
$endgroup$
– knzhou
Feb 28 at 13:49














$begingroup$
Also, the question arises whether somebody has really proclaimed this to be a mathematically proven fact, and not just an empirical observation (as in: “So far, in every system we observed or could think of, dissipative forces were stabilising.”).
$endgroup$
– Wrzlprmft
Feb 28 at 17:27




$begingroup$
Also, the question arises whether somebody has really proclaimed this to be a mathematically proven fact, and not just an empirical observation (as in: “So far, in every system we observed or could think of, dissipative forces were stabilising.”).
$endgroup$
– Wrzlprmft
Feb 28 at 17:27











5












$begingroup$


For example, has any bridge fallen because every continuous function was thought to be differentiable except on a set of isolated points?




Probably



The paper "Fracture and Damage Behaviors of Concrete in the Fractal Space" compares the fracture toughness of concrete when you take fractals into account v.s. when you do not take them into account. Their experiments suggest that the fractal analysis is more accurate, and that the non-fractal approach often overestimates the strength of concrete (which is obviously bad for bridges).



Functions whose graphs are fractals just so happen to be examples of continuous functions that are no where differentiable. In fact, the first known example of such a function had a fractal graph. Therefore, it is plausible that a bridge engineer, assuming no such functions exist, overestimated the strength of concrete, which concrete was the cause of the bridge's failure. However, it is unlikely that he thought to apply fractals in determining the cause of failure as well, so we may have trouble finding specific examples.



In general, fractals occur very commonly in nature. In many contexts, fractals are the only thing that occur (try finding a natural coast line that is differentiable). Therefore, I suspect that concrete is not the only time that this assumption misled us gravely.



Easier to prove, however, is the application that fractals, and the modern theory of functions, has given us. And it all started with a question: How weirdly can a function act? Being blinded by "intuition" can have us miss the forest for the well-behaved trees.






share|cite|improve this answer











$endgroup$









  • 2




    $begingroup$
    Tacoma Rapids Bridge and London's Millenium Bridge are examples where failure to take proper account of existing Mathematical theory led to structural failures.
    $endgroup$
    – Geoff Robinson
    Feb 28 at 10:11








  • 4




    $begingroup$
    "Fractals just so happen to be examples of continuous functions...." Fractals are not functions. The graph of a function might be a fractal.
    $endgroup$
    – Gerry Myerson
    Feb 28 at 11:18






  • 6




    $begingroup$
    @GerryMyerson I was about to complain about that being nit-picky, but this is a question about rigor. It is fixed now.
    $endgroup$
    – PyRulez
    Feb 28 at 11:20






  • 3




    $begingroup$
    There are no true fractals or similar in reality, at least when you reach the atomic scale (and usually much earlier). If fractals (or everywhere undifferentiable curves) can make your engineering fail, then there will also be a smooth curve (that is nearly fractal) with the same effect. For example, it will be not taking into account fine structures that makes your engineering fail, not making invalid assumptions about curves.
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:32






  • 2




    $begingroup$
    @PyRulez: Sure, but you get similar problems, just replace the small spacial scales with the dynamic scales of external noise, instationarities, etc. E.g., if you make a mistake in application by not taking into account the possibility of chaos, you will also have a problem with periodic dynamics with a long and complex period (in fact, periodic orbits are dense in chaotic systems).
    $endgroup$
    – Wrzlprmft
    Feb 28 at 20:15
















5












$begingroup$


For example, has any bridge fallen because every continuous function was thought to be differentiable except on a set of isolated points?




Probably



The paper "Fracture and Damage Behaviors of Concrete in the Fractal Space" compares the fracture toughness of concrete when you take fractals into account v.s. when you do not take them into account. Their experiments suggest that the fractal analysis is more accurate, and that the non-fractal approach often overestimates the strength of concrete (which is obviously bad for bridges).



Functions whose graphs are fractals just so happen to be examples of continuous functions that are no where differentiable. In fact, the first known example of such a function had a fractal graph. Therefore, it is plausible that a bridge engineer, assuming no such functions exist, overestimated the strength of concrete, which concrete was the cause of the bridge's failure. However, it is unlikely that he thought to apply fractals in determining the cause of failure as well, so we may have trouble finding specific examples.



In general, fractals occur very commonly in nature. In many contexts, fractals are the only thing that occur (try finding a natural coast line that is differentiable). Therefore, I suspect that concrete is not the only time that this assumption misled us gravely.



Easier to prove, however, is the application that fractals, and the modern theory of functions, has given us. And it all started with a question: How weirdly can a function act? Being blinded by "intuition" can have us miss the forest for the well-behaved trees.






share|cite|improve this answer











$endgroup$









  • 2




    $begingroup$
    Tacoma Rapids Bridge and London's Millenium Bridge are examples where failure to take proper account of existing Mathematical theory led to structural failures.
    $endgroup$
    – Geoff Robinson
    Feb 28 at 10:11








  • 4




    $begingroup$
    "Fractals just so happen to be examples of continuous functions...." Fractals are not functions. The graph of a function might be a fractal.
    $endgroup$
    – Gerry Myerson
    Feb 28 at 11:18






  • 6




    $begingroup$
    @GerryMyerson I was about to complain about that being nit-picky, but this is a question about rigor. It is fixed now.
    $endgroup$
    – PyRulez
    Feb 28 at 11:20






  • 3




    $begingroup$
    There are no true fractals or similar in reality, at least when you reach the atomic scale (and usually much earlier). If fractals (or everywhere undifferentiable curves) can make your engineering fail, then there will also be a smooth curve (that is nearly fractal) with the same effect. For example, it will be not taking into account fine structures that makes your engineering fail, not making invalid assumptions about curves.
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:32






  • 2




    $begingroup$
    @PyRulez: Sure, but you get similar problems, just replace the small spacial scales with the dynamic scales of external noise, instationarities, etc. E.g., if you make a mistake in application by not taking into account the possibility of chaos, you will also have a problem with periodic dynamics with a long and complex period (in fact, periodic orbits are dense in chaotic systems).
    $endgroup$
    – Wrzlprmft
    Feb 28 at 20:15














5












5








5





$begingroup$


For example, has any bridge fallen because every continuous function was thought to be differentiable except on a set of isolated points?




Probably



The paper "Fracture and Damage Behaviors of Concrete in the Fractal Space" compares the fracture toughness of concrete when you take fractals into account v.s. when you do not take them into account. Their experiments suggest that the fractal analysis is more accurate, and that the non-fractal approach often overestimates the strength of concrete (which is obviously bad for bridges).



Functions whose graphs are fractals just so happen to be examples of continuous functions that are no where differentiable. In fact, the first known example of such a function had a fractal graph. Therefore, it is plausible that a bridge engineer, assuming no such functions exist, overestimated the strength of concrete, which concrete was the cause of the bridge's failure. However, it is unlikely that he thought to apply fractals in determining the cause of failure as well, so we may have trouble finding specific examples.



In general, fractals occur very commonly in nature. In many contexts, fractals are the only thing that occur (try finding a natural coast line that is differentiable). Therefore, I suspect that concrete is not the only time that this assumption misled us gravely.



Easier to prove, however, is the application that fractals, and the modern theory of functions, has given us. And it all started with a question: How weirdly can a function act? Being blinded by "intuition" can have us miss the forest for the well-behaved trees.






share|cite|improve this answer











$endgroup$




For example, has any bridge fallen because every continuous function was thought to be differentiable except on a set of isolated points?




Probably



The paper "Fracture and Damage Behaviors of Concrete in the Fractal Space" compares the fracture toughness of concrete when you take fractals into account v.s. when you do not take them into account. Their experiments suggest that the fractal analysis is more accurate, and that the non-fractal approach often overestimates the strength of concrete (which is obviously bad for bridges).



Functions whose graphs are fractals just so happen to be examples of continuous functions that are no where differentiable. In fact, the first known example of such a function had a fractal graph. Therefore, it is plausible that a bridge engineer, assuming no such functions exist, overestimated the strength of concrete, which concrete was the cause of the bridge's failure. However, it is unlikely that he thought to apply fractals in determining the cause of failure as well, so we may have trouble finding specific examples.



In general, fractals occur very commonly in nature. In many contexts, fractals are the only thing that occur (try finding a natural coast line that is differentiable). Therefore, I suspect that concrete is not the only time that this assumption misled us gravely.



Easier to prove, however, is the application that fractals, and the modern theory of functions, has given us. And it all started with a question: How weirdly can a function act? Being blinded by "intuition" can have us miss the forest for the well-behaved trees.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Feb 28 at 11:19


























community wiki





2 revs
PyRulez









  • 2




    $begingroup$
    Tacoma Rapids Bridge and London's Millenium Bridge are examples where failure to take proper account of existing Mathematical theory led to structural failures.
    $endgroup$
    – Geoff Robinson
    Feb 28 at 10:11








  • 4




    $begingroup$
    "Fractals just so happen to be examples of continuous functions...." Fractals are not functions. The graph of a function might be a fractal.
    $endgroup$
    – Gerry Myerson
    Feb 28 at 11:18






  • 6




    $begingroup$
    @GerryMyerson I was about to complain about that being nit-picky, but this is a question about rigor. It is fixed now.
    $endgroup$
    – PyRulez
    Feb 28 at 11:20






  • 3




    $begingroup$
    There are no true fractals or similar in reality, at least when you reach the atomic scale (and usually much earlier). If fractals (or everywhere undifferentiable curves) can make your engineering fail, then there will also be a smooth curve (that is nearly fractal) with the same effect. For example, it will be not taking into account fine structures that makes your engineering fail, not making invalid assumptions about curves.
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:32






  • 2




    $begingroup$
    @PyRulez: Sure, but you get similar problems, just replace the small spacial scales with the dynamic scales of external noise, instationarities, etc. E.g., if you make a mistake in application by not taking into account the possibility of chaos, you will also have a problem with periodic dynamics with a long and complex period (in fact, periodic orbits are dense in chaotic systems).
    $endgroup$
    – Wrzlprmft
    Feb 28 at 20:15














  • 2




    $begingroup$
    Tacoma Rapids Bridge and London's Millenium Bridge are examples where failure to take proper account of existing Mathematical theory led to structural failures.
    $endgroup$
    – Geoff Robinson
    Feb 28 at 10:11








  • 4




    $begingroup$
    "Fractals just so happen to be examples of continuous functions...." Fractals are not functions. The graph of a function might be a fractal.
    $endgroup$
    – Gerry Myerson
    Feb 28 at 11:18






  • 6




    $begingroup$
    @GerryMyerson I was about to complain about that being nit-picky, but this is a question about rigor. It is fixed now.
    $endgroup$
    – PyRulez
    Feb 28 at 11:20






  • 3




    $begingroup$
    There are no true fractals or similar in reality, at least when you reach the atomic scale (and usually much earlier). If fractals (or everywhere undifferentiable curves) can make your engineering fail, then there will also be a smooth curve (that is nearly fractal) with the same effect. For example, it will be not taking into account fine structures that makes your engineering fail, not making invalid assumptions about curves.
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:32






  • 2




    $begingroup$
    @PyRulez: Sure, but you get similar problems, just replace the small spacial scales with the dynamic scales of external noise, instationarities, etc. E.g., if you make a mistake in application by not taking into account the possibility of chaos, you will also have a problem with periodic dynamics with a long and complex period (in fact, periodic orbits are dense in chaotic systems).
    $endgroup$
    – Wrzlprmft
    Feb 28 at 20:15








2




2




$begingroup$
Tacoma Rapids Bridge and London's Millenium Bridge are examples where failure to take proper account of existing Mathematical theory led to structural failures.
$endgroup$
– Geoff Robinson
Feb 28 at 10:11






$begingroup$
Tacoma Rapids Bridge and London's Millenium Bridge are examples where failure to take proper account of existing Mathematical theory led to structural failures.
$endgroup$
– Geoff Robinson
Feb 28 at 10:11






4




4




$begingroup$
"Fractals just so happen to be examples of continuous functions...." Fractals are not functions. The graph of a function might be a fractal.
$endgroup$
– Gerry Myerson
Feb 28 at 11:18




$begingroup$
"Fractals just so happen to be examples of continuous functions...." Fractals are not functions. The graph of a function might be a fractal.
$endgroup$
– Gerry Myerson
Feb 28 at 11:18




6




6




$begingroup$
@GerryMyerson I was about to complain about that being nit-picky, but this is a question about rigor. It is fixed now.
$endgroup$
– PyRulez
Feb 28 at 11:20




$begingroup$
@GerryMyerson I was about to complain about that being nit-picky, but this is a question about rigor. It is fixed now.
$endgroup$
– PyRulez
Feb 28 at 11:20




3




3




$begingroup$
There are no true fractals or similar in reality, at least when you reach the atomic scale (and usually much earlier). If fractals (or everywhere undifferentiable curves) can make your engineering fail, then there will also be a smooth curve (that is nearly fractal) with the same effect. For example, it will be not taking into account fine structures that makes your engineering fail, not making invalid assumptions about curves.
$endgroup$
– Wrzlprmft
Feb 28 at 17:32




$begingroup$
There are no true fractals or similar in reality, at least when you reach the atomic scale (and usually much earlier). If fractals (or everywhere undifferentiable curves) can make your engineering fail, then there will also be a smooth curve (that is nearly fractal) with the same effect. For example, it will be not taking into account fine structures that makes your engineering fail, not making invalid assumptions about curves.
$endgroup$
– Wrzlprmft
Feb 28 at 17:32




2




2




$begingroup$
@PyRulez: Sure, but you get similar problems, just replace the small spacial scales with the dynamic scales of external noise, instationarities, etc. E.g., if you make a mistake in application by not taking into account the possibility of chaos, you will also have a problem with periodic dynamics with a long and complex period (in fact, periodic orbits are dense in chaotic systems).
$endgroup$
– Wrzlprmft
Feb 28 at 20:15




$begingroup$
@PyRulez: Sure, but you get similar problems, just replace the small spacial scales with the dynamic scales of external noise, instationarities, etc. E.g., if you make a mistake in application by not taking into account the possibility of chaos, you will also have a problem with periodic dynamics with a long and complex period (in fact, periodic orbits are dense in chaotic systems).
$endgroup$
– Wrzlprmft
Feb 28 at 20:15











4












$begingroup$

This is a riff of my answer to a similar question on Math SE. It seems to better fit to this question anyway.



I mainly argue that it is highly unlikely that you will find such an example.
To this purpose, let’s look at your steps and what they would imply in practical situations:





  1. Lack of rigour led to a wrong statement (by "today's standard") in pure mathematics.




Wrong statements from pure mathematics are made for a reason, namely that they hold in most cases the mathematician in question (and their peers, etc.) can think of.
Since mathematicians are usually good of thinking about relevant cases, this means that the cases in which such a statement fails are either relatively few or standing out from examples inspired by application.
This alone makes it unlikely that such a case matters in application.
And that’s not even speaking of the several cases where the counter-example does not matter in reality at all.



In cases like “every continuous function is ‘mostly’ differentiable” this may be less obvious.
I address this separately below.





  1. That wrong statement was correctly applied to some other field, or somehow used in calculations etc.




Good science doesn’t just apply mathematics in a fire-and-forget sense.
It involves a lot of practical tests, double-checking, simulations, checking known cases, thinking about mathematical conditions and limitations, etc.
This is usually not because the underlying mathematics may be wrong, but because it may be applied for the wrong reason, etc.
Either way, these safety checks should also find problem due to wrong underlying mathematics.
Again, this may fail to find the error, but it’s unlikely.



Moreover, in a considerable amount of cases, the application may happen the other way around:
A scientists makes an empirical observation and then searches for the mathematics that allows to prove it.
Now, to allow for a (true) empirical observation, the mathematical statement must hold in a considerable number of relevant cases, which makes it unlikely to fail.



Of course, a lot of things may go wrong in this case, but then it’s a case of wrongly applied mathematics, lack of scientific rigour, etc.





  1. The conclusion from item 2 was then applied to a real-world situation, perhaps in construction or engineering.




This is mostly like step 2: Engineering again involves a lot of testing, etc. that should detect the problem.



Conclusion



So, for lack of rigour actually causing some real-life damage, a lot of unlikely things must coincide.
You can somewhat reduce the number of required coincidences by looking at one of those few cases, where mathematics is applied very directly in a case which does not allow for extensive testing (say space travel) though.



Appendix: What about fractals?



Now you may say: “Fractals are ubiquitous in nature and a counter-example to every continuous curve being ‘mostly’ differentiable”. (This other answer is based on this.) From this you may conclude that my argument that counter-examples to wrong statements are sparse in reality does not hold.



However, applying the entire notion of continuity or differentiability to non-atomic objects is already artificial in a way that should be clear to everybody applying mathematics.
Real fractures, coast lines, romanesco etc. are made of grains, cells, atoms, and similar, which in turn ultimately are not continuous in a way that translates to the macroscopic object.
Mind that this is not about the question whether reality is continuous or differentiable, but about how this manifests or can be applied.
For example, if you work with a derivative, you do not care about it for its own sake, but a physical meaning connected to it.
This physical meaning does not persist all the way down.
If you work on the assumption that your object has a physically meaningful derivative at these scales, you are making a scientific mistake anyway.



From another perspective, there are no fractals in the mathematical sense in reality.
(Fractals are “only” a very good way of modelling certain natural phenomena, the same way that continuity, derivatives, etc. are.)
For every realistic approximation of a non-differentiable curve in a macroscopic object, you will find an equivalent approximation of a differentiable curve.



So, to summarise, if somebody is really building something based on the assumption that continuous curves are “mostly” differentiable, they make at least one other, scientific mistake anyway.






share|cite|improve this answer











$endgroup$









  • 1




    $begingroup$
    "Since mathematicians are usually good of thinking about relevant cases, this means that the cases in which such a statement fails are few in number as compared to those where it holds." It is actually more typical that the statement failing is the norm (if it does fail), and that the set of "well-behaved" cases is small in some sense, if not in cardinality. Our number system is the prime example: irrational, transcendental, incomputable, arithmetically undefinable, imaginary. "Most" functions and topologies are also pathological. Exceptional objects are exceptional for a reason.
    $endgroup$
    – PyRulez
    Feb 28 at 12:32










  • $begingroup$
    @PyRulez: Our number system is the prime example – Well, but then you can describe reality just fine with rational numbers. It may just get a bit tedious. Still, I can phrase that better; see my edit.
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:24
















4












$begingroup$

This is a riff of my answer to a similar question on Math SE. It seems to better fit to this question anyway.



I mainly argue that it is highly unlikely that you will find such an example.
To this purpose, let’s look at your steps and what they would imply in practical situations:





  1. Lack of rigour led to a wrong statement (by "today's standard") in pure mathematics.




Wrong statements from pure mathematics are made for a reason, namely that they hold in most cases the mathematician in question (and their peers, etc.) can think of.
Since mathematicians are usually good of thinking about relevant cases, this means that the cases in which such a statement fails are either relatively few or standing out from examples inspired by application.
This alone makes it unlikely that such a case matters in application.
And that’s not even speaking of the several cases where the counter-example does not matter in reality at all.



In cases like “every continuous function is ‘mostly’ differentiable” this may be less obvious.
I address this separately below.





  1. That wrong statement was correctly applied to some other field, or somehow used in calculations etc.




Good science doesn’t just apply mathematics in a fire-and-forget sense.
It involves a lot of practical tests, double-checking, simulations, checking known cases, thinking about mathematical conditions and limitations, etc.
This is usually not because the underlying mathematics may be wrong, but because it may be applied for the wrong reason, etc.
Either way, these safety checks should also find problem due to wrong underlying mathematics.
Again, this may fail to find the error, but it’s unlikely.



Moreover, in a considerable amount of cases, the application may happen the other way around:
A scientists makes an empirical observation and then searches for the mathematics that allows to prove it.
Now, to allow for a (true) empirical observation, the mathematical statement must hold in a considerable number of relevant cases, which makes it unlikely to fail.



Of course, a lot of things may go wrong in this case, but then it’s a case of wrongly applied mathematics, lack of scientific rigour, etc.





  1. The conclusion from item 2 was then applied to a real-world situation, perhaps in construction or engineering.




This is mostly like step 2: Engineering again involves a lot of testing, etc. that should detect the problem.



Conclusion



So, for lack of rigour actually causing some real-life damage, a lot of unlikely things must coincide.
You can somewhat reduce the number of required coincidences by looking at one of those few cases, where mathematics is applied very directly in a case which does not allow for extensive testing (say space travel) though.



Appendix: What about fractals?



Now you may say: “Fractals are ubiquitous in nature and a counter-example to every continuous curve being ‘mostly’ differentiable”. (This other answer is based on this.) From this you may conclude that my argument that counter-examples to wrong statements are sparse in reality does not hold.



However, applying the entire notion of continuity or differentiability to non-atomic objects is already artificial in a way that should be clear to everybody applying mathematics.
Real fractures, coast lines, romanesco etc. are made of grains, cells, atoms, and similar, which in turn ultimately are not continuous in a way that translates to the macroscopic object.
Mind that this is not about the question whether reality is continuous or differentiable, but about how this manifests or can be applied.
For example, if you work with a derivative, you do not care about it for its own sake, but a physical meaning connected to it.
This physical meaning does not persist all the way down.
If you work on the assumption that your object has a physically meaningful derivative at these scales, you are making a scientific mistake anyway.



From another perspective, there are no fractals in the mathematical sense in reality.
(Fractals are “only” a very good way of modelling certain natural phenomena, the same way that continuity, derivatives, etc. are.)
For every realistic approximation of a non-differentiable curve in a macroscopic object, you will find an equivalent approximation of a differentiable curve.



So, to summarise, if somebody is really building something based on the assumption that continuous curves are “mostly” differentiable, they make at least one other, scientific mistake anyway.






share|cite|improve this answer











$endgroup$









  • 1




    $begingroup$
    "Since mathematicians are usually good of thinking about relevant cases, this means that the cases in which such a statement fails are few in number as compared to those where it holds." It is actually more typical that the statement failing is the norm (if it does fail), and that the set of "well-behaved" cases is small in some sense, if not in cardinality. Our number system is the prime example: irrational, transcendental, incomputable, arithmetically undefinable, imaginary. "Most" functions and topologies are also pathological. Exceptional objects are exceptional for a reason.
    $endgroup$
    – PyRulez
    Feb 28 at 12:32










  • $begingroup$
    @PyRulez: Our number system is the prime example – Well, but then you can describe reality just fine with rational numbers. It may just get a bit tedious. Still, I can phrase that better; see my edit.
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:24














4












4








4





$begingroup$

This is a riff of my answer to a similar question on Math SE. It seems to better fit to this question anyway.



I mainly argue that it is highly unlikely that you will find such an example.
To this purpose, let’s look at your steps and what they would imply in practical situations:





  1. Lack of rigour led to a wrong statement (by "today's standard") in pure mathematics.




Wrong statements from pure mathematics are made for a reason, namely that they hold in most cases the mathematician in question (and their peers, etc.) can think of.
Since mathematicians are usually good of thinking about relevant cases, this means that the cases in which such a statement fails are either relatively few or standing out from examples inspired by application.
This alone makes it unlikely that such a case matters in application.
And that’s not even speaking of the several cases where the counter-example does not matter in reality at all.



In cases like “every continuous function is ‘mostly’ differentiable” this may be less obvious.
I address this separately below.





  1. That wrong statement was correctly applied to some other field, or somehow used in calculations etc.




Good science doesn’t just apply mathematics in a fire-and-forget sense.
It involves a lot of practical tests, double-checking, simulations, checking known cases, thinking about mathematical conditions and limitations, etc.
This is usually not because the underlying mathematics may be wrong, but because it may be applied for the wrong reason, etc.
Either way, these safety checks should also find problem due to wrong underlying mathematics.
Again, this may fail to find the error, but it’s unlikely.



Moreover, in a considerable amount of cases, the application may happen the other way around:
A scientists makes an empirical observation and then searches for the mathematics that allows to prove it.
Now, to allow for a (true) empirical observation, the mathematical statement must hold in a considerable number of relevant cases, which makes it unlikely to fail.



Of course, a lot of things may go wrong in this case, but then it’s a case of wrongly applied mathematics, lack of scientific rigour, etc.





  1. The conclusion from item 2 was then applied to a real-world situation, perhaps in construction or engineering.




This is mostly like step 2: Engineering again involves a lot of testing, etc. that should detect the problem.



Conclusion



So, for lack of rigour actually causing some real-life damage, a lot of unlikely things must coincide.
You can somewhat reduce the number of required coincidences by looking at one of those few cases, where mathematics is applied very directly in a case which does not allow for extensive testing (say space travel) though.



Appendix: What about fractals?



Now you may say: “Fractals are ubiquitous in nature and a counter-example to every continuous curve being ‘mostly’ differentiable”. (This other answer is based on this.) From this you may conclude that my argument that counter-examples to wrong statements are sparse in reality does not hold.



However, applying the entire notion of continuity or differentiability to non-atomic objects is already artificial in a way that should be clear to everybody applying mathematics.
Real fractures, coast lines, romanesco etc. are made of grains, cells, atoms, and similar, which in turn ultimately are not continuous in a way that translates to the macroscopic object.
Mind that this is not about the question whether reality is continuous or differentiable, but about how this manifests or can be applied.
For example, if you work with a derivative, you do not care about it for its own sake, but a physical meaning connected to it.
This physical meaning does not persist all the way down.
If you work on the assumption that your object has a physically meaningful derivative at these scales, you are making a scientific mistake anyway.



From another perspective, there are no fractals in the mathematical sense in reality.
(Fractals are “only” a very good way of modelling certain natural phenomena, the same way that continuity, derivatives, etc. are.)
For every realistic approximation of a non-differentiable curve in a macroscopic object, you will find an equivalent approximation of a differentiable curve.



So, to summarise, if somebody is really building something based on the assumption that continuous curves are “mostly” differentiable, they make at least one other, scientific mistake anyway.






share|cite|improve this answer











$endgroup$



This is a riff of my answer to a similar question on Math SE. It seems to better fit to this question anyway.



I mainly argue that it is highly unlikely that you will find such an example.
To this purpose, let’s look at your steps and what they would imply in practical situations:





  1. Lack of rigour led to a wrong statement (by "today's standard") in pure mathematics.




Wrong statements from pure mathematics are made for a reason, namely that they hold in most cases the mathematician in question (and their peers, etc.) can think of.
Since mathematicians are usually good of thinking about relevant cases, this means that the cases in which such a statement fails are either relatively few or standing out from examples inspired by application.
This alone makes it unlikely that such a case matters in application.
And that’s not even speaking of the several cases where the counter-example does not matter in reality at all.



In cases like “every continuous function is ‘mostly’ differentiable” this may be less obvious.
I address this separately below.





  1. That wrong statement was correctly applied to some other field, or somehow used in calculations etc.




Good science doesn’t just apply mathematics in a fire-and-forget sense.
It involves a lot of practical tests, double-checking, simulations, checking known cases, thinking about mathematical conditions and limitations, etc.
This is usually not because the underlying mathematics may be wrong, but because it may be applied for the wrong reason, etc.
Either way, these safety checks should also find problem due to wrong underlying mathematics.
Again, this may fail to find the error, but it’s unlikely.



Moreover, in a considerable amount of cases, the application may happen the other way around:
A scientists makes an empirical observation and then searches for the mathematics that allows to prove it.
Now, to allow for a (true) empirical observation, the mathematical statement must hold in a considerable number of relevant cases, which makes it unlikely to fail.



Of course, a lot of things may go wrong in this case, but then it’s a case of wrongly applied mathematics, lack of scientific rigour, etc.





  1. The conclusion from item 2 was then applied to a real-world situation, perhaps in construction or engineering.




This is mostly like step 2: Engineering again involves a lot of testing, etc. that should detect the problem.



Conclusion



So, for lack of rigour actually causing some real-life damage, a lot of unlikely things must coincide.
You can somewhat reduce the number of required coincidences by looking at one of those few cases, where mathematics is applied very directly in a case which does not allow for extensive testing (say space travel) though.



Appendix: What about fractals?



Now you may say: “Fractals are ubiquitous in nature and a counter-example to every continuous curve being ‘mostly’ differentiable”. (This other answer is based on this.) From this you may conclude that my argument that counter-examples to wrong statements are sparse in reality does not hold.



However, applying the entire notion of continuity or differentiability to non-atomic objects is already artificial in a way that should be clear to everybody applying mathematics.
Real fractures, coast lines, romanesco etc. are made of grains, cells, atoms, and similar, which in turn ultimately are not continuous in a way that translates to the macroscopic object.
Mind that this is not about the question whether reality is continuous or differentiable, but about how this manifests or can be applied.
For example, if you work with a derivative, you do not care about it for its own sake, but a physical meaning connected to it.
This physical meaning does not persist all the way down.
If you work on the assumption that your object has a physically meaningful derivative at these scales, you are making a scientific mistake anyway.



From another perspective, there are no fractals in the mathematical sense in reality.
(Fractals are “only” a very good way of modelling certain natural phenomena, the same way that continuity, derivatives, etc. are.)
For every realistic approximation of a non-differentiable curve in a macroscopic object, you will find an equivalent approximation of a differentiable curve.



So, to summarise, if somebody is really building something based on the assumption that continuous curves are “mostly” differentiable, they make at least one other, scientific mistake anyway.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Feb 28 at 17:23


























community wiki





2 revs
Wrzlprmft









  • 1




    $begingroup$
    "Since mathematicians are usually good of thinking about relevant cases, this means that the cases in which such a statement fails are few in number as compared to those where it holds." It is actually more typical that the statement failing is the norm (if it does fail), and that the set of "well-behaved" cases is small in some sense, if not in cardinality. Our number system is the prime example: irrational, transcendental, incomputable, arithmetically undefinable, imaginary. "Most" functions and topologies are also pathological. Exceptional objects are exceptional for a reason.
    $endgroup$
    – PyRulez
    Feb 28 at 12:32










  • $begingroup$
    @PyRulez: Our number system is the prime example – Well, but then you can describe reality just fine with rational numbers. It may just get a bit tedious. Still, I can phrase that better; see my edit.
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:24














  • 1




    $begingroup$
    "Since mathematicians are usually good of thinking about relevant cases, this means that the cases in which such a statement fails are few in number as compared to those where it holds." It is actually more typical that the statement failing is the norm (if it does fail), and that the set of "well-behaved" cases is small in some sense, if not in cardinality. Our number system is the prime example: irrational, transcendental, incomputable, arithmetically undefinable, imaginary. "Most" functions and topologies are also pathological. Exceptional objects are exceptional for a reason.
    $endgroup$
    – PyRulez
    Feb 28 at 12:32










  • $begingroup$
    @PyRulez: Our number system is the prime example – Well, but then you can describe reality just fine with rational numbers. It may just get a bit tedious. Still, I can phrase that better; see my edit.
    $endgroup$
    – Wrzlprmft
    Feb 28 at 17:24








1




1




$begingroup$
"Since mathematicians are usually good of thinking about relevant cases, this means that the cases in which such a statement fails are few in number as compared to those where it holds." It is actually more typical that the statement failing is the norm (if it does fail), and that the set of "well-behaved" cases is small in some sense, if not in cardinality. Our number system is the prime example: irrational, transcendental, incomputable, arithmetically undefinable, imaginary. "Most" functions and topologies are also pathological. Exceptional objects are exceptional for a reason.
$endgroup$
– PyRulez
Feb 28 at 12:32




$begingroup$
"Since mathematicians are usually good of thinking about relevant cases, this means that the cases in which such a statement fails are few in number as compared to those where it holds." It is actually more typical that the statement failing is the norm (if it does fail), and that the set of "well-behaved" cases is small in some sense, if not in cardinality. Our number system is the prime example: irrational, transcendental, incomputable, arithmetically undefinable, imaginary. "Most" functions and topologies are also pathological. Exceptional objects are exceptional for a reason.
$endgroup$
– PyRulez
Feb 28 at 12:32












$begingroup$
@PyRulez: Our number system is the prime example – Well, but then you can describe reality just fine with rational numbers. It may just get a bit tedious. Still, I can phrase that better; see my edit.
$endgroup$
– Wrzlprmft
Feb 28 at 17:24




$begingroup$
@PyRulez: Our number system is the prime example – Well, but then you can describe reality just fine with rational numbers. It may just get a bit tedious. Still, I can phrase that better; see my edit.
$endgroup$
– Wrzlprmft
Feb 28 at 17:24



Popular posts from this blog

Probability when a professor distributes a quiz and homework assignment to a class of n students.

Aardman Animations

Are they similar matrix