07/01/23 01:11:03
>406
ある高名な数学者は「数学者とはカフェイン(コーヒー)を入れると定理を出力する装置だ」と
定義したそうですけど、さしずめルーデルは「カルシウム(牛乳)を入れると鉄屑を製造する
装置だ」とでもなるんでしょうかね。
07/01/23 01:11:03
>406
ある高名な数学者は「数学者とはカフェイン(コーヒー)を入れると定理を出力する装置だ」と
定義したそうですけど、さしずめルーデルは「カルシウム(牛乳)を入れると鉄屑を製造する
装置だ」とでもなるんでしょうかね。