はじめてnote記事を書いた。みんな大好きMTGのルールの重箱の隅のお話です! MTGの「無限ループ」を形式的に定義することは可能か|闇ぶいれこ @yami_vreco note.com/yami_vreco/n/n8c3af20

Follow

これによって、MTGの未解決問題の一つである「無限ループの厳密な定義」というのは、MTGがチューリング完全である限り永久に未解決のままであるということが示されました。やったね!

Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!