Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 03-Jan-2022 20:45:21 JST きゅーけー

   順序数、学んだ順番が悪かった感じがする。先に ACL2 学ぶ際に超限順序数の概念を聞いてから集合論の本を読んでしまったせいでちょっと順序数の衝撃レベルが薄まった感がある。とはいえ集合論の本に順序数の話が書いてあるとは思いもよらなかった(順序数について何も分かってなかった件)のでびっくりした。

   集合論を学んでない状態で順序数について調べても整列集合の意味が分からないせいで意味が分からないんだよな……。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 03-Jan-2022 20:47:41 JST きゅーけー

     in reply to

     超限順序数についてしっかり学んでなくても、実用的な部分の概要だけ聞いてしまえばアッカーマン関数の尺度を順序数を使って定義する程度のことはできてしまうんだよな。