<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>Any formal system is based on a set of premises<br>
      which, may or may not, be true in practice.</p>
    <p>An empirical test failure can be due to a flawed test or a flawed
      / inapplicable premise</p>
    <p>Peter<br>
    </p>
    <div class="moz-cite-prefix">On 01/07/2020 17:25, Olwen Morgan
      wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:ac9a7131-800a-a9f3-3c98-79631e5bcbe6@phaedsys.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <p><span style="color: rgb(0, 0, 0); font-family: "Times New
          Roman"; font-size: medium; font-style: normal;
          font-variant-ligatures: normal; font-variant-caps: normal;
          font-weight: 400; letter-spacing: normal; orphans: 2;
          text-align: start; text-indent: 0px; text-transform: none;
          white-space: normal; widows: 2; word-spacing: 0px;
          -webkit-text-stroke-width: 0px; background-color: rgb(255,
          255, 248); text-decoration-style: initial;
          text-decoration-color: initial; display: inline !important;
          float: none;"><br>
        </span></p>
      <p><span style="color: rgb(0, 0, 0); font-family: "Times New
          Roman"; font-size: medium; font-style: normal;
          font-variant-ligatures: normal; font-variant-caps: normal;
          font-weight: 400; letter-spacing: normal; orphans: 2;
          text-align: start; text-indent: 0px; text-transform: none;
          white-space: normal; widows: 2; word-spacing: 0px;
          -webkit-text-stroke-width: 0px; background-color: rgb(255,
          255, 248); text-decoration-style: initial;
          text-decoration-color: initial; display: inline !important;
          float: none;">Apropos of what, if things go wrong here, could
          end up somewhat akin to a pub brawl with PBL, I'd like to
          offer the following quotation from the late and profoundly
          missed Academician Vladimir Igorevich Arnold:</span></p>
      <p><span style="color: rgb(0, 0, 0); font-family: "Times New
          Roman"; font-size: medium; font-style: normal;
          font-variant-ligatures: normal; font-variant-caps: normal;
          font-weight: 400; letter-spacing: normal; orphans: 2;
          text-align: start; text-indent: 0px; text-transform: none;
          white-space: normal; widows: 2; word-spacing: 0px;
          -webkit-text-stroke-width: 0px; background-color: rgb(255,
          255, 248); text-decoration-style: initial;
          text-decoration-color: initial; display: inline !important;
          float: none;"><br>
        </span></p>
      <p><span style="color: rgb(0, 0, 0); font-family: "Times New
          Roman"; font-size: medium; font-style: normal;
          font-variant-ligatures: normal; font-variant-caps: normal;
          font-weight: 400; letter-spacing: normal; orphans: 2;
          text-align: start; text-indent: 0px; text-transform: none;
          white-space: normal; widows: 2; word-spacing: 0px;
          -webkit-text-stroke-width: 0px; background-color: rgb(255,
          255, 248); text-decoration-style: initial;
          text-decoration-color: initial; display: inline !important;
          float: none;">"Mathematics is a part of physics. Physics is an
          experimental science, a part of natural science. Mathematics
          is the part of physics where experiments are cheap."</span></p>
      <p><span style="color: rgb(0, 0, 0); font-family: "Times New
          Roman"; font-size: medium; font-style: normal;
          font-variant-ligatures: normal; font-variant-caps: normal;
          font-weight: 400; letter-spacing: normal; orphans: 2;
          text-align: start; text-indent: 0px; text-transform: none;
          white-space: normal; widows: 2; word-spacing: 0px;
          -webkit-text-stroke-width: 0px; background-color: rgb(255,
          255, 248); text-decoration-style: initial;
          text-decoration-color: initial; display: inline !important;
          float: none;"><br>
        </span></p>
      <p><span style="color: rgb(0, 0, 0); font-family: "Times New
          Roman"; font-size: medium; font-style: normal;
          font-variant-ligatures: normal; font-variant-caps: normal;
          font-weight: 400; letter-spacing: normal; orphans: 2;
          text-align: start; text-indent: 0px; text-transform: none;
          white-space: normal; widows: 2; word-spacing: 0px;
          -webkit-text-stroke-width: 0px; background-color: rgb(255,
          255, 248); text-decoration-style: initial;
          text-decoration-color: initial; display: inline !important;
          float: none;">You can believe what Peter is suggesting about
          CbyC if and only if you *disagree* with the proposition that
          mathematics is an empirical science.</span></p>
      <p><span style="color: rgb(0, 0, 0); font-family: "Times New
          Roman"; font-size: medium; font-style: normal;
          font-variant-ligatures: normal; font-variant-caps: normal;
          font-weight: 400; letter-spacing: normal; orphans: 2;
          text-align: start; text-indent: 0px; text-transform: none;
          white-space: normal; widows: 2; word-spacing: 0px;
          -webkit-text-stroke-width: 0px; background-color: rgb(255,
          255, 248); text-decoration-style: initial;
          text-decoration-color: initial; display: inline !important;
          float: none;">Sorry, Peter, but if I have a choice between
          believing you and believing Arnold, I'm afraid Arnold wins.</span></p>
      <p><span style="color: rgb(0, 0, 0); font-family: "Times New
          Roman"; font-size: medium; font-style: normal;
          font-variant-ligatures: normal; font-variant-caps: normal;
          font-weight: 400; letter-spacing: normal; orphans: 2;
          text-align: start; text-indent: 0px; text-transform: none;
          white-space: normal; widows: 2; word-spacing: 0px;
          -webkit-text-stroke-width: 0px; background-color: rgb(255,
          255, 248); text-decoration-style: initial;
          text-decoration-color: initial; display: inline !important;
          float: none;"><br>
        </span></p>
      <p><span style="color: rgb(0, 0, 0); font-family: "Times New
          Roman"; font-size: medium; font-style: normal;
          font-variant-ligatures: normal; font-variant-caps: normal;
          font-weight: 400; letter-spacing: normal; orphans: 2;
          text-align: start; text-indent: 0px; text-transform: none;
          white-space: normal; widows: 2; word-spacing: 0px;
          -webkit-text-stroke-width: 0px; background-color: rgb(255,
          255, 248); text-decoration-style: initial;
          text-decoration-color: initial; display: inline !important;
          float: none;">Olwen</span></p>
      <p><span style="color: rgb(0, 0, 0); font-family: "Times New
          Roman"; font-size: medium; font-style: normal;
          font-variant-ligatures: normal; font-variant-caps: normal;
          font-weight: 400; letter-spacing: normal; orphans: 2;
          text-align: start; text-indent: 0px; text-transform: none;
          white-space: normal; widows: 2; word-spacing: 0px;
          -webkit-text-stroke-width: 0px; background-color: rgb(255,
          255, 248); text-decoration-style: initial;
          text-decoration-color: initial; display: inline !important;
          float: none;"><br>
        </span></p>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <pre class="moz-quote-pre" wrap="">_______________________________________________
The System Safety Mailing List
<a class="moz-txt-link-abbreviated" href="mailto:systemsafety@TechFak.Uni-Bielefeld.DE">systemsafety@TechFak.Uni-Bielefeld.DE</a>
Manage your subscription: <a class="moz-txt-link-freetext" href="https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety">https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety</a></pre>
    </blockquote>
    <pre class="moz-signature" cols="72">-- 

Peter Bishop
Chief Scientist
Adelard LLP
24 Waterside, 44-48 Wharf Road, London N1 7UX

Email: <a class="moz-txt-link-abbreviated" href="mailto:pgb@adelard.com">pgb@adelard.com</a>
Tel:  +44-(0)20-7832 5850

Registered office: 5th Floor, Ashford Commercial Quarter, 1 Dover Place, Ashford, Kent TN23 1FB
Registered in England & Wales no. OC 304551. VAT no. 454 489808

This e-mail, and any attachments, is confidential and for the use of
the addressee only. If you are not the intended recipient, please
telephone 020 7832 5850. We do not accept legal responsibility for
this e-mail or any viruses.</pre>
  </body>
</html>