[1.5] Ultrafilters, non-standard analysis, and epsilon managementIn the previous article we saw that fruitful analogies between finitary and infinitary mathematics can allow the techniques of one to shed light on the other. Here we borrow the power of infinitary math—in particular, ultrafilters and non-standard analysis—to simplify proofs of finitary statements.
0 Comments
|
Archives
December 2020
Categories
All
|