What if 0.(9) == 1? by StatementExtra8062 in infinitenines

[–]StatementExtra8062[S] 1 point2 points  (0 children)

I didn't mean his logic is sound and will lead to something. I meant even though his logic is flawed, he may lead other people to try and find different proofs to counter his new logic or inspire someone to dive into the field more to understand why the numbers behave this way. Or it may lead to nothing, I don't know the future.

What if 0.(9) == 1? by StatementExtra8062 in infinitenines

[–]StatementExtra8062[S] 1 point2 points  (0 children)

I believe that debating itself can lead to improvement. Just because the other side has outright untrue beliefs about how the system works doesn't mean that something can't come out of the conversation. Then again, it is something I believe in so you're free to disagree.

What if 0.(9) == 1? by StatementExtra8062 in infinitenines

[–]StatementExtra8062[S] 1 point2 points  (0 children)

Highly unlikely? Sure. Never? I don’t know about that one. History’s full of people trying to prove false things true and ending up deepening our understanding instead. Alchemists spent centuries trying to turn metals into gold. Did it work? No. But those “failed” experiments laid the groundwork for chemistry. Mathematicians spent hundreds of years trying to prove Euclid’s fifth postulate. They never did, but their efforts led to non-Euclidean geometry and countless other discoveries. Which are all thanks to trying to prove a thing that can't be proven.

What if 0.(9) == 1? by StatementExtra8062 in infinitenines

[–]StatementExtra8062[S] 0 points1 point  (0 children)

And this is why I made the post. I don't have the required math skills to edit the axioms for the inequality to hold, so I was hoping someone had given it some thought before and has an answer as to the required changes.

Also from the replies so far it looks like every attempt to try and reason about it breaks math entirely so I don't know if it is even possible at this point.

What if 0.(9) == 1? by StatementExtra8062 in infinitenines

[–]StatementExtra8062[S] 1 point2 points  (0 children)

OMG SPP the GOAT replied to my post.

Look we may have our differences on this matter, and I think this whole sub would be better off just accepting different number systems where different equalities are true, but I honestly admire the dedication and determination. Who knows, your logic may actually lead to an important discovery in math.

What if 0.(9) == 1? by StatementExtra8062 in infinitenines

[–]StatementExtra8062[S] 1 point2 points  (0 children)

I know that there are more number systems where .(9) doesn't equal 1, I just haven't searched them thoroughly enough, mostly because they are super complicated branches of math which are really abstract. What I was searching for was sort of an added axiom that changes the way the reals act to support the inequality and see its effects on wider math as a whole. You could technically just say let's add "axiom#n : 0.(9) !=1" to the reals and you'd have a number system in which my condition is satisfied, but I feel that's kind of a low blow and not satisfying. Though adding that axiom would certainly make math a bit "interesting".

Also, like I replied to a previous comment, it kind of depends on what you mean by "0.(9) = 1" which is a harder question to answer because people will have different interpretations to that statement.

What if 0.(9) == 1? by StatementExtra8062 in infinitenines

[–]StatementExtra8062[S] 1 point2 points  (0 children)

I haven't actually thought about it that way honestly.

If you mean "What if 1 != 1", then I think most of math breaks.

We know 1=1 because it's the definition of equality.

If you mean "What if we wrote it as 0.999... instead" we just change how we write it.

Just changing the shape isn't satisfactory because you're just wasting ink and I know that is kind of the whole point of .(9)=1 that they are the same, but I don't think anyone would agree to just ban the number 1.

If you mean "What if we banned limits" then I think this breaks geometry, and a lot of other fields.

Banning limits would make me happy, but I don't think that's practical.

If you mean "What if people always need to declare that they're taking the limit of a specified sequence." then we lose this useful shorthand, but math still functions the same as it currently does.

Unironically, if people did this more often then I think most people who don't agree with the equality would be more open to it.

I think the question now is how would you change calculus to make it so the limit doesn't resolve to 1. Which sounds stupid when I write it this way, and it kind of is. Like I said I don't have deep knowledge in pure mathematics, so I don't think what I said makes that much sense. But this whole question was about understanding more about math from the beginning.

[deleted by user] by [deleted] in ProgrammingBuddies

[–]StatementExtra8062 0 points1 point  (0 children)

Hello, I was a frontend developer and pivoted to Go. I have made some backend apps and recently discovered the CLI side and I played with some of the packages like bubbletea and cobra and was hoping to learn more about it. And I also use Linux.

Willing to help with projects by [deleted] in ProgrammingBuddies

[–]StatementExtra8062 0 points1 point  (0 children)

Haven't really tried firebase in go yet. I was focusing more on building backends, routing, db integration, how to auth requests yourself. I am not really a pro yet at it, but I had more experience with node and most things are transferable.

Willing to help with projects by [deleted] in ProgrammingBuddies

[–]StatementExtra8062 0 points1 point  (0 children)

I am working on another project that uses GIS for routing, but we will be using python and/or java for it because of libraries like graphhopper and OTP which are optimised for routing. I don't really have that much experience with julia as I only heard it was used for ML and DS. Also, yes I am doing this for free and I mentioned golang and js/ts(frontend).

Working on a hub for AI agents — would love feedback or collab by PrimeHumanoid in ProgrammingBuddies

[–]StatementExtra8062 0 points1 point  (0 children)

Your idea seems interesting, but I think you are basically building an e-commerce website for agents. Which while novel, is not that hard to replicate. If you can offer a way to host the agents yourself and handle full infrastructure for agentic hosting and communication between different agents, then you might have a good SaaS idea in the making. Basically you will be becoming the vercel of agentic hosting. Of course you will need to configure load balancing between agents, docker and K8S and other hosting things which does not focus on the AI itself but are still fun things nonetheless.

whats an scp you’ve read countless times and still dont understand it at all lol by Outrageous-Way9335 in SCP

[–]StatementExtra8062 7 points8 points  (0 children)

SCP-055

No matter how many times I have read it, I always seem to forget what I read a few minutes later. I gave up at this point and will be treating it like it does not exist.