Debate among mathematicians grew out of opposing views in the philosophy of mathematics regarding the nature of actual infinity. Some held to the view that infinity was an abstraction which was not mathematically legitimate, and denied its existence.Dauben 1979, p. 225 Mathematicians from three major schools of thought (constructivism and its two offshoots, intuitionism and finitism) opposed Cantor's theories in this matter. For constructivists such as Kronecker, this rejection of actual infinity stems from fundamental disagreement with the idea that nonconstructive proofs such as Cantor's diagonal argument are sufficient proof that something exists, holding instead that constructive proofs are required. Intuitionism also rejects the idea that actual infinity is an expression of any sort of reality, but arrive at the decision via a different route than constructivism. Firstly, Cantor's argument rests on logic to prove the existence of transfinite numbers as an actual mathematical entity, whereas intuitionists hold that mathematical entities cannot be reduced to logical propositions, originating instead in the intuitions of the mind.Dauben 1979, p. 266. Secondly, the notion of infinity as an expression of reality is itself disallowed in intuitionism, since the human mind cannot intuitively construct an infinite set. Mathematicians such as L. E. J. Brouwer and especially Henri Poincaré adopted an intuitionist stance against Cantor's work. Finally, Wittgenstein's attacks were finitist: he believed that Cantor's diagonal argument conflated the intension of a set of cardinal or real numbers with its extension, thus conflating the concept of rules for generating a set with an actual set.
Debate among mathematicians grew out of opposing views in the philosophy of mathematics regarding the nature of actual infinity. Some held to the view that infinity was an abstraction which was not mathematically legitimate and denied its existence.Dauben 1979, p. 225 Mathematicians from three major schools of thought (constructivism and its two offshoots, intuitionism and finitism) opposed Cantor's theories in this matter. For constructivists such as Kronecker, this rejection of actual infinity stems from fundamental disagreement with the idea that nonconstructive proofs such as Cantor's diagonal argument are sufficient proof that something exists, holding instead that constructive proofs are required. Intuitionism also rejects the idea that actual infinity is an expression of any sort of reality, but arrive at the decision via a different route than constructivism. Firstly, Cantor's argument rests on logic to prove the existence of transfinite numbers as an actual mathematical entity, whereas intuitionists hold that mathematical entities cannot be reduced to logical propositions, originating instead in the intuitions of the mind.Dauben 1979, p. 266. Secondly, the notion of infinity as an, expression of reality is itself disallowed in intuitionism, since the human mind cannot intuitively construct an infinite set. Mathematicians such as L. E. J. Brouwer and especially Henri Poincaré adopted an intuitionist stance against Cantor's work. Finally, Wittgenstein's attacks were finitist: he believed that Cantor's diagonal argument conflated the intension of a set of cardinal or real numbers with its extension, thus conflating the concept of rules for generating a set with an actual set.