<div dir="auto">Our late friend Reuben Hersh was interested in these questions.<br><br><div data-smartmail="gmail_signature">---<br>Frank C. Wimberly<br>140 Calle Ojo Feliz, <br>Santa Fe, NM 87505<br><br>505 670-9918<br>Santa Fe, NM</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Sep 6, 2021, 7:58 PM Eric Charles <<a href="mailto:eric.phillip.charles@gmail.com">eric.phillip.charles@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">As I said a few days ago: I think traditionally,  "mathematical" would have been synonymous with "rigorous deduction from a minimal number of axioms", but I doubt that approach is clear cut anymore.<div><br></div><div>I am pretty confident that modern mathematics is WAY more open-field than that.  The Stanford Encyclopedia of Philosophy seems to agree with that intuition, though I think it is an even broader topic than implied by just this entry: 

<a href="https://plato.stanford.edu/entries/mathematics-nondeductive/" target="_blank" rel="noreferrer">Non-Deductive Methods in Mathematics (Stanford Encyclopedia of Philosophy)</a> <br><div><div><br clear="all"><div><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><br><div></div></div><div dir="ltr"><a href="mailto:echarles@american.edu" target="_blank" rel="noreferrer"></a></div></div></div></div></div></div><br></div></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Sep 6, 2021 at 11:19 AM Barry MacKichan <<a href="mailto:barry.mackichan@mackichan.com" target="_blank" rel="noreferrer">barry.mackichan@mackichan.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><u></u>




<div>
<div style="font-family:sans-serif"><div style="white-space:normal"><p dir="auto">Briefly, and in my opinion, mathematics can only make claims like ‘if A is true then B is true’. To say B is true, you must also say A is true. Eventually you have to go back to the beginning of the deductive chain, and the truth of the initial statement is inductive, not deductive or mathematics. You can predict the time and place of an eclipse, and this prediction is based on mathematics and a mathematical model of reality — Newton’s laws in this case. But the truth of this prediction is inductive since the initial positions and velocities for the calculation are inductive, as is the applicability of Newton’s laws to reality, and even the ‘fact’ that mathematics can describe the universe is inductive.</p>
<p dir="auto">And Einstein showed that the applicability of Newton’s laws was in fact wrong and offered a new model — which we inductively accept as true, if only provisionally.</p>
<p dir="auto">Mathematics cannot prove any statement about the real world. Any such statement will depend at some point on an inductive truth or a definition.</p>
<p dir="auto">—Barry</p>
<br><p dir="auto">On 3 Sep 2021, at 18:10, <a href="mailto:thompnickson2@gmail.com" target="_blank" rel="noreferrer">thompnickson2@gmail.com</a> wrote:</p>
<blockquote style="border-left:2px solid rgb(119,119,119);color:rgb(119,119,119);margin:0px 0px 5px;padding-left:5px"><p dir="auto">Ok, is mathematics (logic, etc.) a way of arriving at true propositions distinct from observation or are mathematical truths different from empirical truths? </p>
</blockquote></div>
</div>
</div>

- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .<br>
FRIAM Applied Complexity Group listserv<br>
Zoom Fridays 9:30a-12p Mtn GMT-6  <a href="http://bit.ly/virtualfriam" rel="noreferrer noreferrer" target="_blank">bit.ly/virtualfriam</a><br>
un/subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
FRIAM-COMIC <a href="http://friam-comic.blogspot.com/" rel="noreferrer noreferrer" target="_blank">http://friam-comic.blogspot.com/</a><br>
archives: <a href="http://friam.471366.n2.nabble.com/" rel="noreferrer noreferrer" target="_blank">http://friam.471366.n2.nabble.com/</a><br>
</blockquote></div>
- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .<br>
FRIAM Applied Complexity Group listserv<br>
Zoom Fridays 9:30a-12p Mtn GMT-6  <a href="http://bit.ly/virtualfriam" rel="noreferrer noreferrer" target="_blank">bit.ly/virtualfriam</a><br>
un/subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
FRIAM-COMIC <a href="http://friam-comic.blogspot.com/" rel="noreferrer noreferrer" target="_blank">http://friam-comic.blogspot.com/</a><br>
archives: <a href="http://friam.471366.n2.nabble.com/" rel="noreferrer noreferrer" target="_blank">http://friam.471366.n2.nabble.com/</a><br>
</blockquote></div>