1001
nooo my genderinos (mander.xyz)
submitted 1 year ago by to c/science_memes@mander.xyz
164 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[–] 6 points 1 year ago (1 child)

I was going to make a comment about surreal numbers not being numbers. But I did a bit of fact checking and it looks like all of the values I was objecting to are not considered surreal numbers, but rather pseudo numbers.

I find this outrageous. Why can't ↑ be a number? What even is a number that would exclude it and leave in all of your so-called numbers?

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 1 point 1 year ago (1 child)
  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 1 point 1 year ago

    Where in those axioms does it say that ↑ = {0|∗} = {0 | {0|0} } is not a number? No where, that's where!

    The actual reason that ↑ is simply that it is too ill behaved. The stuff I thought were the "numbers" of combinatorical game are actually just called Conway games. Conway numbers are defined very almost identically to Conway games, but with an added constraint that makes them a much better behaved subset of Conway games.

    I suppose you could call this an axiom of combinatorical game theory; but at that point you are essentially just calling every definition an axiom.

  • permalink
  • fedilink
  • source
  • parent