Untitled attachment

Notices where this attachment appears

1. Embed this notice
   LukeAlmighty 🇨🇿 (lukealmighty@gameliberty.club)'s status on Friday, 25-Apr-2025 23:25:37 JST LukeAlmighty 🇨🇿

   I do not understand the entire "GTA VI will crash the industry" argument.

   So, one game will cost 100$. It might even sell. Why the fuck does that mean, that all other companies should immediately change their prices to an unsustainable ones? If noone buys it, they can return it. If people buy it, they have no issue.

   So, what are people talking about with this claim?

2. Embed this notice
   John Carlos Baez (johncarlosbaez@mathstodon.xyz)'s status on Thursday, 07-Nov-2024 00:49:46 JST John Carlos Baez

   in reply to

   @julesh - "Basic question but I'm not 100% sure: it's not possible to have a "reasonable" syntax that captures exactly the total computable functions N → N, right?"

   I'm pretty sure that's true, but we should phrase it in theorems so we can spot loopholes. Here's what I know. The set of total computable functions is not computably enumerable: there's no total computable function f: ℕ²→ℕ such that every total computable function ℕ→ℕ is one of the f(i, -): ℕ→ℕ. The proof is an easy diagonal argument.

   So then the question is whether "a reasonable syntax that captures exactly the total computable functions ℕ→ℕ" must give a way to computably enumerate these functions.