• 1 Post
  • 108 Comments
Joined 2 years ago
cake
Cake day: July 24th, 2023

help-circle
  • Moskitos live anywhere there is stale water, so either clean it or have it wild enough that other insects outcompet them.
    Put your compost pile somewhere you don’t walk past a lot, because that’s where flies congregate.
    Ticks aren’t that mobile, they need some animal to carries them there.




  • 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 that s(x)=x and therefore x+1=x. While some might think this implies 0=1, it doesn’t, because we don’t have the axiom of induction, an thus can’t prove a+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.



  • 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



  • […] 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).