Henri Poincaré, The logic of infinity: Axiom of reducibility

Russell introduces a new axiom which he calls axiom of reducibility. As I’m not sure I fully understood his thought, I will let him speak. “We assume, that every function is équivalent, for ail its value to some predicative function … Read More

The post Henri Poincaré, The logic of infinity: Axiom of reducibility appeared first on SetThings.

Henri Poincaré, The logic of infinity: The memory of Mr. Russel

Russell published in the American Journal of Mathematics, vol. XXX, under the title Mathematical Logics as Based on the Theory of Types, a memoir in which he relies on considerations quite similar to those which precede. After recalling some of … Read More

The post Henri Poincaré, The logic of infinity: The memory of Mr. Russel appeared first on SetThings.

Henri Poincaré, The logic of infinity: The cardinal number

We must not forget the preceding considerations when defining the cardinal number. If we consider two collections, we may seek to establish a law of correspondence between the objects of these two collections, so that any object of the first … Read More

The post Henri Poincaré, The logic of infinity: The cardinal number appeared first on SetThings.

Henri Poincaré, The logic of infinity: What a classification must be

Can the ordinary rules of logic be applied without change, as soon as we consider collections taking an infinite number of objects? This is a question we did not ask at first, but we were led to examine when the … Read More

The post Henri Poincaré, The logic of infinity: What a classification must be appeared first on SetThings.

Henri Poincaré, Why space with three dimensions – Analysis Situs and intuition

I would like to add a remark which relates only indirectly to the foregoing; we have seen above the importance of the Analysis Situs and I explained that this is the real domain of geometric intuition. Does this intuition exist? … Read More

The post Henri Poincaré, Why space with three dimensions – Analysis Situs and intuition appeared first on SetThings.