1:40 and that's why call x/0 undefined for real xs, complex xs, and even matrix xs. Becuase, (x/0)'s value is not real, it's not complex, and it's not a matrix. It would belong in a different number system if you defined it, and in that number system, there would exist some y = x/0, where y*0 != 0, but instead y*0 = x. This makes no sense in any common number system, and the few mathematicians who do play around with the number systems that allow this have not found a use for it yet. It's not a fact that you can't divide by 0. It is a fact that defining the value you get from dividing by 0 is useless. Hopefully, in the future, someone will find a reason to divide by 0, but no one has found it yet. For now we will be stuck with undefined and inifinity being the only answers (fun fact: modern computers define 1/0 as infinity).
Nature works upon slopes, best characterized by certain primes. These are quickly exhausted under multiplication, however, slopes more flat than multiplication can produce may be characterized by slopes of immense Pythagorean triangles where the hypotenuses are but one or two integers larger than the longest leg, i.e. b+1 or b+2. While b+3 is congruent, no integers come to satisfy it.
It might be important to clarify that while 0 and 1 are considered numbers, infinity is not. Also, while "1/0 = infinity" and "1/infinity = 0" can be useful shorthands to those aware of the more correct limit definitions, it's misleading to those who aren't, and can be the cause of errors either way. I felt like they were thrown around a bit too carelessly at the beginning. Those shorthands also wrongly imply that "infinity·0 = 1" which was neatly sidestepped at that point of the video.
This is because indeterminate forms are true for ALL values of x. Not just integers, not just rationals, not just reals, not just complex numbers, but the ENTIRE universal set. There are 3 types of functions: 1. One-to-one function: These functions are STRICTLY increasing or decreasing throughout its domain and has no first-order critical points besides the endpoints if they exist. The inverse function is defined throughout its entire domain. 2. Piecewise inverse function: These functions are not one-to-one, but an inverse exists for a PORTION of the function. These functions have at least one first-order critical point. 3. Singular function: The term "singular" in mathematics refers to anything that are not invertible. Because of that, a singular function is a function that doesn't have an inverse. These functions exist as annihilation functions, where all values in its domain get "annihilated" to a single value as its range. Because of that, a function is singular if and only if (iff) its derivative is 0 throughout its domain, similar to how a singular matrix has a determinant of 0. Let's say you have this function f(x)=1. This means that for every value of x inserted, the function returns 1 every time. Therefore, this graph takes the form of a horizontal line at y=1. If we say we want to invert f(x), we need to switch the domains and ranges, and since this function annihilates all values of x and returns 1, meaning the domain of the function is all numbers, but the range of the function is 1, if an inverse exists, it will then map 1 for the domain and, uh-oh, we have a problem here. A function operates like a time-distance relation: You can be in the same position at 2 different Planck Times, but you, at the same Planck Time, cannot exist in 2 different locations. If f(x)=1, f^-1(x) will have f(n!=1) not making sense, as f(x) cannot not equal 1. However, f^-1(1) maps out all real numbers, meaning that it wouldn't be a function, as at the same time the function simultaneously exists everywhere. This means there doesn't exist any continuous piece of this function that makes sense; it only makes sense for that one point, and even for that point, it violates the basic rules for functions. Graphically, to invert a function, you need to reflect it over the line f(x)=x, and reflecting a horizontal line gives you a vertical line, which violates the vertical line test. Finally, using singular functions, we are able to introduce a concept called indeterminate forms. As you can see, for the function f(x)=1, f^-1(1) gives an indeterminate form due to it being a vertical line at x=1. Given a singular function f(x), f^-1(f^(x)) is indeterminate. Even though applying the inverse function after applying the function should result in the identity function f(x), for annihilation functions, it all has lots of paradoxes. An indeterminate form comes from basic algebra, where a declared variable has no value assigned to it, as variables are MEANT to be indeterminate until you assign a certain value of it or a transformation of it. For example, x is indeterminate. With n variables, you need n equations to make the values determinate. Some equations are degenerate and continue to evaluate an indeterminate form, such as x=x, as it is true for all x. Using that, we can prove the 11 indeterminate forms are indeterminate using these formulas: 0x = 0 for all Aleph-Null x, so 0 / 0 is indeterminate. 0 * infinity and infinity / infinity are variants of 0 / 0, as 0^-1 = infinity. infinity + x = infinity for all Aleph-Null x, so infinity - infinity is indeterminate. The infinitieth root of x is 1 for all Aleph-Null x, so 1^infinity is indeterminate. 1^x = 1 for all Aleph-Null x, so log_1(1) is indeterminate. 0^x is either 0, 1, or infinity, so log_0(0), log)_0(infinity), log_infinity(0), and log_infinity(infinity) are all indeterminate. Using these equations, we can prove which forms are NOT indeterminate, to see how many indeterminate forms are there. Calculi operate on indeterminate forms, as a derivative is equal to 0 / 0, and integrals are 0*infinity, so we can see how many calculi are there. For example, the product/geometric calculus consists of the product derivative, which is limit as h goes to 1 of log_h(xh/x), which is log_1(1), and the product integral, which is 1^infinity. Infinity is a fixed-point of X = X+1, so when dealing arithmetic with infinity, we use a variable x to denote the fixed-point, which is useful on checking if forms are indeterminate. Case 1: 0*infinity, x=0*infinity=0+0+0+0+0+...+0+0+0+0=0+(0+0+0+0+...+0+0+0+0), so x = x+0, and x = x. Indeterminate. Case 2: 1^infinity, x = 1^infinity = 1*1*1*1*1*...1*1*1*1*1=1*(1*1*1*1*...1*1*1*1*1), so x = 1*x, and x = x. Indeterminate. Case 3: 1^^infinity, x = 1^^infinity=1^1^1^1^1...1^1^1^1^1=1^(1^1^1^1^1...1^1^1^1^1), so x = 1^x. This only is true if x=1, so 1^^infinity is NOT indeterminate. However, if x=infinity, it equals an indeterminate form, so it is considered indeterminate in the complex world. Case 4: 0^infinity, x = 0^infinity = 0*0*0*0*0*...0*0*0*0*0=0*(0*0*0*0*...0*0*0*0*0), so x = 0*x, and x = 0. Not indeterminate in the real world. Case 5: 0^^infinity, x = 0^^infinity = 0^0^0^0^0...0^0^0^0^0=0^(0^0^0^0^0...0^0^0^0^0), so x = 0^x, but NO SOLUTIONS EXIST. This is because 0^^x = 1 if x is even, and 0 if x is odd. Same thing goes with 0^^^x, 0^^^^x, and 0{n}x. In Boolean algebra, if a function has no solutions, it evaluates to false. If it is an indeterminate form, it evaluates to true. If it is only true for a value or a finite set of values, it returns that value or set of values. Therefore, 0/0=0*infinity=infinity/infinity=infinity-infinity=infinity^0=1^infinity=log_1(1)=log_0(0)=log_infinity(0)=log_0(infinity)=log_infinity(infinity)=True Using this, we can derive a Boolean algebra from equations: Union of solutions: ∪ Intersection of solutions: ∩ Non-solutions: ∥ Exclusive solution: x ⊘ y = x ∩ ∥y "Xor" solution: x ⊗ y = (x ⊘ y) ∪ (y ⊘ x) Here are some rules derived from this: Identity laws: x ∩ I = x, x ∪ ∞ = x where I ∈ indeterminate forms and ∞ = n/0 where n ≠ 0 Domination laws: x ∩ ∞ = ∞, x ∪ I = I Idempotent laws: x ∩ x = x, x ∪ x = x Commutative laws: x ∩ y = y ∩ x, x ∪ y = y ∪ x Associative laws: x ∩ (y ∩ z) = (x ∩ y) ∩ z, x ∪ (y ∪ z) = (x ∪ y) ∪ z Distributive laws: x ∩ (y ∪ z) = (x ∩ y) ∪ (x ∩ z), x ∪ (y ∩ z) = (x ∪ y) ∩ (x ∪ z) Negation laws: x ∩ ∥x = ∞, x ∪ ∥x = I Double negation law: ∥∥x = x DeMorgan's Laws: ∥(x ∩ y) = ∥x ∪ ∥y, ∥(x ∪ y) = ∥x ∩ ∥y Using this, we can tell: For any Boolean algebra, we must have a correctness, an incorrectness, an addition, a multiplication, a negator, and an excludor. Therefore: Logic: truth ⊤, falsity ⊥, and ∧, or ∨, not ~, implies -->, biconditional , xor ⊕ Set theory: Universality U, Nullity ∅, Intersection ⋂, Union ⋃, Compliment C, Exclusive \, xor ⊕ Arithmetic Boolean algebra: Enabled 1, Disabled 0, Times * ∏, Plus + ∑, Prime ', xor ⊕ Equations: Indeterminate I, Infinity ∞, Intersection of solutions ∩, Union of solutions ∪, Non-solution ∥, Exclusive ⊘, xor ⊗
You have to very careful when you say that the limit "= +inf". This is simply an agreed upon shorthand notation used as a stand in for " increases without bound" and that should be made clear before we start using an = sign in this context. When we write lim[f(x)] = +inf, the equal sign, in this special case, does not have the same meaning as lim[f(x)] = L. In such a case the limit does not exists, but the symbol +inf indicates the behaviour of the function as x -->a. Expressions like: "it's unclear what the limit of this infinity is" and "the x becomes infinity" and "it's unclear how fast each infinity is reached" are not correct. Infinity is not a destination. It cannot be reached. A real variable cannot become infinity. A limit cannot equal infinity - it can tend toward infinity. Again, "=" +/ inf is just a short hand stand-in notation. I get what you are trying to explain in the video and I applaud your efforts. We just all have to be careful with our exact wording and be clear about what symbols we use actually mean.
WE do not write Lim of x = +inf, we write lim ƒ(x) → +inf → is approaches. And infinity is a perfectly reasonable argument for limits, and integrals and derivatives... the amount of times l'hospitâl has made me make sense of 0/0 inf/0 0/inf or 1/inf or 1/0 or 0/1 or inf/inf for that matter, is in the hundreds. They're not well defined, but we can still use them to find well defined values.
Inf - inf = (-inf, 0, inf) + c It just does 1/0 = +/- inf It just does 0 / 0 = c It just does C/inf = 0+ +/-0*inf = +/-1 sign(c) = sign(0)*inf it just does
The video was great! But in the last section when you talked about 0⁰ what you said isn't true. By definition we know that 0⁰=1, you may argue that there are limits which go towards an expression of the form 0⁰ and they're value isn't 1, but it doesn't mean that 0⁰ is undefined.
0° is NOT defined. It is very rare to see a textbook define it to be 1, because of the exact problems shown in this video. Defining 0°=1 is less accepted then, say, 0!=1. It is just a preference of the author, which you seem to share, even though it is not universal.
@@fullfungo I don't know where you're from but *generally* the US doesn't use "common" notation because the education there is absulot trash in math and cs. Now for the definition, we know that by definition for sets A,B follows that |A| ^ |B| = |B → A| So if A,B are both the empty set then 0⁰ = |∅ → ∅| = |{∅}| = 1 And the same argument also works for n! = |{f : [n] → [n] | f is a bijection}|
@@TheHebrewMathematician “we know that by definition […]” Where did you get this definition from? I haven’t personally seen it in any math text books I had. I would like to see the context where it is defined.
@@fullfungoI know that its definition is not agreed upon and can vary but it is definitely NOT rare to see it in textbooks and is used more often than leaving it undefined
I've never been convinced that 'infinity' offers any benefit to any type of algebra, system, or model, over just having a concept of 'incomparably large in relation'. I have a feeling if math weren't developed via handwritten quill and blackboard scratching, half of these symbolic concepts wouldn't have been given the primacy they are in math. An understanding of information and processing would have staved off this culture of symbolism and all the arguing that went into number theory, 'proofs' and arguing over who's incomplete symbolic system is better.
I did not think someone could have an opinion this incomprehensibly stupid but you did. Literally take one calculus class or one set theory class or literally any class that goes beyond basic algebra and you will see the utility of infinity, actually now that I think about it you specifically might not since your mind seems so closed to the idea anyway but anyone willing to accept new ideas would probably get it.
You don't know what math is then. Just, like, that's it. I hope this is rage bait because math, *real* math, *IS* proofs. Real math *IS* logic and extrapolation. Real, actual math, that mathematicians have value in, *IS* the abstract. If you don't include that in math you *are not doing math at all.*
To try everything Brilliant has to offer-free-for a full 30 days, visit brilliant.org/DiBeos/. You’ll also get 20% off an annual premium subscription.
1:40 and that's why call x/0 undefined for real xs, complex xs, and even matrix xs. Becuase, (x/0)'s value is not real, it's not complex, and it's not a matrix. It would belong in a different number system if you defined it, and in that number system, there would exist some y = x/0, where y*0 != 0, but instead y*0 = x. This makes no sense in any common number system, and the few mathematicians who do play around with the number systems that allow this have not found a use for it yet.
It's not a fact that you can't divide by 0. It is a fact that defining the value you get from dividing by 0 is useless. Hopefully, in the future, someone will find a reason to divide by 0, but no one has found it yet. For now we will be stuck with undefined and inifinity being the only answers (fun fact: modern computers define 1/0 as infinity).
Nature works upon slopes, best characterized by certain primes. These are quickly exhausted under multiplication, however, slopes more flat than multiplication can produce may be characterized by slopes of immense Pythagorean triangles where the hypotenuses are but one or two integers larger than the longest leg, i.e. b+1 or b+2. While b+3 is congruent, no integers come to satisfy it.
It might be important to clarify that while 0 and 1 are considered numbers, infinity is not. Also, while "1/0 = infinity" and "1/infinity = 0" can be useful shorthands to those aware of the more correct limit definitions, it's misleading to those who aren't, and can be the cause of errors either way. I felt like they were thrown around a bit too carelessly at the beginning. Those shorthands also wrongly imply that "infinity·0 = 1" which was neatly sidestepped at that point of the video.
There are systems in which infinity is a number, though, like in the hyperreal numbers.
You should do a video on base 0, base 1, and 0*ln(0).
2:15 The additive identity kicks in too.
This video further motivates my interest in linguistical mathematics and descriptive linguistics.
@@ONRIPRESENCE really? What do you say say? Can you expand on it?
This is because indeterminate forms are true for ALL values of x. Not just integers, not just rationals, not just reals, not just complex numbers, but the ENTIRE universal set.
There are 3 types of functions:
1. One-to-one function: These functions are STRICTLY increasing or decreasing throughout its domain and has no first-order critical points besides the endpoints if they exist. The inverse function is defined throughout its entire domain.
2. Piecewise inverse function: These functions are not one-to-one, but an inverse exists for a PORTION of the function. These functions have at least one first-order critical point.
3. Singular function: The term "singular" in mathematics refers to anything that are not invertible. Because of that, a singular function is a function that doesn't have an inverse. These functions exist as annihilation functions, where all values in its domain get "annihilated" to a single value as its range. Because of that, a function is singular if and only if (iff) its derivative is 0 throughout its domain, similar to how a singular matrix has a determinant of 0. Let's say you have this function f(x)=1. This means that for every value of x inserted, the function returns 1 every time. Therefore, this graph takes the form of a horizontal line at y=1. If we say we want to invert f(x), we need to switch the domains and ranges, and since this function annihilates all values of x and returns 1, meaning the domain of the function is all numbers, but the range of the function is 1, if an inverse exists, it will then map 1 for the domain and, uh-oh, we have a problem here. A function operates like a time-distance relation: You can be in the same position at 2 different Planck Times, but you, at the same Planck Time, cannot exist in 2 different locations. If f(x)=1, f^-1(x) will have f(n!=1) not making sense, as f(x) cannot not equal 1. However, f^-1(1) maps out all real numbers, meaning that it wouldn't be a function, as at the same time the function simultaneously exists everywhere. This means there doesn't exist any continuous piece of this function that makes sense; it only makes sense for that one point, and even for that point, it violates the basic rules for functions. Graphically, to invert a function, you need to reflect it over the line f(x)=x, and reflecting a horizontal line gives you a vertical line, which violates the vertical line test. Finally, using singular functions, we are able to introduce a concept called indeterminate forms. As you can see, for the function f(x)=1, f^-1(1) gives an indeterminate form due to it being a vertical line at x=1. Given a singular function f(x), f^-1(f^(x)) is indeterminate. Even though applying the inverse function after applying the function should result in the identity function f(x), for annihilation functions, it all has lots of paradoxes. An indeterminate form comes from basic algebra, where a declared variable has no value assigned to it, as variables are MEANT to be indeterminate until you assign a certain value of it or a transformation of it. For example, x is indeterminate. With n variables, you need n equations to make the values determinate. Some equations are degenerate and continue to evaluate an indeterminate form, such as x=x, as it is true for all x. Using that, we can prove the 11 indeterminate forms are indeterminate using these formulas: 0x = 0 for all Aleph-Null x, so 0 / 0 is indeterminate. 0 * infinity and infinity / infinity are variants of 0 / 0, as 0^-1 = infinity. infinity + x = infinity for all Aleph-Null x, so infinity - infinity is indeterminate. The infinitieth root of x is 1 for all Aleph-Null x, so 1^infinity is indeterminate. 1^x = 1 for all Aleph-Null x, so log_1(1) is indeterminate. 0^x is either 0, 1, or infinity, so log_0(0), log)_0(infinity), log_infinity(0), and log_infinity(infinity) are all indeterminate. Using these equations, we can prove which forms are NOT indeterminate, to see how many indeterminate forms are there. Calculi operate on indeterminate forms, as a derivative is equal to 0 / 0, and integrals are 0*infinity, so we can see how many calculi are there. For example, the product/geometric calculus consists of the product derivative, which is limit as h goes to 1 of log_h(xh/x), which is log_1(1), and the product integral, which is 1^infinity. Infinity is a fixed-point of X = X+1, so when dealing arithmetic with infinity, we use a variable x to denote the fixed-point, which is useful on checking if forms are indeterminate.
Case 1: 0*infinity, x=0*infinity=0+0+0+0+0+...+0+0+0+0=0+(0+0+0+0+...+0+0+0+0), so x = x+0, and x = x. Indeterminate.
Case 2: 1^infinity, x = 1^infinity = 1*1*1*1*1*...1*1*1*1*1=1*(1*1*1*1*...1*1*1*1*1), so x = 1*x, and x = x. Indeterminate.
Case 3: 1^^infinity, x = 1^^infinity=1^1^1^1^1...1^1^1^1^1=1^(1^1^1^1^1...1^1^1^1^1), so x = 1^x. This only is true if x=1, so 1^^infinity is NOT indeterminate. However, if x=infinity, it equals an indeterminate form, so it is considered indeterminate in the complex world.
Case 4: 0^infinity, x = 0^infinity = 0*0*0*0*0*...0*0*0*0*0=0*(0*0*0*0*...0*0*0*0*0), so x = 0*x, and x = 0. Not indeterminate in the real world.
Case 5: 0^^infinity, x = 0^^infinity = 0^0^0^0^0...0^0^0^0^0=0^(0^0^0^0^0...0^0^0^0^0), so x = 0^x, but NO SOLUTIONS EXIST. This is because 0^^x = 1 if x is even, and 0 if x is odd. Same thing goes with 0^^^x, 0^^^^x, and 0{n}x.
In Boolean algebra, if a function has no solutions, it evaluates to false. If it is an indeterminate form, it evaluates to true. If it is only true for a value or a finite set of values, it returns that value or set of values. Therefore, 0/0=0*infinity=infinity/infinity=infinity-infinity=infinity^0=1^infinity=log_1(1)=log_0(0)=log_infinity(0)=log_0(infinity)=log_infinity(infinity)=True
Using this, we can derive a Boolean algebra from equations:
Union of solutions: ∪
Intersection of solutions: ∩
Non-solutions: ∥
Exclusive solution: x ⊘ y = x ∩ ∥y
"Xor" solution: x ⊗ y = (x ⊘ y) ∪ (y ⊘ x)
Here are some rules derived from this:
Identity laws: x ∩ I = x, x ∪ ∞ = x where I ∈ indeterminate forms and ∞ = n/0 where n ≠ 0
Domination laws: x ∩ ∞ = ∞, x ∪ I = I
Idempotent laws: x ∩ x = x, x ∪ x = x
Commutative laws: x ∩ y = y ∩ x, x ∪ y = y ∪ x
Associative laws: x ∩ (y ∩ z) = (x ∩ y) ∩ z, x ∪ (y ∪ z) = (x ∪ y) ∪ z
Distributive laws: x ∩ (y ∪ z) = (x ∩ y) ∪ (x ∩ z), x ∪ (y ∩ z) = (x ∪ y) ∩ (x ∪ z)
Negation laws: x ∩ ∥x = ∞, x ∪ ∥x = I
Double negation law: ∥∥x = x
DeMorgan's Laws: ∥(x ∩ y) = ∥x ∪ ∥y, ∥(x ∪ y) = ∥x ∩ ∥y
Using this, we can tell:
For any Boolean algebra, we must have a correctness, an incorrectness, an addition, a multiplication, a negator, and an excludor. Therefore:
Logic: truth ⊤, falsity ⊥, and ∧, or ∨, not ~, implies -->, biconditional , xor ⊕
Set theory: Universality U, Nullity ∅, Intersection ⋂, Union ⋃, Compliment C, Exclusive \, xor ⊕
Arithmetic Boolean algebra: Enabled 1, Disabled 0, Times * ∏, Plus + ∑, Prime ', xor ⊕
Equations: Indeterminate I, Infinity ∞, Intersection of solutions ∩, Union of solutions ∪, Non-solution ∥, Exclusive ⊘, xor ⊗
Amazing animation
@@syphon5899 thanks! 😎
3:05 ooooofff
You have to very careful when you say that the limit "= +inf". This is simply an agreed upon shorthand notation used as a stand in for " increases without bound" and that should be made clear before we start using an = sign in this context. When we write lim[f(x)] = +inf, the equal sign, in this special case, does not have the same meaning as lim[f(x)] = L. In such a case the limit does not exists, but the symbol +inf indicates the behaviour of the function as x -->a. Expressions like: "it's unclear what the limit of this infinity is" and "the x becomes infinity" and "it's unclear how fast each infinity is reached" are not correct. Infinity is not a destination. It cannot be reached. A real variable cannot become infinity. A limit cannot equal infinity - it can tend toward infinity. Again, "=" +/ inf is just a short hand stand-in notation.
I get what you are trying to explain in the video and I applaud your efforts. We just all have to be careful with our exact wording and be clear about what symbols we use actually mean.
WE do not write Lim of x = +inf, we write lim ƒ(x) → +inf → is approaches. And infinity is a perfectly reasonable argument for limits, and integrals and derivatives...
the amount of times l'hospitâl has made me make sense of 0/0 inf/0 0/inf or 1/inf or 1/0 or 0/1 or inf/inf for that matter, is in the hundreds. They're not well defined, but we can still use them to find well defined values.
Inf - inf = (-inf, 0, inf) + c
It just does
1/0 = +/- inf
It just does
0 / 0 = c
It just does
C/inf = 0+
+/-0*inf = +/-1
sign(c) = sign(0)*inf
it just does
The video was great!
But in the last section when you talked about 0⁰ what you said isn't true. By definition we know that 0⁰=1, you may argue that there are limits which go towards an expression of the form 0⁰ and they're value isn't 1, but it doesn't mean that 0⁰ is undefined.
0° is NOT defined. It is very rare to see a textbook define it to be 1, because of the exact problems shown in this video.
Defining 0°=1 is less accepted then, say, 0!=1. It is just a preference of the author, which you seem to share, even though it is not universal.
@@fullfungo I don't know where you're from but *generally* the US doesn't use "common" notation because the education there is absulot trash in math and cs.
Now for the definition, we know that by definition for sets A,B follows that
|A| ^ |B| = |B → A|
So if A,B are both the empty set then
0⁰ = |∅ → ∅| = |{∅}| = 1
And the same argument also works for
n! = |{f : [n] → [n] | f is a bijection}|
@@TheHebrewMathematician
“we know that by definition […]”
Where did you get this definition from? I haven’t personally seen it in any math text books I had.
I would like to see the context where it is defined.
@@fullfungo Defined recursively, any number to the power of 0 will equal 1, because 1 is the empty product
@@fullfungoI know that its definition is not agreed upon and can vary but it is definitely NOT rare to see it in textbooks and is used more often than leaving it undefined
I've never been convinced that 'infinity' offers any benefit to any type of algebra, system, or model, over just having a concept of 'incomparably large in relation'. I have a feeling if math weren't developed via handwritten quill and blackboard scratching, half of these symbolic concepts wouldn't have been given the primacy they are in math. An understanding of information and processing would have staved off this culture of symbolism and all the arguing that went into number theory, 'proofs' and arguing over who's incomplete symbolic system is better.
@googleyoutubechannel8554 the infinite and the infinitesimal are definitely more than symbols
Maybe actually studying math would convince you.
I did not think someone could have an opinion this incomprehensibly stupid but you did. Literally take one calculus class or one set theory class or literally any class that goes beyond basic algebra and you will see the utility of infinity, actually now that I think about it you specifically might not since your mind seems so closed to the idea anyway but anyone willing to accept new ideas would probably get it.
You don't know what math is then. Just, like, that's it. I hope this is rage bait because math, *real* math, *IS* proofs. Real math *IS* logic and extrapolation. Real, actual math, that mathematicians have value in, *IS* the abstract. If you don't include that in math you *are not doing math at all.*
Projective geometry my dude