[-] Ad4mWayn3@sh.itjust.works 2 points 1 day ago

It gets deeper. It's also the same as the 0-k-vector, the 0-k-blade, the 0-multivector, the only number that is its own square besides 1, etc...

[-] Ad4mWayn3@sh.itjust.works 2 points 1 day ago

0! = 1 isn't an exception.

Factorial is one of the solutions of the recurrence relationship f(x+1) = x * f(x). If one states that f(1) = 1, then it only follows from the recurrence that f(0) = 1 too, and in fact f(x) is undefined for negative integers, as it is with any function that has the property.

It would be more of an exception to say f(0) != 1, since it explicitly denies the rule, and instead would need some special case so that its defined in 0.

[-] Ad4mWayn3@sh.itjust.works 1 points 1 day ago

Who did ever say that? Not a single article that I've read about Terryology has praised it. I guess the Joe Rogan podcast helped it gather some followers?

[-] Ad4mWayn3@sh.itjust.works 2 points 1 day ago

Multiplication order in current mathematics standards should happen the other way around when it’s in a non-commutative algebra.

The good thing about multiplication being commutative and associative is that you can think about it either way (e.g. 3x2 can be thought of as "add two three times). The "benefit" of carrying this idea to higher-order operations is that they become left-associative (meaning they can be evaluated from left to right), which is slightly more intuitive. For instance in lambda calculus, a sequence of church numerals n~1~ n~2~ ... n~K~ mean n~K~ ^ n~K-1~ ^ ... ^ n~1~ in traditional notation.

For example, we can’t write 2ω for the next transfinite ordinal because 2ω is just ω again on account of transfinite and backwards multiplication weirdness, and we have to write ω·2 or ω×2 instead like we’re back at primary school.

I'd say the deeper issue with ordinal arithmetic is that Knuth's up-arrow notation with its recursive definition becomes useless to define ordinals bigger than ε~0~, because something like ω^(ω^^ω) = ω^ε0^ = ε~0~. I don't understand the exact notion deeply yet, but I suspect there's some guilt in the fact that hyperoperations are fundamentally right-associative.

[-] Ad4mWayn3@sh.itjust.works 6 points 1 day ago

They are still real numbers. Specifically uncomputable, normal numbers. Which means their rational expansion contain every natural number.

[-] Ad4mWayn3@sh.itjust.works 14 points 1 day ago

Zero is the absence of a quantity, but it is still a number.

37
submitted 1 day ago* (last edited 1 day ago) by Ad4mWayn3@sh.itjust.works to c/asklemmy@lemmy.world

For example: I don't believe in the axiom of choice nor in the continuum hypothesis.

Not stuff like "math is useless" or "people hate math because it's not well taught", those are opinions about math.

I'll start: exponentiation should be left-associative, which means a^b should mean b×b×...×b } a times.

57
5

The well-ordering theorem follows only if the AoC is true, which means that otherwise, there are sets with no well-ordering.

Supposedly, the Real numbers is one of such sets. Does that mean the real numbers can't be shown to have a direct bijection to any aleph number? And if that's the case, does that mean 2^Aleph_0 is bigger than any aleph number?

[-] Ad4mWayn3@sh.itjust.works 6 points 6 days ago

Or "we tricked rocks into thinking"

[-] Ad4mWayn3@sh.itjust.works 36 points 6 days ago

Can't you tell it's satire? They also said java is javascript

47

I have some familiarity with C++, and concepts like compiling and linking static and dynamic libraries, which is what I understand as collections of code that simplify doing certain things.

But then I get confused in certain cases, for example, why is OpenGL considered an API? Why is it necessary to use other libraries like GLAD, freeGLUT or GLFW to interface with OpenGL?

And then other languages have this thing called package managers, like pip, node, cargo, and vcpkg for c/c++, where you install these packages that get used like libraries? What's the difference?

Finally the ones I understand the least of are frameworks. I keep hearing the concept of frameworks like Angular for js and a lot of stuff that's too alien for me because I'm still unfamiliar with web development.

So for example, I'm using the raylib library for a small game project I have. I link the .lib or .dll file to my executable file so I know I'm unambiguously using a library. How come there's also Cocos2dx which is a framework? What's the distinction?

21

Given two real, nonzero algebraic numbers a and b, with a > 0 (so that it excludes complex numbers), is there any named subset of the reals S such that (a^b) belongs to S forall a,b? I know it's not all the reals since there should be countably many a^b's, since a,b are also countable.

[-] Ad4mWayn3@sh.itjust.works 4 points 8 months ago

You should bookmark theindex.moe (aka piracy.moe), it has a comprehensive list of manga/anime streaming sites, you can use search criteria like langauges, soft-subs, noads, no anti-adblock, etc.

I currently use hianime .to the most

[-] Ad4mWayn3@sh.itjust.works 6 points 1 year ago

You don't need a smart tv, keep your dumb one and consider buying a Roku, save yourself a few cents

[-] Ad4mWayn3@sh.itjust.works 5 points 2 years ago

Wow! I can't wait to have my cock full of wool fibers!

[-] Ad4mWayn3@sh.itjust.works 10 points 2 years ago

Wait, now you can't?

view more: next ›

Ad4mWayn3

joined 2 years ago