the Real Number Game

Stream: general

[Joonas von Lerber]

Will there be a public server of the Real Number Game similar to the Natural Number Game? Or is Real Number Game still in development?

[Alexander Bentkamp]

We'd be happy to add it to our server if somebody (maybe you?) would port it.

[Kevin Buzzard]

The real number game never really existed. I don't think anyone ever worked out a coherent real number game.

[Alex Altair]

Sounds like it was just an imaginary number game

[Kevin Buzzard]

Oh we do have a complex number game! It doesn't use the game engine but there's no reason why it shouldn't.