数学的証明の終わりを示すために使用される墓石記号は、ポール・ハルモス（Paul Halmos）の永続的な影響の証として、しばしば「ハルモス」と呼ばれます。1916年にブダペストで生まれたこのハンガリー系アメリカ人の数学者は、代数学、関数解析学、集合論への厳密なアプローチで名声を博し、同時に数学的概念が将来の学者の世代にどのように伝えられるかを形作りました。
学術的形成と初期の仕事
13歳でアメリカに移住した後、ハルモスはリンカーン・パーク高校に通い、その後イリノイ大学アーバナ・シャンペーン校に入学しました。彼は3年で学位を取得し、当初は哲学を専攻していましたが、後に数学に転向しました。ジョセフ・L・ドゥーブの指導の下、1938年に博士論文『Invariants of Certain Stochastic Transformations: The Mathematical Theory of Gambling Systems』を完成させました。その後すぐに高等研究所に移り、ジョン・フォン・ノイマンとの共同研究が彼の初期の専門的発展に大きな影響を与えました。
数学的貢献と解説
ハルモスは、独創的な研究と解説者としての明晰さの両方で認められていました。1962年の著書『Algebraic Logic』では、一階述語論理のバージョンとして多項代数を導入しました。1960年のテキスト『Naive Set Theory』は、この分野への注目すべき貢献として残っています。彼は数学を機械的なプロセスではなく創造的な芸術として見ることを強く主張しました。キャリアを通じて、彼は「必要十分条件」を表す一般的な数学的記法である「iff」を導入し、証明の結論を区切るために墓石記号の使用を正式化しました。
専門職としての任期と評価
彼のキャリアは、シラキュース大学、シカゴ大学、ミシガン大学、ハワイ大学システムなど、数多くの機関に及びました。その後、カリフォルニア大学サンタバーバラ校やサンタクララ大学で職に就き、1985年から2006年に亡くなるまで務めました。生涯を通じて、1947年にショーヴネ賞、1983年にルロイ・P・スティール賞、そして複数のポール・R・ハルモス・レスター・R・フォード賞を受賞しました。1985年の著書『I Want to Be a Mathematician』は、20世紀アメリカでの彼の学術生活を詳述した数学的自伝として機能しています。
基本情報
- 生年月日: 1916年、ブダペスト - 没年月日: 2006年、ロスガトス - 国籍: ハンガリー、アメリカ合衆国 - 注目すべき著書: 『Naive Set Theory』 - 学歴: イリノイ大学アーバナ・シャンペーン校 - 1983年の受賞: ジョージ・ポリヤ賞、ルロイ・P・スティール賞
読者からの質問
### 墓石記号の起源は何ですか？
ポール・ハルモスは、証明の終わりを示すために墓石記号（現在はハルモスと呼ばれることもある）を使用した最初の数学者であるとされています。
### ハルモスが「数学的自伝」と言った意味は何ですか？
彼はこの用語を使って1985年の回想録を説明しました。なぜなら、その物語は個人の歴史ではなく、数学者としての彼の職業生活にほぼ専念しているからです。
.jpg)