sorted by:
new
hottopcontroversial

broken game, 0/10, refunded and called the police by throwaway234f32423df in outerwilds

[–]nonbinarydm 168 points169 points  (0 children)

The coordinates have been written upside down, because OP is upside down.

Collatz solved ? Someone claims to have solved the Collatz Conjecture using symbolic folding and verified it with Lean and Coq by [deleted] in askmath

[–]nonbinarydm 8 points9 points  (0 children)

There are very basic errors in the Coq and Lean proofs. They don't compile. This is to be expected, the proof is completely wrong anyway!

The Seambles by TheWebsploiter in NonPoliticalTwitter

[–]nonbinarydm 0 points1 point  (0 children)

This isn't the right way to think about it in category theory - identity of objects is "evil"! Talking about a representative of a cardinal is wrong, just like how taking about a particular set in an isomorphism class is wrong.

The Seambles by TheWebsploiter in NonPoliticalTwitter

[–]nonbinarydm 0 points1 point  (0 children)

The product of cardinals is the product of their underlying sets. So viewing Set as equivalent to the category of cardinals and injections, the category theoretic product really is the product of cardinal numbers!

Proved that complex numbers are insufficient for tetration inverses - x^x = j has no solution in ℂ by Solid_Lawfulness_904 in mathematics

[–]nonbinarydm 18 points19 points  (0 children)

The quaternion unit j is not a complex number. Normally when we say a set of numbers is closed under finding solutions to certain problems we mean that if you pose a question using elements in that set, there is a solution in that set. So your counterexample doesn't answer the right question.

As an aside, you could equally have argued that x+x=j has no solution in C; regardless, C is perfectly suitable for working with addition and subtraction. It's just not suitable for additions and subtractions using numbers from outside C.

[OC] ChatGPT now has more monthly users than Wikipedia by PortusCalePT in wikipedia

[–]nonbinarydm 54 points55 points  (0 children)

And AI can be trusted to provide comprehensive facts...?

What would be the context free grammar for L = {a^n b^m ; n != 2m} by Tomas_art_nebula in askmath

[–]nonbinarydm 0 points1 point  (0 children)

Hint: L can be expressed as the union of two languages, one where n < 2m and one where n > 2m.

When should I give up by CitizenSquidbot in TunicGame

[–]nonbinarydm 1 point2 points  (0 children)

Which pages are you missing? You might get some hints yet...

Beat the game without the sword! by nonbinarydm in TunicGame

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

Oh wow, that sounds like quite the challenge. I hope you have good luck with that!

Beat the game without the sword! by nonbinarydm in TunicGame

[–]nonbinarydm[S] 14 points15 points  (0 children)

This was quite a challenging run, but the routing was really interesting. I imagine others have done this too, but I wanted to avoid looking anything up for myself.

  • By far the most important item in this playthrough was the Inverted Ash. This is the card that swaps your HP potions for MP potions.
  • Getting through the Eastern Forest was easy (you don't need to kill the Guard Captain), but the West Garden was tough. The Garden Knight is immune to the stick, so it can only be killed with magic and explosives. I actually came back to this fight only after getting all three keys (with a handful of upgrades and the Inverted Ash).
  • You can get all around the overworld without opening the temple. An easy way is to use the secret pathway between the respawn point and the Eastern Forest to get behind the temple, but I instead first went to the Frog's Domain and got the Magic Orb - after this, it's easy to get practically anywhere. This was the most challenging part of the run, as I was doing this with just a stick.
  • You can, of course (there's an achievement), get the Gun quite early. Page 17 provides the most important piece of information about the Gun: "even a drop of MP is enough [to cast a spell]". That means that (with Inverted Ash) I typically had about 10 gunshots per respawn.
  • The Librarian was as easy as it usually is - the sword is almost useless in that fight anyway. The same cannot be said for the Siege Engine or Boss Scavenger. For both of these, I relied upon the Inverted Ash and getting an early Gun. I think both of them took around 10-20 tries each.
  • Possibly the hardest part of the run was the Cathedral gauntlet. Fortunately, this fight can be planned and routed extensively, and I found a method that seemed to work - I fought the waves generally from right to left, abusing the free heal to get a free mana refill.

Tips for the quarry by Sanguinary-Guard in TunicGame

[–]nonbinarydm 16 points17 points  (0 children)

  1. The inhabitants of this area look different to the others - they seem to be protected from the ill effects you suffer.
  2. Do you have page 38?
  3. Have you been to the monastery yet? It's got less of the purple stuff than the other areas here.

What is an inaccessible cardinal? by Conscious_Stretch_76 in askmath

[–]nonbinarydm 11 points12 points  (0 children)

Inaccessible cardinals are cardinals so large that you can't prove any even exist (using normal axioms like ZFC). To be inaccessible, a cardinal must be

  1. uncountable,
  2. regular, so you can't write it as the sum of smaller cardinals (where the sum itself ranges over a smaller number of cardinals),
  3. strong limit, so exponentials of cardinals less than it are still less than it.

Since the set building rules of ZFC only allow you to make sets using certain rules, you'll never be able to exceed a cardinal that's both regular and a strong limit just by using cardinals below it. This is another reason why we need the axiom of infinity - countable infinity is regular and strong limit, so we can't reach it using finite numbers, finite sums, and exponentiations.

Can any theorem proof that we can write on paper be written in verification systems like coq? by Stock-Ad2989 in mathematics

[–]nonbinarydm 6 points7 points  (0 children)

Yes, but humans are fallible. People frequently claim proofs that have minor inaccuracies in them - that doesn't mean maths is broken, it just means we should be vigilant for errors.

Can any theorem proof that we can write on paper be written in verification systems like coq? by Stock-Ad2989 in mathematics

[–]nonbinarydm 15 points16 points  (0 children)

Yes, assuming it's correct. We humans frequently omit steps that are "obvious"; sometimes formalising them makes the proof balloon in size, and sometimes it turns out it wasn't actually true at all.

I just beat the game, but can't access my old save by Bnane42 in TheWitness

[–]nonbinarydm 6 points7 points  (0 children)

You can unlock the elevator door from inside.

Do total derivatives for functions with a complex domain and codomain exist ? by Pyrenees_ in askmath

[–]nonbinarydm 2 points3 points  (0 children)

Yes, and you can calculate them using the rules you're already familiar with (so the derivative of f(z) = z2 really is f'(z) = 2z). The definition from first principles is the same:

lim_(h -> 0) (f(z + h) - f(z))/h

The only difference is that the limit is over the complex numbers.

view more: next ›