12/01/28 11:13:10.57
>>386
>>387
>>389
Lawvereの定理のことを言ってるんだとしたら、あれはゲーデルや通常の不動点定理を
それほど抽象化したものにはみえない。記法を換えただけにみえるのだが。
12/01/28 11:13:10.57
>>386
>>387
>>389
Lawvereの定理のことを言ってるんだとしたら、あれはゲーデルや通常の不動点定理を
それほど抽象化したものにはみえない。記法を換えただけにみえるのだが。
12/01/28 11:13:10.57
>>386
>>387
>>389
Lawvereの定理のことを言ってるんだとしたら、あれはゲーデルや通常の不動点定理を
それほど抽象化したものにはみえない。記法を換えただけにみえるのだが。