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/ But allowable structures, typically mathematical entities in the model theories of many, are only material (physical) entities in the model theory of Hartry Field. For example, a model of arithmetic could be an actual semiconductor logic gate chip with RAM. @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]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/444cda71-e4f3-48ed-b3ee-73952de35d41%40googlegroups.com.
