**Analysis of Connes' criticism of Robinson's framework**

Critic |
Venue where rebuttal appeared |
Link to article/venue containing rebuttal |

Bishop-Connes | Synthese | 17i |

Alain Connes | Foundations of Science | 13c |

Alain Connes | American Mathematical Monthly | 13d |

Alain Connes | Math Overflow | Q&A thread |

Some leading mathematicians have been enthusiastic about Robinson's
framework not merely in word but in deed. Thus, Terry Tao has
published widely using ultraproduct-related techniques. Alain Connes,
for whatever reason, took a dim view of Robinson's framework. One
could mention the following points.

(1) Connes' critique of the hyperreals on the grounds that they "lead canonically to a nonmesurable set" seem to have some kind of prurient appeal and refuses to fade away and therefore some clarifications seem appropriate.

(2) The fact is that a nonstandard integer H in *N leads "canonically" to a free ultrafilter {A: H\in *A} on N.

(3) A free ultrafilter naturally leads to a nonmesurable set.

(4) Therefore the criticism of "canonically leading to nonmeasurable sets" actually targets Tarski (rather than Robinson), who invented ultrafilters in 1930 (or Bourbaki, who invented ultrafilters in 1935 as believed by many in France including Connes).

(5) Connes routinely uses ultrafilters in many of his own articles and books, without mentioning anything about their leading to nonmeasurable sets.

(6) This occurs also in Connes' papers and books that voice the "nonmeasurable set" criticism against Robinson.

(7) Skolem's nonstandard integers embed in *N. Hence by Connes' logic, a Skolem nonstandard integer also leads to a nonmeasurable set.

(8) Yet Skolem's construction takes place in ZF (without choice).

(9) What this illustrates is the *power* of Robinson's transfer
principle that stands behind item (2) above, rather than any
*weakness* of his framework.

(10) Connes' claim to the contrary amounts to an attempt to dress down a feature to look like a bug, to reverse a familiar quip from software developers.

Infinitesimals

Return to home page