EffectiveAxiomatization

Description
Just random news and thoughts about science, skeptic world, and logical reasoning (english and spanish) ~1 post/day. Join us!
Advertising
We recommend to visit

Backup channel

Para más contenido https://t.me/+zwdwgUWWbfIzNTAx y aquí

https://t.me/+Mk3EWKh2jRc1NDNh

🔥 𝗣𝗔𝗖𝗞𝗦 𝗩𝗜𝗣 💣🔞

💦 Los mejores Canales & Chats de Telegram 🍑😈

🔞 • @PacksVip018 👑
🔄 Comparte 🔄
https://t.me/PacksVip018

📲 Negocios | Publicidad: @H4D3XZ 💸

4 years, 10 months ago

Dadme Magic que os devuelvo un TuringMagic The Gathering es un popular juego de cartas coleccionables. Quizás lo conozcas o incluso hayas jugado a él, pero entre sus muchos aspectos interesantes se esconde una curiosa característica. Puedes crear una máquina de Turing con él. Y no sólo eso: jugar de forma óptima a este juego es al menos tan "complejo" como el problema de la parada.
El año pasado dos investigadores llevaron el juego al limite, dando la receta necesaria para llegar a tener tu máquina de Turing con las cartas estándar, y demostrando que determinar la estrategia ganadora en Magic es un indecidible.

#Complexity #Mathematics #Research #ComputerScience

Articulo (en arxiv!): https://arxiv.org/abs/1904.09828

We recommend to visit

Backup channel

Para más contenido https://t.me/+zwdwgUWWbfIzNTAx y aquí

https://t.me/+Mk3EWKh2jRc1NDNh

🔥 𝗣𝗔𝗖𝗞𝗦 𝗩𝗜𝗣 💣🔞

💦 Los mejores Canales & Chats de Telegram 🍑😈

🔞 • @PacksVip018 👑
🔄 Comparte 🔄
https://t.me/PacksVip018

📲 Negocios | Publicidad: @H4D3XZ 💸