トップページ
⇒
math
1001コメント
464KB
数学基礎論・数理論理学 その11
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0562
132人目の素数さん
2012/02/06(月) 23:57:09.75
直交しているという表現を使う
>>557
は多分プログラマの人なんだろ。
処理系作っていた人がそんな表現使ってた。独立しているぐらいの意味だったはず。
プログラマの人は勝手に変な言葉をあやふやに定義して、形式的に定義された言葉で
みんな知っている、という意味不明な前提を持ち出すから話が成立しない。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています