掲示板

note.com投稿記事

科学と社会に関する異端の考え(2)

フリーマンダイソンの講演の続きです.(1)の主張がメインです.まだ(1)をお読みでないない方は,以下の(1)からご覧ください.  https://note.com/sgk2005/n/n329b63ad54a4 

2番目の異端は濡れたサハラの謎です。私はいつもこの謎に魅了されてきました。今日は乾燥していて無人であるサハラの多くの場所で、人や動物の群れを描いた岩絵が見られます。これらの絵はかなりの数あり、驚くほど芸術的です。フランスやスペインの有名な洞窟の絵に匹敵します。サハラ砂漠の絵は、それらの洞窟の絵ほど古くはありません。それらは多くの異なるスタイルがあるので、数千年の期間にわたって創作されたように見えます。それらの最新のものはエジプトの影響を示しており、おそらく古代エジプトの墓を飾る図面と同時に作られました。50年前の1958年に出版されたアンリ・ロットの本「タッシリ・フレスコを求めて」には、そのような50の絵の驚くべき複製があります。それらのうち最高のものは約6,000年前にさかのぼります。彼らは、サハラが当時湿気を持っていたことを強く示唆しています。草や木の枝を食べているはずの牛やキリンの群れを支えるのに十分な降雨量がありました。象とカバもいました。当時のサハラは、今日のセレンゲティ*)の姿を見るはずだった。(*訳注:タンザニある国立公園)

 

フリーマンダイソン. 2009年3月23日、モスクワ、FIAN。

約6,000年前、針葉樹が優勢なロシア北部には落葉樹林があり、当時の北部の気候は今よりもはるかに穏やかであったことを示唆しています。今日有名な氷河が横たわるスイスの山の谷には、当時も木が生えていました。今日溶けているこれらの氷河は、6000年前は現在よりもはるかに小さかった。6,000年前は間氷期でも最も暖かく湿った時期であり、最後の氷河期が終わった12,000年前から始まった時期です。この点に関して、私は2つの質問を提起したいと思います。まず、大気中の二酸化炭素濃度をさらに上げていくと、サハラが湿気を帯びていた6,000年前と同じような気候になるのでしょうか。そして第二に、サハラが乾燥している現在の気候と、サハラが湿気を帯びていた6000年前の気候のどちらかを選択する機会があった場合、現在の気候を選択する必要がありますか?私は、最初の質問には肯定的に答え、2番目の質問には否定的に答えます。私の意見では、サハラが湿気を帯びていた6,000年前の暖かい気候が好ましく、大気中の二酸化炭素の増加は、当時の気候を再び作るのに役立つかもしれません。私はこの異端の考えが真実であると主張しているのではありません。私にはわかりません。ただ考えても害はないと言っているだけです。サハラが湿気を帯びていた6,000年前のことは好ましいことであり、大気中の二酸化炭素の増加は、当時の気候を再び作るのに役立つかもしれません。

科学と社会に関する異端の考え(5)

フリーマン講演のこの部分の主旨を理解するのは私にはとても難しい.この第4の異端の紹介はスキップしていましたが,それも公正を欠くので掲載します.ただし,私の理解できるものに要約しました.私というフィルターを通して書き直したものですので,フリーマンの意図と異なるかもしれませんが,私の主張でもないことをお断りしておきます.
フリーマンの4番目の異端の考えは,生物学に関するもの-オープンソース生物学です.オープンソースソフトウェアとのアナロジーでこう呼ぶのでしょう.ゲノム操作をすべての生命を共同体とし水平伝播をどんどんやるとも聞こえ,私は主旨の理解ができません.

■ダーウインの幕間

種間競争によるダーウインの進化の時代は幕間だった.それ以前の時代も,それ以降の時代も遺伝子の水平伝播の時代である.約1万年前に単一種のホモサピエンスが生物界を支配し始め,文化の進化(ゲノムではなくアイデアの水平伝播)が原動力になる進化に変わった.そのスピードは1,000倍も速く,グローバリゼーションが進んだ.

カール・ウーズは,微生物のゲノム間の類似点と相違点を追跡することにより,微生物の祖先を調査し,すべての生き物が3つの原始的な枝から降りている生命の木の大規模な構造を発見しました.
ダーウインの進化の前に,水平遺伝子伝達と呼ぶプロセス(無関係な種間での遺伝子の共有)があったというのです.そして今もそうだというのです.遺伝子の水平伝播が普遍的であり,別個の種が存在しなかったダーウィン以前の生命の黄金時代を仮定しています.その頃,生命はさまざまな種類の細胞の共同体であり,ウイルスによって遺伝情報を共有し,進化は共同体の問題であり,最も効率的な細胞の遺伝子が共有されたため,共同体全体が代謝効率と生殖効率を向上させました.

新しい化学デバイスは、並行して動作するさまざまな種類のセルによって同時に進化し、その後、遺伝子の水平伝播によって単一のセルに再構築されるため、進化は急速である可能性があります。

しかし,ある日,原始的なバクテリアに似た細胞がたまたま隣人よりも1つ先に進んでいることに気づき,共同体から離れ共有することを拒否しました.その優れた効率により,共同体の残りの部分が共同生活を続けている間は,それは繁栄し,別々に進化し続けました.数百万年後,別の細胞がコミュニティから分離し,2番目の種になりました.....

そして,おそらくウイルスを除いてコミュニティに何も残らなくなるまで続き,すべての生命は種に分けられました.現在はこうしてダーウィンの幕間に至っています.

スーパーコンピュータとチャリティエンジンが解を見つける

数学パズルで有名な問題 $$ X^3 + Y^3 + Z^3 = k $$,($$ k $$はゼロ以上の整数)を解く話です。まず、$$ k $$=1から100までの個々の場合の整数解$$X, Y, Z$$を求めよというのが1954年に提示された問題です。似ている問題 $$x^2+y^2=z^2$$ を満たすピタゴラス数を求めよというのもあります。この種の方程式はディオファントス方程式とよばれ、紀元前300年のギリシャ以来研究されています。

さて、$$X^3+Y^3+Z^3=k$$ , ($$ k$$=0,・・・,100) に戻りましょう。
求める整数解$$X, Y, Z$$は正数だけとは限りませんので、問題は難問になります。

長年の研究で、$$k=4, 5, 13, 14, 22, 23, 31, 32$$の場合には解がないことがわかっています.これらを除くほとんどの$$ k $$に対して解が求まりました($$ k $$によっては解が無数に存在する場合もあります)が、$$k$$=33と42の場合の解がどうしても見つかっていません(解がないという証明もできません)でした。2019年になり、ブリストル大学のAndrew Booker教授は、スーパーコンピューターを3週間連続使用して、$$ k $$=33の場合の解を見つけました。以下のものです。

$$ (8,866,128,975,287,528)^3+(-8,778,405,442,862,239)^3+(-2,736,111,468,807,040)^3=33 $$


私(筆者)はこれが正解かどうか確認しようとしましたが、数字が大きすぎて計算もできません。$$k$$=42の場合は、もう一桁大きな数を扱わなければならないのでスーパーコンピュータといえども困難なのが理解できるでしょう。
そこで、Booker教授は、大きな数の解をチェックできる効率的なアルゴリズムを作り、MITの計算数理学者Andrew Sutherland教授の協力を得て、地球規模のコンピューティングプラットフォーム「Charity Engine」を利用した。Charity Engineには、世界規模で50万台を超える家庭用PCが接続され、各PCの空き時間を使って計算を実行するものです。Charity Engineによる100万時間を越える計算の結果、やはり2019年に次の解が得られました。

$$X = -80538738812075974$$
$$Y = 80435758145817515$$
$$Z = 12602123297335631$$

 

 


現在は,$$k$$が100~1,000までの場合の整数解を求めることに挑戦中である。
$$k$$が100~1000の間で解けていないのは10個位あるという。

科学と社会に関する異端の考え(4)

 

 

 

 

 

 

 

 

 

 

 



 
フリーマンダイソンの講演の続きです.彼の最後の異端意見は核兵器についてです。折しも10月24日に,核兵器禁止条約発効に必要な50ケ国の参加を得た。90日後の2021.1.22に発効することになった。米露や日本は参加していないのは残念である。(訳者注)


Еретические мысли о науке и обществе • ВидеотекаМосква, ФИАН, 23.03.2009 • Наука и общество, Климат, Эволюцияelementy.ru
核兵器
そして最後の異端は核兵器についてです。私の意見では、これが最も重要なことです。異端者としての意見では、私たちと環境への最大の危険は核兵器であり、私たちの最も重要な仕事はそれらをできるだけ早く取り除くことです。私はこの異端の意見を最後に残しましたが、私自身はそれが最初であると考えています。私は少なくとも25年間それを主張して、さらに今日でもそれを主張します。世界は過去25年間で劇的に変化しました。何かが良くなり、何かが悪くなりました。想像もできなかった最高の変化は、ソビエト連邦が平和的に崩壊したことでした。私も想像もできなかった最悪の変化は、米国が予防戦争[訳注)テロとの戦いのこと]を開始したことでした。これらの変化の結果として、核兵器に対する人々の見方は変化しましたが、核兵器に関連する根本的な危険とそれらに対する手段は、少なくともほとんど変化していません。

今日、人々は、イラン、北朝鮮、パキスタン、いわゆる「不正国家」の手にある核兵器、アルカイダのようなテロリストグループの手にある核兵器について懸念します。この問題は核増殖問題と呼ばれます。本当に50年間そのような問題がありました。しかし、それを自分たちで解決することができません。私たちの主要問題は、自身の核兵器の問題です。私たちには、地球の人口のかなりの部分を一掃するのに十分な約1万の核兵器があります。ロシア連邦もアメリカとほぼ同じ量を持っています。これらの大量の武器の備蓄は、イランやパキスタンが手に入れることができる少量よりも、世界全体にはるかに大きな脅威をもたらします。ロシアは自分たちの核兵器を追跡できない懸念がありますが、私が米国の核兵器保管場所で、41個の水素爆弾が床に横たわり、つながれていないのを見た瞬間を忘れられません。私はそれらを注意深く数え、41個あることを確認しました。そのうちの1つか2つが欠けていても気付く人はいないだろうと思います。したがって、私たちの側もその武器を最善の方法で監視してはいません。

フリーマンダイソン.2009年3月23日,モスクワ,FIAN

あなたが核兵器について話すにあたり、2つの視点ー宗教と道徳があります。核兵器は大量殺戮の兵器であるため比類のない悪であり、神の前での犯罪であり、私たちの道徳的および宗教的義務はそれらを取り除くことです。他方、軍事的ニーズについて実践的に考えることもできます。核兵器は実用的な観点からは効果がない。皆さんご存じなので宗教的な議論はここでは語りません。核兵器は原則として悪であると同意しましょう。したがって、私は軍事的議論に焦点を当て、核兵器は実際には戦争勝利に役立たないと、皆様に説得しましょう。イランや北朝鮮が独自の核兵器を取得するのを防ぐために、核兵器で意味のあることはできません。私たちの理性は、いかなる軍事目的にも自分の爆弾の使用を許しません。いくつかの貧しい国との戦争に勝つために核兵器を使用することは問題です。核兵器は多くの人々を殺し、生き残った人々を私たちを深く憎むようにさせますが、それは戦争に勝利したことになりません。

このことから、私たちの外交政策の最も重要な目標の1つは、核兵器の完全廃絶であるべきと結論します。敵や友人が、秘密の武器をどこにも隠していないことを確認するのは難しい。ご存知のように、核兵器を隠すのは簡単です。私たちが核兵器を取り除くことを話すとき、私たちは、生物学的兵器が今日禁止されているように、これらの兵器は法律によって禁止されるべきです。これは、残りのすべての武器は、大規模で明確な搬送システムがなければ、違法で秘密にせざるを得ないことを意味します。それは、私たち自身がもはや核兵器を持っていないことを確信できます。私たちの核兵器がなければ世界はより安全になると私は信じています。奇襲攻撃の最も魅力的な標的は、例えば、原子力航空機運搬船であり、私たちは主にそのような標的を持っています。このような標的を取り除くことで、公海やペルシャ湾での戦争の可能性を大幅に減らすことができます。

武器は、一方的に、または多国間合意に達することによって、2つの方法で処分することができます。これらの方法は両方とも過去50年間にわたって試行され、時には成功しました。歴史から4つの例を簡単に紹介します。最初の懸念は、1963年に私が米国の武器管理および武装解除局で働いていたときです。当時、武器レースの過程でますます大きな水素爆弾が作られていました。その後、ソビエト連邦は、プロトタイプの100メガトン爆弾として宣言した65メガトン爆弾で首位に立ちました。レースの次のステップは、飛行機やロケットで運ぶには重すぎる1ギガトンの爆弾になるのではないかと思えました。ギガトン爆弾は、大きな潜水艦コンテナまたは無人自動潜水艦に配置され、海辺の都市を破壊するために使用され、巨大な津波を引き起こす可能性があります。しかし、最も血に飢えた空軍の将軍と海軍の提督でさえ、そのような爆弾を望んでいませんでした。ケネディ大統領と[大臣評議会]フルシチョフ議長は、この狂気を終わらせ、大気中での核実験を禁止することに合意した。その後のすべての核実験は地下で行われなければなりませんでした。そして実際の地下試験は約10メガトンに制限されています。その後、武器レースは別の方向の競争になり-より小さくてより強力でない爆弾に向かいました。しかし、ケネディとフルシチョフは、武器競争をさらに遅らせるであろう完全な核実験禁止を交渉する機会を逃しました。

私の2番目の例は、1969年のニクソン大統領による生物兵器の破壊に関するものです。それはニクソンが大騒ぎせずに静かに行った一方的な決定でした。国際交渉も上院の承認手続きも必要ありませんでした。この決定の反対者は、彼らの異議を公に表明したり、この決定の採択を法的に遅らせたりする機会を得ませんでした。ニクソンは、生物兵器に関連するすべての政府プログラムを停止し、すべての在庫を破壊する必要があると単に発表しました。これは、ハーバードの生物学者マシュー・メセルソンが、ニクソンの国家安全保障顧問であったヘンリー・キッシンジャーの隣に​​、いわゆるダチャであるケープコッド半島に夏の家を持っていたという事実によるものでした。メセルソンはキッシンジャーを説得した 生物兵器を取り除く時が来たと、キッシンジャーはニクソンを説得した。この件に関する議会会議で、メセルソンは生物兵器プログラムを担当する陸軍将軍に「これらの兵器をどの程度正確に使用する予定ですか」と尋ねました。そして彼らは答えることが何もありませんでした。将軍たちは、私たちが生物兵器で攻撃されたとしても、それに応じて私たち自身の生物兵器を使用する現実的な計画がなかったことを認めざるを得ませんでした。純粋に軍事的な理由で、私たち自身の武器は役に立たなかった。ニクソンがこの決定を下した3年後の1972年に、彼は生物兵器を非合法化する国際条約を交渉し、ソビエト連邦はその条約に署名しました。この大会の条件が満たされているかどうかを確認することは不可能でした、そして実際、その後のソビエト連邦では、秘密の生物兵器プログラムが続けられました。それでも、このコンベンションでは、それがない場合よりもはるかに良い結果が得られました。ソビエトのプログラムは秘密のままであり、生物兵器の公開展開はありませんでした。テロリストによる生物兵器の使用の脅威は残っていますが、テロリストが盗むことができる生物兵器の独自の在庫がまだある場合、この脅威ははるかに深刻になります。

私が与える3番目の例では、武器を取り除く試みは失敗しました。1986年、レーガン大統領と[最高ソビエトの幹部会の議長、当時CPSU中央委員会の事務局長]ゴルバチョフはレイキャビクで会合し、武器管理協定を交渉しました。レーガンは核兵器の完全廃絶を熱心に支持しており、ゴルバチョフも同様の見解を持っていました。彼らは顧問から逃げ出し、1対1で話し始めました。彼らは、あらゆる種類の核兵器をすべて排除するという合意に非常に近づいています。しかし、2つの理由で彼らはこの合意に達することができませんでした。第一に、彼らは両方とも現状の劇的な変化を致命的に恐れていた公式の顧問を持っていました。第二に、レーガンは彼のミサイル防衛プログラム「スターウォーズ」を非常に大切にしていました。ゴルバチョフはスターウォーズシステムが先制攻撃システムに変換されるのではないかと恐れていたが、彼はそれをあきらめたがらなかった。ゴルバチョフの恐れは誇張されていましたが、根拠のないものではありませんでした。スターウォーズに無関心だったため、レーガンは歴史の流れを変えるチャンスを逃しました。

4番目の例では、彼らはなんとか武器を取り除くことができ、完全に成功しました。これは、ジョージW.ブッシュがアメリカの大統領だった1991年に起こりました。2年前、ゴルバチョフはドイツがベルリンの壁を破壊することを許可しました。そこでは冷戦は本質的に終わりました。ブッシュ大統領は、合衆国陸軍と海軍がすべての戦術的な核システムを取り除く時が来たと決定しました。その結果、警戒しているすべての武器の約半分が1日で一方的に削除されました。それは歴史上最大の核武装解除でした。これが起こる数年前に、私はロングビーチハーバーのミサイルクルーザープリンストンを訪れました。この巡洋艦は、私が住んでいる都市にちなんで名付けられました。それは2つの大きな箱に98個のトマホーククルーズミサイルを運びました、1つは核弾頭を備えた49で、もう1つは非核弾頭を備えた49です。キャプテンはどれを忘れないように努めなければなりませんでした。いつでも何らかの事故が発生し、海上で核戦争が始まる可能性があります。世界中の多くのオープンな場所で警戒している軍事戦術核兵器も同様に危険でした。今、これはもうありません。現在、軍隊と水上艦隊の両方が核兵器を処分したことを喜んでいます。彼らは今や核兵器の世話をする手間をかけずに、はるかにうまく仕事をすることができます。誰もこの武器を返還したくない。ブッシュ大統領は、タバコ産業に対する訴訟が解決すると同時に、作戦が発表されることを確認した。それで、アメリカのメディアはこのタバコビジネスに焦点を合わせました、そして核の武装解除は見過ごされて滑った。しばらくすると、ゴルバチョフはソビエトの戦術的な核兵器を取り除いたと答えた。


これらの4つの例は、一方的に取られた行動は、多国間交渉よりも効果的に根本的な武装解除をもたらす傾向があることを私に確信させます。もちろん、あなたは両方の方法で行動しようとする必要があります、両方が必要です。核兵器を排除するための最新のステップは、2006年に、レイキャビクでレーガンと一緒にいて、それらの武器管理交渉でレーガンのコミッショナーであったマックス・カンペルマンによって行われました。カンペルマンは、ヘンリー・キッシンジャー、ウィリアム・ペリー、サム・ナン、レーガン国務長官のジョージ・シュルツを含む他の著名な政治家とともに、米国の外交政策の目標として世界中で核兵器の廃絶を求める宣言を発表した。彼らはロシアとの交渉に戻ることを申し出た、レイキャビクで戦った後、他の国々を巻き込んで核兵器の破壊に関する多国間合意に達した。彼らはそのような合意をどのように実施するかを強調しすぎており、それが守られていることを確認していると思います。誰にも何も強制せずに、一方的な手順から始める方がよいでしょう。イスラエルとイランにいくつかの隠された保護区が残っていたとしても、主要な核兵器が公然と警戒されなければ、世界ははるかに安全になるでしょう。イスラエルとイランが参加することを望まない場合、そのような合意を実施する合理的な方法はありません。各国は、6か月以内に協定に参加または脱退しない権利を有するべきです。撤退の可能性は、すべての武器管理協定の別個の条項として詳しく説明されています。

アメリカやロシアの国民に核兵器を取り除くよう説得するために克服しなければならない主な困難は、核兵器がある程度の安全を提供するという深い確信です。この信念は、いくつかの神話、特に広島と長崎のアメリカの核兵器が第二次世界大戦の終結をもたらしたという神話によって支持されています。歴史家の長谷川らによる最近の研究は、この神話は真実ではないと私に確信させました。最も重要な証拠は、1945年8月に署名されたヒロヒト天皇の軍隊に宛てた公式の書簡に含まれており、そこで彼らは降伏を命じられました。この記述は核爆弾については言及しておらず、1945年に発生した状況と状況との類似性を強調しています。日中戦争の終わりに1895年に開発されました。ヒロヒトは日本の歴史をよく知っていたからです。1895年、日本は中国を破り、満州を占領した。ロシアを中心とするヨーロッパの勢力がこの戦争に介入し、満州に侵攻した。ロシア人はポートアーサーを占領しました。日本を近代大国に変えた明治天皇は、屈辱的な平和を受け入れました。明治はヨーロッパ人と恥ずべき和平を結び、ロシア人の日本への侵入を阻止した。ヒロヒトの書き言葉は、降伏を決意したとき、この類推を覚えていたことを示しています。彼は主に技術ではなく歴史に関心を持っていました。決定的な要因は広島と長崎の爆撃ではなく、ロシア人が戦争と満州への侵略を宣言した。

暴かれる必要があるいくつかの神話があります。ヒットラーが私たちより先に核兵器を受け取っていたら、それで世界を征服できたはずだという神話があります。ヒットラーが核兵器を持っていれば、ロンドンとここモスクワの多くの人々をーおそらく私もー殺すためにそれを使用する可能性は高かったですが、私たちの軍隊は1年前に戦争を終わらせ、1944年にベルリンに到着しました。水素爆弾の発明が核兵器の本質そのものを変えたという別の神話があります。実際、現在の核兵器の在庫を見ると、水素爆弾が発明されていなかった場合とほとんど変わりません。武器の破壊に関する国際協定は、厳密に施行されなければ意味がないという神話もあります。しかし実際には、多くの国際協定の実施を監視している人は誰もおらず、違反さえしているが、それでもなお、それらは引き続き有用です。良い例は、1817年のラッシュバゴット協定であり、これは米国とカナダの国境で平和を維持しました。したがって、これらすべての神話は真実ではありません。それらが暴かれるとき、核兵器のない世界への決定的なステップが可能になるでしょう。しかし、それが起こるためには、平和な市民と実用的な大統領と軍隊がこれに協力しなければなりません。

科学と社会に関する異端の考え(3)

■以下で紹介するフリーマンの第3の異端に関しては,私は異なる見方をします.私の視点もここで簡単に述べておきます.

 

 

 

 

 

 

 

 

 

 

フリーマンの言うように,コンピュータが研究所に設置さる大型機械から,各家庭で子供も使う家畜化になったと同様な足跡をたどり,バイオテクノロジーは,モンサントなどのグローバル企業の独占ではなく,ユーザーフレンドリーな道具として生活に浸透し家畜化しするというバラ色の未来に,私はあえて異は唱えません.
しかし,そのような世界になる前に,人類が破滅に向かう多くの岐路があり,これらを正しく乗り越えてバラ色の未来に向かえるか私は懸念します.日本の食糧自給率は低下の一途です.TPP協定に合意し,主要農作物種子法(種子法)の「廃止法」が2017年4月に成立,2018年3月末に廃止されました.地域に適した優良種子は地元の地で長期間の品種改良で得た人類の宝です.しかし.グローバル企業に種子を握られ,肥料も農薬もセットで生産性優先の産業農法の道を進むことになります.これとバイオテクノロジーが手を結んでいるのが現状です.自然農法を守ろうとする良心的な農家も存続が難しく,グローバル企業による遺伝子組換え(GM)種子,F1種子などが支配する産業としての農業は誰のためにもならないはずです.


■バイオテクノロジーの家畜化
フリーマンダイソンの講演の続き
https://elementy.ru/video/20/Ereticheskie_mysli_o_nauke_i_obshchestve?
3番目の異端はバイオテクノロジーの家畜化です。

50年前、プリンストンで、数学者のジョン・フォン・ノイマンは、エンコードされた命令、つまりコンピューター・プログラムを実行する最初のコンピューターを私の目の前で開発構築しました。コンピューターはフォンノイマンによって発明されたのではありませんが、コンピュータープログラムを発明したのは彼でした。ENIACと呼ばれるこのコンピューターは、5年前にペンシルベニア大学ですでに稼働していました。しかし、パンチカードに書かれたソフトウェアと電子ハードウェアの組み合わせにより、1台のマシンで天気を予測し、生物集団の進化をシミュレートし、熱核爆弾を作成する可能性をテストすることができました。フォンノイマンは、彼の発明が世界を変えることを理解していました。彼は、そのような機械の次世代が科学、ビジネス、政府の仕事の基礎になることを理解していました。しかし、コンピューターは常に巨大で高価になるのが彼には見えました。彼は、コンピューターが研究所や大企業を運営する大規模なセンターに設置されると想像しました。彼は、コンピューターが非常に小型で安価になり、主婦がコンピューターを使用して所得税申告書を計算し、学童がコンピューターで宿題をすることになるとは予測できませんでした。彼は、コンピューターが最終的に3歳児向けのおもちゃになるまで飼いならされ家畜化するとは予見できませんでした。彼は、21世紀にコンピューターゲームが日常生活の基盤の1つになることを予見することすらできませんでした。コンピュータゲームのおかげで、私たちの孫は今、不治のコンピュータ中毒を持つ人々として成長しています。
良かれ悪しかれ、健康か不健康かにかかわらず、人とコンピュータは今では夫と妻よりも強く結ばれ、死がそれらを分かつ時まで強く結ばれています。

 

 

 

 

 

  

フリーマンダイソン. 2009年3月23日,モスクワ,FIAN

 

 

 

この話は、フォンノイマンコンピュータとコンピュータゲームのバイオテクノロジーへの進化と何の関係があるでしょうか? 次のとおりです。
特別なセンターに設置された巨大機械としてのコンピュータのフォン・ノイマンの見方は、モンサントのような大規模な製薬会社や農業会社専用の職業としての遺伝子工学の一般的な認識と共通しています。
モンサントはコンピューターを使って水素爆弾を開発したため、フォンノイマンの活動を警戒するのと同じように、モンサントは有毒な農薬遺伝子を食用作物に導入しているため、一般の人々はモンサントを警戒しています。
遺伝子工学が大企業が所有する特別なセンターの特権であり続ける限り、それは不人気で議論の余地のある活動形態であり続けるだろう。


しかし、私は、コンピュータ業界の足跡をたどるバイオテクノロジー産業の偉大な未来を予見します。巨大機械が家庭に入ったように。この方向への最初のステップは、ペットショップで遺伝子組み換え熱帯魚が、新しく非常に明るい色になったのを見ました。バイオテクノロジーの国内化に向けた次のステップは、それがユーザーフレンドリーになるときです。私は最近、世界中の生産者が彼らの労働の成果を披露する世界最大のショーであるフィラデルフィアフラワーショーである幸運な日を過ごしました。サンディエゴ爬虫類ショーにも参加しました。爬虫類を繁殖させる人。フィラデルフィアには最高級のバラと蘭があり、サンディエゴには最高級のトカゲとヘビがいます。孫を爬虫類展に連れて行く祖父母にとって、主な問題はヘビやトカゲを買わずにそこから抜け出すことです。これらすべてのバラと蘭、そしてこれらすべてのトカゲとヘビは、情熱的で経験豊富な花と爬虫類の栽培者の努力の成果です。プロとアマチュアの両方の何千人もの人々が、このビジネスや他のビジネスに人生を捧げています。しかし、これらの人々が遺伝子工学的手法を利用できるようになるとどうなるか想像してみてください。庭師のためのDIYキットがあり、遺伝子工学によって新しい種類の蘭やバラを開発します。鳩の飼育者、オウムの飼育者、トカゲやヘビのためのキットもあり、新しい品種を育てることができます。

遺伝子工学は、それが子供や主婦の手に渡ると、新しい生物の多様性に巨大な急増をもたらし、大企業によって植え込まれた単一文化に終止符を打つでしょう。新しい品種が普及し、単文化農業と工業化の欠陥のために消えたものに取って代わります。ゲノムの作成は、絵画や彫刻のように創造的な、個人的な事柄、新しい芸術形態になります。傑作となる新しい作品はほとんどありませんが、それらはすべてクリエイターに喜びをもたらし、私たちの動植物の多様性を高めます。

バイオテクノロジーの家畜化の最終段階は、幼稚園の年齢までの子供のためのコンピュータゲームと同様にバイオテクノロジーゲームの作成ですが、コンピュータ画面上の画像の代わりに子供たちが本物の種子や卵で遊ぶという点で異なります。これらのゲームをプレイすると、子供たちは生物の成長が何であるかを深く感じるでしょう。勝者は、種子が最も傷ついたサボテンを成長させるか、卵のハッチからかわいい恐竜を育てる子供かもしれません。このようなゲームでは、多くの困難と可能な危険に関連付けられます。私たちは、子供たちが遊ぶときに自分自身や他の人を危険にさらさないように、厳格なルールを開発する必要があります。

 

 

 

 

 

 

 

 

フリーマンダイソン. 2009年3月23日,モスクワ,FIAN

 

 

将来、家畜化バイオテクノロジーの普及を待っているなら、この点で5つの質問に答える必要があります。まず、この流入を止めることができますか?
第二に、それは停止する必要がありますか?第三に、それを止めることができない、または望ましくない場合、社会はそれをどのように制限すべきでしょうか?第四に、このような制限をどのように正確に交渉するのでしょうか?
第五に、彼らは国家レベルまたは国際レベルで実施されていますか?
コンピュータ技術とバイオテクノロジーのたとえは、これらすべての質問に対する答えを深く考えるのに役立つかもしれません。家畜化バイオテクノロジーを不正に使用するほとんどの人は、おそらくインターネット上にコンピュータウイルスを広める若いハッカーのように、ささいなものになるでしょう。一方、コンピュータウイルスとインフルエンザウイルスや免疫不全ウイルスなどの実ウイルスとの間には有意な差がある。子供たちにバラやヘビと遊ぶことを許可したとしても、ウイルスとのゲームをどのように防ぐかという問題に直面します。

これが私がバイオテクノロジーについて言いたかったことです。

ロジャー・ペンローズ

 

 

 

 

 

 

 

 

 

 

 

カバーの図は,「美しい幾何学」p.76-84,p84準結晶より引用

 
ロジャー・ペンローズは,ブラックホールの研究で2020年のノーベル物理学賞を受賞しました.

ここでは,ペンローズのタイリングと準結晶を話題にしましょう.
参考:Alexey Panov、Pyotr Panov "Kvantik" No. 9,2019,アーティストAnnaGorlach
No.7と No.8の記事は,すでに別項で取り上げましたので,そちらをご覧ください.

■ ロジャーペンローズの非周期モザイク

 

ロジャーペンローズ.
写真:Biswarup Ganguly,Wikimedia Commons; CC-BA-3.0

 

 

 

 

 

準結晶の発見に先んじて,数学者の準備はできていた.
1960年代に,数学者は新しいオブジェクト-非周期モザイク-を発見し,研究を始めました.
モザイクとは,平面を完全に埋め尽くすような多角形のタイルで作られたパターンのことです.
非周期モザイクは,どのような平行移動でも自分自身に重ね合わせできないものです.


非周期モザイクの中で最も有名なのはペンローズモザイクです.このようなモザイクの断片を図22に示します.
これは,いくつかのタイプのポリゴンを使い特定のルールに従って組み立て,平面全体を埋め尽くします.
これは,宇宙の調和に掲載されたケプラーによる絵(図23)とよく比較され ます.
ペンローズ自身は,「彼は私がやったことに近いことをしようとしましたが,うまくいかなかった」と述べています.
*)ケプラーのトリアコンタヘドロンは,現代の結晶学のシンボルの1つです.

 

 

図:22(左)ペンローズモザイクの断片.

図:23. 宇宙の調和から.

 

 

 

 

 

 

 

別のタイプの非周期なペンローズタイリングについてもう少し詳述します.
それらは2種類の菱形で構成されています(鋭角36°の 痩せたものと鋭角72°の太いものです).
そのうちの1つを図24に示します.もちろん,前号の記事の図18ほど対称的ではありません.
並進で自分自身と重ね合わせができず,回転対称軸もありません
[訳注:局所的な回転対称はありますが,全域的な回転対称はありません].
ただし,繰り返し五角形の星が表示され,72°= 360°/ 5回転するとそれぞれが重なります
[訳注:局所的な5回回転対称],さらに,これらの星は2つのクラスに分けられ(図25),
一方のクラスの星は別のクラスの星と36°= 360°/ 10の回転だけ異なります.

 

 

 

図:24. 鋭角36°および72°の菱形のモザイク

 

 

 

 

 

 

 

 

有限数の平行四辺形からなる各領域は,モザイク内で無限に繰り返し,36°回転したものも無限に繰り返します.

 

 

図:25. 異なる色の星は36°回転だけ異なります

 

 

 

 

 

 

 

 

 

ここで,ペンローズモザイクの物理的特性について少し説明します.
■ アラン・マッケイ:モザイクの回折

 

アランマッケイ.
写真:Julyan-cartwright、Wikimedia Commons; CC-BY-SA-3.0

 

 

 

 

 

 

 

 

 

Alan McKayは,標準的物理実験手法を非標準的数学オブジェクトであるペンローズモザイクに適用することを提案しました.モザイクの各頂点を小さな円[ドット]に置き換えたドットパターンを縮小し,ドット間の距離が光の波長程度にしました.このミニチュアにレーザー光を入射し,シェヒトマンの実験のように,回折パターンは10回対称となることを得ました*).マッケイの論文は,シェヒトマンが最初の実験を行った同じ1982年に発表されました.
シェヒトマンがマッケイのこの仕事について知っていれば,彼はそれを参照し,彼の業績の早期承認が得られたところですが,シェヒトマンは当時マッケイの発見に気付いていなかったと言います.
[*)訳注:このような標準的物理実験は,オプティカルトランスフォームといいます.
縮小されたドットパターンがらの回折像が得られます.
ドットパターンと回折像の関係は,互いに2次元のFourier変換の関係にありますが,
厳密に言うと得られる回折像は位相の情報が打ち消された振幅の絶対値2乗になります.
そのため,回折像の対称性には必ず対称心が生じます.
回折像の対称性は5回対称ではなく10回対称になります.]

■ トリアコンタヘドロン(菱形30面体)とヘキサコンタヘドロン(星型60面体)

 

ロジャーペンローズとロバートアンマン. 
写真:Ludwig Danzer; MarjorieSenechalの記事「アンマンの奇跡」より

 

 

 

 

ペンローズの非周期タイリングの3次元アナロジーがあります.
そのようなモザイクの1つが,RobertAmmannによって発見されました.
これらは,前号の記事の図16の下部に示されているものとまったく同じ,
細長い平らな2種類の菱形の平行線から組み立てられています.
五角形の星が2次元のペンローズモザイクでよく見られるのと同じように(図24および25),
菱形30面体(トリアコンタヘドロン)は,アンマンの非周期空間モザイクや,60面の菱形の六面体でよく見られます.
星型60面体(ヘキサコンタヘドロン)は,菱形の多面体のリストにはありませんが,これは12個の凹所がある非凸多面体であるためです(図26).

 

図:26. 黄金比菱形[訳注:対角線比が]から組み立てられた星型60面体(ヘキサコンタヘドロン)

 

 

 

 

 

 

その後,物理学者は菱形30面体(トリアコンタヘドロン)と星型60面体(ヘキサコンタヘドロン)の形で実際の準結晶構造を作ることができました.

最後に,ヘキサコンタヘドロンとペンローズのモザイクに関するいくつかの演習を行います.
• 60個の黄金比菱形を使用してヘキサコンタヘドロンを作りましょう.また,トリアコンタヘドロンと菱形のフェドロフイコサヘドロンの両方が,このヘキサコンタヘドロンの12個のキャビティすべてにきちんと収まっていることを確認してください.
• トリアコンタヘドロンとヘキサコンタヘドロンがアンマンのモザイクによく見られるという事実について話しました.実際,ヘキサコンタヘドロンは20個の細長い平行6面体で構成でき,トリアコンタヘドロンは10個の細長い平行6面体と10個の扁平平行6面体で構成できることを確認してください.
• ペンローズタイリングの十分に大きな部分では,痩せた菱形の数に対する太い菱形の数の比が黄金比φ= 1.618に近いことが証明されています.
図24を使用して,このステートメントを確認しましょう.
• ペンローズモザイクは,他のすべての多面体と同様に,菱形で構成されているためゾーン[訳注:晶帯]もあります.今回のゾーンは,無限に続く菱形のチェーンです.各菱形は、共通の側に隣接する2つがあり,これらの側は平行です.

 

 

 

 

タイルとHeesh数


 

 

 

 

 

 

 

 

 

 

 

 

 

 

Haydar Nurligareev "Kvantik"# 10,2019より.Alexey Weiner画

 

正3角形,正4角形,正6角形は,それぞれ無限に広い平面をタイル張りできます(図1).

1つのタイルを中心に置き,その周囲を同じタイルで[重ならず隙間も空けず]取り巻きます(レイヤー1).
次のその周りを取り巻きます(レイヤー2).何周取り巻けるかがHeesh数です.1周も取り負けなければHeesh数は0.
正3角形,正4角形,正5角形は,それぞれ平面のタイル張りができる(図1)ので,Heesh数はです.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(図1)

正5角形のタイルは平面タイル張りができません(図2).正5角形のHeesh数は0です.

 

 

 

 

 

 

 

 

 

(図2) 

ランダムに選択されたタイルにもHeesh数があり,通常は0またはのいずれかです.
Heesh数が1,2,3,...の多角形はありますか?
1968年にハインリッヒヒーシュHeeshがこの問題を定式化する前は,Heesh数が0か以外の既知のタイルは1つしかありませんでした(図3).このタイルは多角形でさえなく,1922年にWalterLitzmanの著書「AmusingandStrangeNumbersandShapes」に最初に登場しました.Heesh数は1です.

 

 

 

 

 

 

 

 

 

(図3)

Heesh自身が,Heesh数が1に等しい別のタイルを見つけました.これは,正方形,通常の三角形,および同じ三角形の半分で構成される5角形です(図4).

 

 

 

 

 

 

 

 

 

 

 

 

(図4)

Anne Fontaineは,1991年にHeesh数が2のタイルの最初の例を示し,そのようなタイルを無数に作成しました.それらはすべて同じ正方形で構成されています.つまり,それらはポリオミノ図形です(図5).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(図5)

同年,ロバート・アンマンは通常の6角形に2つの突起を追加し,同じ溝を3つ切り取り,Heesh数が3の図を作りました(図6).アンマンのアイデアはシンプルでエレガントです.突起と同じ溝があるタイルを探す必要がありますが,その数は異なります.

 

 

 

 

 

 

 

 

 

 

 

 

 

(図6)

2001年にCasey Mannによって発見されたタイルの例を使用して,このアイデアがどのように機能するかを示しましょう.これは,4つの突起と5つの溝を持つ4セルの長方形の形をしています(図7).そのようなタイルのHeesh数が大きすぎない理由を以下で述べましょう.タイルのコピーで完全に覆われた正方形Sを考えてみましょう.各溝は同じ突起でしか閉じることができないため,正方形Sの内側にある溝と突起の数は 同じです.一方,正方形内の突起の数は、その面積(セル内)にほぼ等しくなります-タイルの各セルには突起が1つだけあり,溝の数はその面積の5/4にほぼ等しいためです-タイルでは,4つの突起ごとに5つの溝があるためです.しかし,大きな正方形では,これらの数を等しくすることはできません.

 

 

 

 

 

(図7)

サイズ2n × 2nの正方形 Sをタイルで完全に覆います。これには少なくとも$$2n・2n/4=n^{2}$$のタイルが必要です.それらには合計$$5n^{2}$$の 溝があり,すべて埋める必要があります.一方,これらのスロットは$$2(n+4)×2(n+4)$$の正方形S 'の内側にあります(図8).したがって,$$2(n+5)2(n+5)$$個以下のセルからの突起で埋められます.したがって,突起の最大値は$$2(n+5)2(n+5)= 4n^{2} + 40 n +100$$です.n > 100の場合,不等式$$n^{2}>40n+100$$は確実に満たされ,$$5n^{2}>4n^{2}+ 40n+100$$,つまり,突起よりも多くの溝があります.矛盾-すべてのスロットを埋めることはできません.したがって、このタイルのHeesh数は有限です.実際には3に等しい(図9)が,これまでのところ,コンピューター検索によってのみ証明することができます.

 

 

 

 

 

 

 

 

 

 

 

 (図8)

フィギュアを研究するのに最も簡単なのは,ポリオミノ,ポリアマンド, ポリヘックスです.それらはまた,互いに隣接する同じ「セル」で構成されており,ポリアマンドではセルは通常の三角形で,ポリヘックスでは通常の六角形です.ポリオミノ,ポリアマンド,またはポリヘックスからタイリングするときは,「市松模様」の紙にレイアウトします(図1).このような紙なら,コンピュータ検索を整理するのは簡単です.これが,Casey Mannケーシー・マンがHeesh数3のポリアモンドを見つけた方法です(図10).

 

 

 

 

 

 

 

 

 

 

 

 


(図9)

また,ケーシー・マンはHeesh数が有限であるがゼロに等しくない,突起と溝を備えたいくつかの新しい一連のポリオミノとポリヘックスを何とか入手しました.これが,ケーシー・マンのポリヘックスで,5つの六角形(突起と溝付き)で構成されています-このHeesh数は5で(図11),今日人類に知られている最大の有限のHeesh数を持つタイルです.

(図10)

 

 

 

 

 

 

 

 

 

 

 

(図11)

 

 

 

 

 

帰無仮説(ヌル仮説)

 

 

 

 

 

 

 
 
レムデシベルが新型コロナ治療に有効であるのか/ないのかの議論があります.このような疑問に終止符を打つには,十分な統計的解析が行えるデータが必要です.偏見のある仮設に立って解析を始めてはなりません.統計的解析のスタート台は,帰無仮説(ヌル仮説)が鉄則です.これは,証拠がないので因果関係はないと見なすことです[推定無罪のようなもの].ただし,統計的結論がでた後でも,一つの症例が発見されただけでひっくり返る可能性があるのが,統計的結論というものです.これは結論に影響を与える非常に多くの要因があるからです.さらに,統計的結論を待っては手遅れになるという一面もあります.
統計的研究を行う際には,ヌル仮説に立ちます.そして,科学的実験あるいは臨床データに基づき,仮説の証明または反証を目指します.
ほとんどの場合,単一の「クリーンな」現象ではないため,結果の信頼性を保証するために測定を何度も繰り返す必要があります.したがって,得られたデータの統計的解析が必要になります.結果は多くの要因に依存するので,メインの要因とマイナーな要因を分離する必要があります.

たとえば,科学者が喫煙と肺がんの関連性を見つけたい場合,肺がんを患っている(または発症しなかった)喫煙者を1人見つけるだけでは不十分です.この科学者が喫煙と肺癌の間に関係があると主張できるようになるには,かなりの量のデータを収集して分析する必要があります.この種の研究では,ヌル仮説が重要な役割を果たします.ヌル仮説は,結果(あらゆる研究の最終目標)が存在しないという仮定です.喫煙と肺がんの関係を探る限り,そのような因果関係は存在しないというのがヌル仮説です.問題は,収集されたデータがこの主張を無効にするのにどのような意味で十分であるかということです.
実際は,喫煙と肺癌発生ではヌル仮説はずっと前に卒業しました.しかし,それを実証するための十分なデータがなかった頃は,これが単なる偶然の問題ではないということを証明できませんでした.大量のデータを得たので,ランダムな結果の可能性を最小限に抑えられ,ヌル仮説を卒業することができました.

ヌル仮説を卒業するためには,大量のデータを蓄積する必要がありました.科学者は「大きなサンプル」と言うでしょう.しかし,大きくなくても「質の良いサンプル」というものもあります.たとえば,ティコ・ブラーエの長年の正確な観測は,ケプラーの惑星運動の法則の発見につながりました.これは,ヌル仮説を拒否し,ケプラーの結果が正しいことを確認するのに十分でした.

病気とその疑わしい原因との間に相関関係があると主張する論文を読むときには,ヌル仮説を除外する前に,研究者が実際に十分な症例を調べたかどうかに注意してください.新型コロナの治療薬やワクチンに関しても同様です.

結晶空間群

結晶空間は周期的な世界です.周期的な空間を,対称性で分類すると,3次元では230種類の空間群になります.2次元では壁紙群とも呼ばれ17種類です.

注)群というのは,
集合の元elementの間に演算が定義されて,任意の2元間で演算を繰り返して生じる元も集合に属する集合で,
(有限集合の場合も無限集合の場合もあります)

群の演算定義を満たす代数系のことです.

例えば,2次元の周期は,2つの独立なベクトル$$a,b$$を与えて,$$na+mb$$(格子点の集合)で表現できます.ただし,$$n,m$$は整数.格子点の集合の対称性は並進群で記述されます.格子点は,無限可算個ですから,並進群は無限群です.

結晶点群は32個ですが,この中の単純群は1,2,3,4(mod2),-1,mで,1は例外,3以外は位数2です.

 

 工事中!

 

 

コンピュータで証明のステップは大丈夫か


数学は何処へ行くより2, 
Brian Davies, Notices of the American Mathematical Society, декабрь 2005, vol. 52, №11.

コンピュータプログラムを書いたことのある人は誰でも、最も単純で最も短いものでさえ、数学者とは異なり、間違いを許さないことをよく知っています。構文のわずかなエラーはコンパイラーによって認識され、そのようなプログラムの実行は即座に停止されます。コンパイラは2つの異なる変数に同じ名前を使用することをスキップしますが、プログラムの出力はほとんど意味がないため、このようなエラーに気付くことは困難です。多くの場合、数学的なエラーは、同様のタイプの単純な問題に対してプログラムを実行することによって検出されます。その解決策は事前にわかっています。この場合、問題の入力パラメーターを変更することで、モデルが予測どおりに動作することを確認できます。

標準ソフトウェアパッケージに含まれているユーティリティで発生する可能性のあるエラーと不正確さは、それらの重要性と発現の希少性のために、識別することははるかに困難です。それにもかかわらず、わずか数百行の長さのプログラムは、数学者の生活を信じられないほど楽にすることができ、プログラムをデバッグすることで最終的に正しく動作できることを示しています。長くて複雑なプログラムを使用すると、本当の問題が発生します。最近、すべての部門のコンピューターに誤ったソフトウェア更新がインストールされたため、英国政府の管理がほぼ1週間麻痺しました。

ソフトウェアの正確さの正式な検証は、応用数学論理の分野の専門家とビジネス担当者の両方の関心事です。特に、Windows XP[訳注)この論文は2005年]の信頼性の向上は、プログラムの機能の根底にある数学的アルゴリズムの正式な整合性チェックの数学的方法に基づく強力なソフトウェアの正確性分析ツールのおかげで達成されました。ただし、いくつかの点で、サイバネティクスと数学の問題は根本的に異なる面にあります。 Javaなどの一部のプログラミング言語の技術文書は、数百ページの長さになる可能性があります。これは、最も洗練された定理が必要とするよりもはるかに長いものです。ソフトウェアの「特異な」動作がバグなのか、プログラムの機能なのかを判断するのが難しい場合もあります。ハング(多くの場合、バッファオーバーフローが原因)は、間違いなくプログラマの欠陥です。たとえば、LATEXが、ユーザーの要求に応じず、何かをすることを拒否した場合、開発者がそのような機能を必要であるとは全く考えていなかったためで,明確なことを言うのはより困難です。一般に、大規模なソフトウェアパッケージの開発に不適切な技術仕様は、プログラマーによる技術仕様の不適切なパフォーマンスよりも、予測できない経済的影響を伴う壊滅的な障害を起こす原因です。


ソフトウェアの正しさの公式的証明により、一部のサイバーネティシストは厳密な数学に同じ方法を適用しようと試みましたが、現時点でこの分野の活動は明らかにうまく行っていません。以下の発言から、私が分析している分野では、正当性の公式的証明の実施に大きな困難が予見されていることがはっきりとわかります。他の分野では(たとえば、数学論理や代数で)価値のあるアプリケーションを見つけるかもしれませんが、これらの分野で働く専門家にこれを判断させてください。たとえこれらの詳細が重要でなくても、起こっていることの雰囲気を読者に伝えるために、ここで詳細を少しだけお話しましょう。数学的分析におけるほとんどすべての定理の証明は、外部の事実に基づいています。これらは読者が知っていることを意図しているため、通常は説明されません。例えば、ディリクレ境界条件を持つ有界ユークリッド領域でのラプラシアンのスペクトル分析に専念していると述べることから始めるなら、このトピックだけでもおそらく数百のモノグラフと数千の出版物があり、著者はそれらのほとんどに精通しているとして、この場合、著者は、読者が気付かない可能性のある、新しくてあまり知られていない論文のみを参照します。これは、そのような記事を読む人が、このジャンルの古典に精通している可能性が高いことを意味します。

この道筋に沿って多くの罠があり、時折それらに陥ります。数学的な分析では、同じ定理の複数のバージョンが存在することが多く、異なる初期の仮定に基づいて同様の結論が出されることを忘れがちです。モノグラフには、多くの場合、セクションまたは章の冒頭に、最初の仮定の単一の表示がされ、定理を使用して、その後、著者はどこにも仮定に言及しません。

多くの場合、証明のステップを正当化するとき、著者は元のソースを引用せずに、いくつかの古典的な結果を参照します。最近、私の学生の一人がマーサーの定理の誤適用を見つけました。マーサー自身の定式化は、1次元間隔でカーネルを使用して動作しますが、私はより一般的な定式化を使用し、説明はなしでした。学生が私のバージョンを立証するように私に依頼したとき、私が使用した解釈をカバーするのに十分な一般的な定理の主張を文献で見つけることができませんでした。半ダースの本をめくった後、私はこの証明を自分で書くことにしました。私のように、線形間隔の元の証明に精通している人なら誰でも、有限数の次元を持つケースにそれを拡張可能なことは明らかに見えます。しかし、一般的な形で定理を厳密に証明するのに4ページかかりました。私は、この場合に必要な結果の証明可能性が明らかであったため、重大な教育上の間違いを犯しませんでした。残ったのは、マーサーの証明のすべての論理ステップを1次元のケースから多次元のケースに丹念に転送することだけでした。結局、生徒は私の証明に満足しました。

専門家は、議論中の文脈に合うように古典的な定理を修正することが可能である場合、ほとんど本能的に「理解」します。どうやら、専門家を区別するのはこの能力です。時折、集まって、あらゆる領域の多かれ少なかれ完全な説明を含むモノグラフを書く力を持った数学者がいます。同僚は後で参照するものがあるので、これは大きな問題です。しかし、そのようなモノグラフは、作者が自発的または無意識に均質な文脈でそれを構築するため、実際の状況を歪めるだけである場合があり、そのようなモノグラフで与えられる多くの定理は、より弱い条件下でも当てはまります。