12/10/09 08:23:50.26
強い弱いはペアノ算術を含む～～とかいうときの「含む」で良いんじゃないの。
つまり理論やモデルの解釈関係で良いはず。
こういうinterpretabilityについてはそれなりに研究されてるんじゃないのかな。
12/10/09 08:23:50.26
強い弱いはペアノ算術を含む～～とかいうときの「含む」で良いんじゃないの。
つまり理論やモデルの解釈関係で良いはず。
こういうinterpretabilityについてはそれなりに研究されてるんじゃないのかな。
12/10/09 08:23:50.26
強い弱いはペアノ算術を含む～～とかいうときの「含む」で良いんじゃないの。
つまり理論やモデルの解釈関係で良いはず。
こういうinterpretabilityについてはそれなりに研究されてるんじゃないのかな。