Reuniting the antipodes constructive and nonstandard views of the continuum - książka wyd. 2001

Opis

Na pierwszy rzut oka oryginalna forma analizy niestandardowej Robinsona wydaje się w istocie niekonstruktywna, ponieważ w sposób dość nieograniczony wykorzystuje logikę klasyczną i teorię mnogości, aw szczególności aksjomat wyboru. Ostatnie wydarzenia dają jednak nadzieję, że dystans między matematyką konstruktywną a niestandardową jest w rzeczywistości znacznie mniejszy, niż się wydaje. Nadszedł więc czas na pierwsze spotkanie poświęcone jednocześnie obu sposobom działania