12/02/05 19:17:41.18
>>517
圏論が各数学と一階述語論理と繋げるという意味で基礎となりうるかかどうかは既に技術的な問題になっている。
違和感があろうがなかろうがそういう主観的なものはもはや関係ない。
ま、流行るかどうかは主観的な問題も込みなので、知らんけどな。
12/02/05 19:17:41.18
>>517
圏論が各数学と一階述語論理と繋げるという意味で基礎となりうるかかどうかは既に技術的な問題になっている。
違和感があろうがなかろうがそういう主観的なものはもはや関係ない。
ま、流行るかどうかは主観的な問題も込みなので、知らんけどな。