> On 18 Aug 2019, at 13:57, Philip Thrift <cloudver...@gmail.com> 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 everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > 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 everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/43F13E8B-C51A-4244-9F10-7A1D6D71225B%40ulb.ac.be.
