> On 18 Aug 2019, at 13:57, Philip Thrift <[email protected]> wrote: > > > > On Sunday, August 18, 2019 at 4:53:28 AM UTC-5, Bruno Marchal wrote: > > Model theory illustrate that pure mathematics has meaning. > > > A model is a so-called 'structure': > https://plato.stanford.edu/entries/model-theory/ > <https://plato.stanford.edu/entries/model-theory/> > > But allowable structures, typically mathematical entities in the model > theories of many, are only material (physical) entities in the model theory > of Hartry Field.
That is a bit of nonsense. Or Hartree Field notion of model has nothing to do with what logicians called a model (a mathematical structure with a notion of satisfaction). > > For example, a model of arithmetic could be an actual semiconductor logic > gate chip with RAM. I don’t understand this. A model of arithmetic is a set of object which provides an interpretation of the terms (0, S(0), …), and an interpretation of + and * (in terms of infinite set of couples). Bruno > > @philipthrift > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/444cda71-e4f3-48ed-b3ee-73952de35d41%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/444cda71-e4f3-48ed-b3ee-73952de35d41%40googlegroups.com?utm_medium=email&utm_source=footer>. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/43F13E8B-C51A-4244-9F10-7A1D6D71225B%40ulb.ac.be.
