Locuzione introdotta da A. Robinson nel 1960 per indicare l’analisi basata su un modello matematico in cui, utilizzando una (opportunamente modificata) logica del primo ordine, viene data una definizione [...] e solo se x*−y*=ε, cioè x*−y*≈0; ne consegue la completezza dell’insieme degli iperreali R* (ampliamento di R): ogni numero, standard o non, è vicino a un numero reale e si dimostra che condizione necessaria e sufficiente affinché x*≈y* è st(x*)=st(y ...
Leggi Tutto