anton
@anton@lemmy.blahaj.zone
- Comment on In this essay... 3 days ago:
While it was probably not the best use of our time, it certainly made me think about relations and algebra in more interesting ways than the last uni course did.
- Comment on In this essay... 3 days ago:
But I am not taking about an amount of different things, but a parallel or branching number line being part of the set of natural numbers.
I am not talking about modular arithmetic on its own, but as part of the set of natural numbers.Under the missing axioms those constructs would be part of the natural numbers, including an
x
in N such thats(x)=x
and thereforex+1=x
. While some might think this implies0=1
, it doesn’t, because we don’t have the axiom of induction, an thus can’t provea+c=b+c => a=b
.The usefulness of such a system questionable but it certainly doesn’t describe the natural numbers as we understand them.
- Comment on IT'S A TRAP 3 days ago:
There are also an infinite number of rationale between two integers, but the rationals are still countable and therefore have the same cardinality as the naturals and integers.
- Comment on In this essay... 3 days ago:
I know how how natural numbers work, but the axioms in the comment i replied to are not enough to define them.
Not sure what you mean by ‘loops’
There could be a number n such that
m=s(n)
andn=s(m)
. This would be precluded by taking the axiom of induction or the trichotomy axiom.If we only take the latter we can still make a second number line, that runs “parallel” to the “propper number line” like:
n,s(n),s(s(n)),s(s(s(n))),... 0,s(0),s(s(0)),s(s(s(0))),...
there are no natural numbers that are negative
I know, but the given axioms don’t preclude it. Under the peano axioms it’s explicitly spelled out:
0 is not the successor of any natural number - Comment on In this essay... 4 days ago:
That axiomisation is incomplete as it doesn’t preclude stuff like loops, a predecessor to zero or a second number line.
- Comment on Why does information want to be free 5 days ago:
Hoarding information is like hoarding any other resources.
Information is unlike any other resource, it can be shared without taking away from the giver.
Hording it is not about protection what you have, it’s about intentionally depriving others with no benefit to your self other than keeping up a power imbalance. - Comment on Can you think of any now? 1 week ago:
He wanted to show that AC lines with their heigh voltages are dangerous, as he sold low voltage DC power.
- Comment on POV 2 weeks ago:
- Comment on IF YOU TAKE ENOUGH YOU CAN SEE *THE PATTERN* BRO 2 weeks ago:
I know, but otherwise there is no use for the knowledge that we live in a simulation. Unless someone can contact the outside of course.
- Comment on IF YOU TAKE ENOUGH YOU CAN SEE *THE PATTERN* BRO 2 weeks ago:
The only thing one could do with knowledge of being in a simulation, is trying to find bugs and exploits.
From now on, I expect anyone claiming we live in a simulation to have a working perpetual motion device, faster that light communication, or something similarly impressive. If they don’t, their claim is meaningless. - Comment on The McDonald's employee who called on Luigi has never received their "reward", folks chasing the 100k for Kirk may not either... 3 weeks ago:
I’m sorry I don’t know all the arcane incantations of your court system of the top of my head.
- Comment on The McDonald's employee who called on Luigi has never received their "reward", folks chasing the 100k for Kirk may not either... 3 weeks ago:
What would the defense say? “That wasn’t him, just someone who looks similar.”
They already claim that by pleading innocent at the start. - Comment on The Nutty Putty Cave System 3 weeks ago:
Should have gone with the rising star cave, with the homo naledi fossil location.
- Comment on There's an FPGA handheld that looks perfect for playing GBA, but it's still in the crowdfunding phase 3 weeks ago:
A computer/microcontroller can read physical cards just as well and if the specs of the hardware are well known enough for someone to write vhdl/verilog, they can also write c/rust.
If someone offered you a molecularly identical beer, would you complain that it’s not the original. - Comment on There's an FPGA handheld that looks perfect for playing GBA, but it's still in the crowdfunding phase 3 weeks ago:
If the outcome is the exact same, who cares?
This is like golden audio cables but for retro gamers. - Comment on There's an FPGA handheld that looks perfect for playing GBA, but it's still in the crowdfunding phase 3 weeks ago:
Why use a FPGA? For the price of the chip (113€) you could get an entire SBC that has more storage, voltage regulation and protection, 3.3V or 5V IO and linux.
- Comment on Check yourself before you rex yourself 3 weeks ago:
^^^^
This H. Sapiens didn’t even italicize properly. - Comment on Who is the enemy? 5 weeks ago:
If an animal gets shot with lead, survives and runs away, there is now a wounded animal or an animal carcass containing lead somewhere in the wild.
If it is wounded or freshly dead a carnivore will eat it and accumulate lead. That may be large carnivore or a smaller carnivore that later gets eaten by a bigger one. Birds tend to have stronger stomach acid that most mammals, allowing them to dissolve the lead better.
Vultures having it the worst as they will eat any carcass and have the strongest acid. - Comment on Who is the enemy? 5 weeks ago:
youtu.be/CBv4bO_jC8I 27:09
- Comment on Who is the enemy? 5 weeks ago:
Same thing with lead shot accumulating in large birds birds.
- Comment on Every damn time. 1 month ago:
Yes, for mild winters and plentiful harvests
Bastards, we need harsher winters over here. Otherwise the moskitos and invasive species get even more numerous.
- Submitted 1 month ago to science_memes@mander.xyz | 2 comments
- Comment on Why are there so many german communities on Lemmy? 1 month ago:
Touche
- Comment on is there any way to invest ethically as a sole individual? 1 month ago:
Just go with a typical fund and donate the amount of profit that makes you feel good with it to a good cause of your choice.
- Comment on Why are there so many german communities on Lemmy? 1 month ago:
“Three Germans meet - they found an association (Verein)”.
Stop spreading misinformation on the Internet!
Everyone knows, that while 3 is the minimum membership (§ 73 BGB), 7 people are required to found one (§ 56 BGB). - Comment on Are the research projects for long-term storage already deployed? 1 month ago:
Unless you want to carve large holes in granite, your best shot at the moment is something like the Arctic World Archive.
- Comment on Lemmy is a tech literate echo chamber 2 months ago:
Does it count if I have to google which key to hold down to enter the boot menu or bios every time? There are 12 function keys and esc.
- Comment on sardonic soup 2 months ago:
Because the tree would need to grow 100x as big. People often forget, that the carbon needs to go somewhere and in a tree that is mostly the wood.
A fully grown forest is just full and can’t take up more CO2 unless you take some wood out. That wood need to be used in construction or turned into charcoal and buried to make sure it can’t be turned back into CO2 by rotting. - Comment on GET BOMBADEERED, IDIOT 2 months ago:
No you don’t
You just have to make sure to terminate the line with two spaces. Unless you have a different markdown renderer than the web interface and most apps.Or does line break mean empty lines to you?
- Comment on the unseen worlds 2 months ago:
Yes, but the visible light will overpower the glow.