Henri Poincaré, Mathematics and logic
A few years ago, I had the opportunity to expose some ideas about the logic of the infinite; on the use of the infinite in Mathematics, on the use made of it since Cantor; I explained why I did not … Read More
A few years ago, I had the opportunity to expose some ideas about the logic of the infinite; on the use of the infinite in Mathematics, on the use made of it since Cantor; I explained why I did not … Read More
Is it possible to reason about objects that can notbe defined in a finite number of words? Is it even possible to talk about it knowing what one is talking about, and by saying something other than empty words? Or … Read More
It is in a totally different direction that Mr. Zermelo is seeking the solution of the difficulties we have pointed out. He tries to establish a system of axioms a priori, which must allow him to establish all the mathematical … Read More
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