トップページ
⇒
math
766コメント
655KB
数学基礎論・数理論理学 その12
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0667
132人目の素数さん
2012/06/07(木) 21:57:52.08
正規形を「カットなし」と一言で言えるのがLK。
一言では言えないのがNK。
補足:
賢明な諸兄にはご理解いただいていると思いますが、
>>656
も
>>659
も小生も「定義」を述べているのではなく、
LK, LJのキーとなる性質を述べております。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています