[-] anton 1 points 30 minutes 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) and n=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

[-] anton 3 points 8 hours ago

That axiomisation is incomplete as it doesn't preclude stuff like loops, a predecessor to zero or a second number line.

[-] anton 10 points 20 hours ago

Die Verfasser der Drohung wollten bestimmt nur Alkoholvergiftungen verhindern und Leben retten. 🥰
Nein, ich werde nicht den Artikel lesen, und mich des bessern belehren lassen!

[-] anton 3 points 21 hours ago

Die Geschichte zeige, dass Kriege entweder durch militärische Niederlagen oder wirtschaftliche Erschöpfung endeten, sagte er. Beides zeichne sich im Falle Russlands und der Ukraine aktuell nicht ab.

Und dass können wir ändern! Die Ukraine hat begonnen einen kritischen russischen Wirtschaftszweig, fossile Brennstoffe, anzugreifen und bereits einen Exportstop von Treibstoff erwirkt. Wenn wir jetzt Taurus und ähnliche Systeme ohne politische Beschränkungen liefern könnten wir diesen Krieg zu einem früheren Ende führen.

[-] anton 10 points 22 hours ago

Reminds me of a nazi in Germany that had his friend hack of some of his fingers to blame it on radical leftists.

[-] anton 5 points 1 day 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.

[-] anton 1 points 2 days ago

The only antisemitism here is the police calling a real estate sales event a Jewish religious event.

[-] anton 2 points 2 days ago
ɥʇǝW
   E
   E
   D
[-] anton 6 points 3 days ago

[...] why not have a watch sized device that can store insane amounts of power?

Because Hiroshima was leveled by "only" 20 MWh (cost ranges from 120€ in northern Scandinavia to 1010€ in Greece) so having people carry energy wallets with enough to make more around day to day is like paying your groceries bill with C4 (which is perfectly save as long as there is no primary explosive).

[-] anton 6 points 3 days ago

Find a better doctor, the correct diagnosis is german.

[-] anton 4 points 6 days ago
[-] anton 6 points 6 days ago

If you commit to explicit tags by having an /uj before, than yes. Otherwise most people would pick it up.

106
submitted 1 month ago by anton to c/onehundredninetysix

Photo taken from here

57
ich🪜🖼️🔭iel (lemmy.blahaj.zone)
submitted 2 months ago by anton to c/ich_iel@feddit.org

Keine Angst ich habe mich nicht in Gefahr gebracht.

7
🟤🠲🟢 (lemmy.blahaj.zone)
submitted 3 months ago by anton to c/stickers@feddit.org

PS: Ich habe erst beim Verfassen dieses Post gesehen, das da Schächten und nicht Schlachten steht.
Schächten ist rituelles Schlachten, wie es im Judentum und Islam praktiziert wird. Da es oft ohne Betäubung durchgeführt wird, wird es von Tierschützern kritisiert. Das Verbieten von Schächten war eine der ersten Formen der Diskriminierung Nazis gegen Juden, jetzt wird es gegen Muslime ins Feld geführt.

77
💕 got new rules 💕 (lemmy.blahaj.zone)
submitted 6 months ago by anton to c/onehundredninetysix
29
submitted 6 months ago by anton to c/noncrediblediplomacy@sh.itjust.works

cross-posted from: https://lemmy.ml/post/27833143

context

transcript

DISRUPT INTERNATIONAL SHIPPING NOW!!

OGEY

Niche ocean carrier Atlantic Container Line is warning the fines the U.S. government is considering hitting Chinese-built freight vessels with would force it to leave the United States and throw the global supply chain out of balance, potentially fueling freight rates not seen since Covid.

“This hits American exporters and importers worse than anybody else,” said Andrew Abbott, CEO of ACL. “If this happens, we’re out of business and we’re going to have to shut down.”

[...] U.S. is no position to win an economic war that places ocean carriers using Chinese-made vessels in the middle. Soon, Chinese-made vessels will represents 98% of the trade ships on the world’s oceans.

Hey, Abdul-Malik Badr Al-Din Al-Houthi, how'd I do?

Thank you Mr. President, that's exactly what I meant. But why-

Another day, another banger

33
ich📜iel (lemmy.blahaj.zone)
submitted 10 months ago by anton to c/ich_iel@feddit.org

Bildbeschreibung:

Magie Karte mit Titel Sitzungsvorstand

Textblock:
{t}{1} Ordnungsruf: Plaziere einen Ordnungsrufzähler auf einer Karte auf dem Feld. Wenn eine Karte 3 oder mehr Ordnungsrufzähler hat, kann sie nicht angreifen und keine Fähigkeiten aktivieren.
{t}{X} Sitzungsausschluss: Verbanne eine Kreatur mit Kosten X oder weniger, für X Runden. Wiederspruch X: diese Fähigkeit kann für X gekontert werden.

7
submitted 1 year ago by anton to c/boostforlemmy@lemmy.world

Sometimes I come across links to communities or posts on instances that are not in the list of links the app recognizes as lemmy. Instead they open a browser tab. Given lemmys growing and decentralized nature it's unreasonable to expect devs to keep up with that. Please enable users to add to that ever growing list, at least for their own account. I understand that such a feature is may be far in the backlog or may never come at all, in the meantime I would be happy if you added the feddit.org domain to the list as feddit.de seems to be migrating there.

Workaround: Apparently it works with the ! community @ instance links like !ich_iel@feddit.org but not normal links feddit.org/c/ich_iel

3
submitted 2 years ago by anton to c/autotldr@lemmings.world

This is what the bot posted:

This is the best summary I could come up with:


The Reuters Daily Briefing newsletter provides all the news you need to start your day.

Sign up here.


The original article contains 18 words, the summary contains 18 words. Saved 0%. I'm a bot and I'm open source!

view more: next ›

anton

joined 2 years ago