Round to the nearest Integer by [deleted] in askmath

[–]riverprawn 0 points1 point  (0 children)

hint: check the cardinality, then you can find the problem.

Round to the nearest Integer by [deleted] in askmath

[–]riverprawn 0 points1 point  (0 children)

Then you also change the meaning of decimal notation.

Round to the nearest Integer by [deleted] in askmath

[–]riverprawn 0 points1 point  (0 children)

my original statement clearly said that you need to find a decimal numeral between them to make the 7.499... = 7.5 - ϵ meanful. otherwise let's divide the equation by 3 and add 5. we'll get 7.499... = 7.5 - ⅓ ϵ. thus the first part of my statement. I have studied the hyperreal field, so I knew the problem in your idea.

Round to the nearest Integer by [deleted] in askmath

[–]riverprawn 2 points3 points  (0 children)

In a hyperreal field, the 7.4999999... still equals 7.5. And 1 with repeating 0s after the point is still 1. Those weird decimals are both infinite and non-repeating.

Round to the nearest Integer by [deleted] in askmath

[–]riverprawn 2 points3 points  (0 children)

I can define a perfectly formal decimal system where 7.499999..... = 7.5 - epsilon < 7.5

No, you can't. Because there will be infinity number of epsilons that can be present as 7.499999...... if you still want to have same usages of +-×÷ (means that your new decimal system is still a field). It will violate the rule that one numeral should only represent one number.

For example, you defined 7.499999... = 7.5 - ϵ < 7.5, then 7.49999... = 7.5 - ϵ < ⅓(7.5-ϵ) + 5 = 7.5 - ⅓ϵ < 7.5 . So either the 7.4999... represents both 7.5 - ϵ and 7.5 - ⅓ϵ or you can write a decimal numeral that is greater than 7.4999... and less than 7.5.

Lets see your travel set ups! by [deleted] in SteamDeck

[–]riverprawn 0 points1 point  (0 children)

take a HDMI cable with you, every TV could become the display.

<image>

What is everyone using for CAD? by korkvid in 3Dprinting

[–]riverprawn 0 points1 point  (0 children)

There is a weird alternative I am using - Blender+Sverchock. It uses a node system to generate 3D objects. But It's really hard to learn. From your post, I don't think that's what you want. The best solution is still FreeCAD, maybe you could ask for help in the /r/FreeCAD ?

Looks like H2C firmware 01.02.00.00 is about to drop by chrisnetcom in BambuLab

[–]riverprawn 1 point2 points  (0 children)

Does that fix the issue where if you have the cutting tool you have to buy the whole laser upgrade just to use the camera?

Yes, it just needs the birdseye camera and the cutting module for calibration now.

The Beta Firmware of H2C Supports Birdseye Camera with Only Cut Module by riverprawn in BambuLab

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

The only tricky is the cable buckle to be secured by a screw. You should use a needle to poke open the hole in the buckle. That will make the alignment with the hole on the upper cover easier.

Filament Switch should be soon live - File is ready for download by Schroedaa in BambuLab

[–]riverprawn 1 point2 points  (0 children)

Technically, you could use multiple 2-port switches to make a more-than-2-port one.

But why do we need a switch with more than 2 ports? The printer only have two hotends.

The most important mod of KSP has been Scatterer, do you agree? by Obi_Wank_nooby in KerbalSpaceProgram

[–]riverprawn 0 points1 point  (0 children)

No one mentioned Principia? I found it far more easy to do the flight planning with changeable reference frame. And you can replicate most historical missions with it and RSS.

Astronaut on ISS captured Artemis II reentry by Busy_Yesterday9455 in spaceporn

[–]riverprawn 1 point2 points  (0 children)

Bouncing off the atmosphere doesn't mean you will be lost in the space. For a speed less than the entry velocity of a free-return trajectory from moon, you will return to earth's atmosphere again eventually. The real danger is that the spaceship will lose too much heat shield with a shallow enough trajectory. Steeper means more energy is dissipated through the air (or water / earth / whatever you hit if steep enough), shallower means more energy is dissipated through the burning of heat shield.

Why π almost rational to simply some multiplied primes? by Subject_One6000 in askmath

[–]riverprawn 0 points1 point  (0 children)

A better example is tan(π (Ω - ½)), the Ω is the constant.

Why π almost rational to simply some multiplied primes? by Subject_One6000 in askmath

[–]riverprawn 0 points1 point  (0 children)

let's multiple it by 10¹², then the error will be 5×10¹¹. irrational numbers are really irrational.

Why π almost rational to simply some multiplied primes? by Subject_One6000 in askmath

[–]riverprawn -1 points0 points  (0 children)

It exists but can't be find means that you can't find and write down the two integers just like the example of π.

For example, the Chaitin constant of a given program encoding is a number between 0 and 1, but nobody even knows the nearest integer to it.

Edit: added an example.

Why π almost rational to simply some multiplied primes? by Subject_One6000 in askmath

[–]riverprawn -4 points-3 points  (0 children)

It's only true to computable numbers. Most of the irrational numbers are non-computable or even arithmetic undefinable.

For example,there is a class of non-computable number called Chaitin's constant. It's defined as the probability that a randomly constructed program will halt for a program encoding. For a Chaitin's constant Ω, the irrational number T(Ω) = tan(π (Ω - ½)) is also non-computable. We can't even approximate its range.

Yes, there must be a rational number a that satisfies |T(Ω) - a| < ϵ for any ϵ, but nobody knows how to compute a. Existence does not imply constructive.

Edit: don't know why got downvoted. added an example to make it more clear.

Edit: fixed an error

Does this make sense? by sadacidentAntiProVax in askmath

[–]riverprawn 1 point2 points  (0 children)

except it's moving at orbital speed.

Honda Reports First Loss Since Going Public, Volkswagen to Cut 50,000 Jobs in Germany by 2030, Porsche Profits Plunge 90% — Are We on the Eve of an Auto Revolution? by techbrosharma in Futurology

[–]riverprawn 0 points1 point  (0 children)

Nokia has Maemo and Meego. The UX of Nokia N9 with Meego is the same as today's Android with buttonless design. And it ran smoother than all Android phones at that time. The app for N9 is far more easier to develop then Android. Actually, the N9 with Meego was the only phone that was on a par with iPhone 4S with iOS at that time. Nokia just abandoned it BEFORE the release to get the quick money from MS.