I have already quoted from Wittgenstein from his writings "infinite" in math means "finite" — Corvus
(1) Please link to where you quoted Wittgenstein writing that 'infinite' in mathematics means 'finite'.
(2) Wittgenstein doesn't speak for mathematics anyway. Whatever Wittgenstein wrote, it wouldn't change that fact that mathematics does not define 'infinite' as 'finite', which would be utterly ridiculous, as mathematics defines 'infinite' as '
not finite'.
But my point is not about "infinite" is "finite" or whatever. — Corvus
Whatever your point is, what you claimed that in mathematics, 'infinite' means 'finite', which is a wildly ridiculous claim and blatant disinformation.
My point was that the concept "infinite" means something totally different, and math's infinity in set theory doesn't exist. — Corvus
That's a different claim from the claim that, in mathematics, 'infinite' means 'finite'.
But you are quoting from the old and outdated mathematician Dedekind on the concept of "infinity", and it means "not finite". — Corvus
You are hopeless as far as rational discussion.
You asked me what textbooks in mathematics define 'infinite' as 'not finite'. The answer to that question is that just about every textbook in mathematics that gives a mathematical definition of 'infinite' gives the definiens as 'not finite', or sometimes the Dedekind definition that is equivalent with 'not finite' in mathematics. The formal mathematical definition 'not finite' goes back to Tarski and the definition 'one-to-one with a proper subset of itself' goes back to Dedekind; but that in no way vitiates that still, the current definition is 'not finite' or its Dedekind equivalent. You challenged me as to what mathematics textbooks say; my answer to that is not vitiated by the fact that the definition is long standing in mathematics. What is wrong with you?
Moreover, obviously, in even just an ordinary context, 'the 'in' in 'infinite' is a negation, so it's 'not finite' and not 'finite'. Again, what is wrong with you?
And now you are pasting Chat GPT (!) quotes that you don't even understand. You can't learn set theory from Chat GPT! What is wrong with you?
"Dedekind's set theory lacks a formal axiomatic foundation comparable to other set theories like Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC). Without a clear set of axioms, Dedekind's set theory may be seen as less rigorous or formal by contemporary standards." - Chat GPT — Corvus
You are such an intellectual incompetent.
I am not talking about Dedekind's theory. I'm talking about a particular definition. And that definition is used is equivalent with 'not finite' in the ZFC that you just mentioned. Indeed, any informal theory is less rigorous than formalized ZFC. So what? That doesn't change the fact that Dedekind's formulations cannot or have not been formalized subsequent to his own writings.
Again, since you missed this:
Definition of 'infinite' in mathematics:
x is finite iff x is one-to-one with a natural number.
x is infinite iff x is not finite (by the way, that is sometimes called 'Tarski's definition)
Another definition of 'infinite' in mathematics:
x is infinite iff x is one-to-one with a proper subset of x (Dedekind's definition)
Those are provably equivalent in set theory with the axiom of choice (such as ZFC). Without the axiom of choice, we can only prove: If x is one-to-one with a proper subset of itself then x is not one-to-one with a natural number.
In any case, with both those definitions, it is blatant that 'x is infinite' is defined as 'x is finite'.
Moreover, now you are taking recourse to the notion of formalization, when just a few posts ago you were trying to dispute me when I mentioned a key advantage of formalization! What is wrong with you?
"While Dedekind made significant contributions to the understanding of infinity, his treatment of infinity in set theory may be considered less systematic compared to later developments, such as Cantor's work on transfinite numbers and ZFC set theory." - Chat GPT — Corvus
Cantor was more systematic about sets, but Cantor also was not a formal theory and had problems that needed to be rigorously resolved by formal set theory.
Anyway, this has no bearing on the fact that the set theoretical definition of 'infinite' is not ridiculously, as you claim, 'finite', nor on the fact that both Tarski's and Dedekind's definition obtain in current mathematics.
"Some critics argue that Dedekind's definition of infinite sets as those that can be put into one-to-one correspondence with proper subsets of themselves is not as precise or comprehensive as later formulations." - Chat GPT — Corvus
Ask Chat GPT who it thinks those critics are and to quote them.
Dedekind's definition incorporated into axiomatic set theory is absolutely precise. And in ZFC it is exactly as comprehensive as Tarski's definition, since in ZFC they are equivalent, as I stated that equivalence explicitly in my previous post.
You don't know jack about
any of this. You just want to be right about disdain for set theory, so you're willing to enter any specious and counterfactual argument you can come up with, including inapposite quotes from.. Chat GPT (!).
"Dedekind's set theory does not provide a set of explicit axioms like those found in ZFC set theory. This lack of a formal axiomatization can make it difficult to establish the foundational principles of Dedekind's theory and to reason rigorously about sets within this framework." - Chat GPT — Corvus
Again, that does not vitiate that nevertheless his work has been formalized subsequent to his own writings and that include his definition of 'is infinite'.
You are foolishly quoting Chat GPT without even a basis to understand the quotes, their context or their import or lack thereof for our conversation.
"While his work laid important groundwork for the development of modern set theory, it may not encompass the full range of concepts and techniques found in more contemporary approaches." — Corvus
So what? Contemporary mathematics still uses his definition of 'is infinite' as it is equivalent with 'not one-to-one with a natural number', i.e. 'not finite', in ZFC.