Biography

ジュリア・ボウマンの両親はラルフ・バワーズ・ボウマンとヘレン・ホールであった。 ジュリアは両親の二人の子供のうちの妹で、2歳年上の姉のコンスタンスがいた。 ラルフは工作機械の会社を経営し、ヘレンは結婚前まで小学校の教師をしていた。 しかし、ラルフは妻ヘレンの死後、事業に興味を失ったようだ。その理由の一つは、投資で家族を養うだけのお金を稼いだからだ。 ジュリアは2歳のときに母親を亡くし、妹のコンスタンスとともにアリゾナの砂漠にある4軒ほどのコミュニティで暮らすことになった。 ラルフは1年後にエデニア・クリデルボーと再婚し、このとき事業を引退、新妻とともに子供たちと一緒にアリゾナへ引っ越した
。 もちろん、アリゾナの砂漠の真ん中に学校はありませんから、ジュリアが5歳のとき（コンスタンスは7歳）、新しい母親エデニアは、子供たちを学校に通わせることができる場所に一家で永住することを主張しました。 一家が選んだサンディエゴのポイントローマは、50世帯ほどの小さな学校で、小学校も生徒数が少ないため、異年齢の子どもたちを同じ教室に集めていた。 そのため、ジュリアとコンスタンスは、他の方法では不可能なほど早く上達することができた。 1928年、ラルフとエデニアに娘のビリーが生まれ、ジュリアは姉と妹を持つことになりました。 9歳のときに猩紅熱で1年間学校を休んだため、ジュリアの学業は中断された。
猩紅熱はジュリアにとって非常に困難な時代の始まりだった。 家族全員が1ヶ月間隔離されたが、病気から回復した直後にジュリアは別の病気、つまりリューマチ熱に襲われた。 今度は看護婦の家に預けられ、1年間寝たきりの生活を送ったが、徐々に回復していった。 完全に健康を取り戻した時には、ジュリアは2年間学校を休んでいた。 一家はすでにポイントローマから引っ越していたので、ジュリアは友達から大きく遅れることなく学校を再開することができた。 しかし、病気は予想以上に長引き、新しい学校で2年分の遅れを取り戻すには時間がかかりすぎたようです。 家庭教師を雇い、週に3日朝から働いて、1年間で5年生、6年生、7年生、8年生の州の教科書を一通り勉強させたのです。 1932年から33年までセオドア・ルーズベルト中学校で過ごし、1933年にサンディエゴ高校に入学した。 1933年にサンディエゴ高校に入学し、最終学年になると数学のクラスでも物理のクラスでも女子は一人になっていた。 しかし、数学と理科で表彰され、ボシュロム社から理科の最優秀生徒に贈られるメダルを授与されるなど、非常に優秀な成績を収めた。 彼女の両親と教師は、すべての大学に行くことを期待したが、彼女の明白な数学の才能を開発するために、教師としての資格に向けた作業を超えて期待されていない
サンディエゴ高校を卒業後、彼女はサンディエゴ州立大学では、高校の教師になることを目的と数学を学ぶために入った。 1937年9月、ジュリアの父ラルフ・ボウマンが自殺するという悲劇に見舞われる。 1922年に退職した彼は、家族を養うための貯金があると確信していた。 しかし、1929年に世界恐慌が始まり、1937年には貯蓄が底をついてしまった。 一家は小さなアパートに移り住み、叔母の援助でジュリアとコンスタンスが大学に残れるように資金を用意した。 この時、ボウマンの数学の発展に最も大きな影響を与えたのは、大学の授業ではなく、ベルの『数学者たち』を読んだことであった。 彼女は：

本当の数学の唯一の考えは、数学の男性から来たと回想した。 … 私は完全に研究数学者との接触から私のような学生の知的生活の中で数学についてのこのような本の重要性を強調しすぎることはできません。

サンディエゴ州立大学で教えて数学のレベルには満足していない、ボウマンカリフォルニア大学バークレー校に転送し、1年後に彼女は学士号を授与されたその年の間に彼女はラファエルロビンソンの数論コースと彼の散歩に行き始め、これらの彼は彼女の非常に刺激的な発見より数学を教えてくれる。 ボウマンの仕事のアプリケーションに失敗すると、ネイマン少額のお金を見つけると、彼女は彼のアシスタントとしてバークレー校に滞在することができます。 1年後の1941年、彼女は修士号を授与され、彼女は公務員の仕事を拒否し、教育助手としてバークレー校に残りました。 ラファエルロビンソン1941年12月22日に結婚した後、彼女はもはや彼女の夫が数学のスタッフにいたので、数学科で教えることが許された。 彼女は不幸な統計は、規則によって許可された教えていたが、これにもかかわらず、彼女の最初の出版物正確なシーケンシャル分析のノート、バークレー校の統計研究室での指導から出た。 1946年、夫が客員教授をしていたプリンストン大学を訪れ、再び数学に取り組み、タルスキーの指導のもとで博士号を取得する。 彼女は書いている：

タルスキーは非常に刺激的な教師であった。 また、彼は常に問題に満ちていた。

彼女の論文Definability and decision problems in arithmetic Robinsonでは、有理数における整数の算術的定義を与えることによって、有理数の算術が決定不可能であることを証明した。 1948年に博士号を授与されたロビンソンは、同年、ヒルベルトの第10の問題、すなわちディオファントス方程式が解けるかどうかを決定する効果的な方法を見出すことに着手した。 マーティン・デイビス、ヒラリー・パットマンと共同で、ヒルベルトの第10の問題の解決に貢献する基本的な結果を与え、ロビンソン仮説として知られるようになった。 また、1970年にマチヤセビッチが完全な解を与えた後も、彼女はマチヤセビッチとともにこの問題で重要な仕事をした。 1975年、一般読者向けの論文に書かれたロビンソン自身の説明を引用しよう。

1900年、ヒルベルトはディオファントス方程式の解法を見つけるという問題を、今世紀の数学研究の主要課題となるべき23の問題の有名なリストの第10問として提起した。 1970 年、レニングラードの 22 歳の数学者ユーリ・マティヤセヴィッチは、そのような方法は存在しないことを示し、この問題を解決しました。 彼は可能な方法をすべてチェックすることはできませんでしたし、もしかしたらディオファントス方程式とは関係なさそうな非常に複雑な方法があったかもしれませんが、それでもうまくいったのです。 その答えは、1930年代に数人の数学者によって開発された「再帰性理論」という数学の一分野にある。 チャーチ、ゲーデル、クリーネ、アメリカのポスト、フランスのヘルブランド、イギリスのチューリング、ソ連のマルコフなどである。 その証明方法は、P(x,y,z,…,w)=0というディオファントス方程式があり、P=0のすべての解におけるすべてのxの値の集合は、複雑すぎてどんな方法でも計算できない、という事実に基づいている。 もし、あるaの値に対してP(a,y,z,…,w)=0が解を持つかどうかを知る方法があれば、aが集合Sに属するかどうかを計算する方法があるが、これは不可能である」

1949-50年に戻り、ロビンソンはその年をランド社でゲーム理論に取り組んだ。 その結果、1951年にAnnals of Mathematics誌にAn iterative method of solving a gameを発表し、有限の2人零和ゲームにおける各プレイヤーの解を近似する反復過程の収束を証明した。 この結果は、初等ゲーム理論における最も重要な定理とされている。
1950年代、ロビンソンは数学の研究を続けたが、政治にも関わるようになり、6年間ほど多くの時間を費やした。 ヒルベルトの第10問題以外にも、一般再帰関数に関する論文（1950年）、原始再帰関数に関する論文（1955年）、代数的環と場の決定不能に関する論文（1959年）、代数的環の決定問題に関する論文（1962年）で、代数的数の種々の場の整数の環が決定不能であることを明らかにしたことなど、重要な数学論文を書いた。 1971年、ブカレストで開催された学会で、ロビンソンはSolving diophantine equationsという講演を行い、ヒルベルトの第10の問題の否定解に続いて、ディオファントス方程式の研究を継続するためのアジェンダを設定することに成功した。 この講演で彼女は次のように述べた：

今、私たちは問題を逆転させるべきだと思う。 与えられたディオファントス方程式が解を持つかどうかを問うのではなく、「どの方程式に対して、既知の方法が答えを出すのか」を問うのです。

1980年に彼女はアメリカ数学会コロキアム講演で、計算可能性、ヒルベルトの第10問題、環と場の決定問題、算術の非標準モデルについて講演をしました。 彼女はコロキウム講演を行った2人目の女性であり、最初の女性は1927年のウィーラーであった。
ジュリア・ロビンソンは多くの栄誉を受けている。 1976年には女性として初めて全米科学アカデミーに選出され、同年、カリフォルニア大学バークレー校の教授に任命された。 1978年にはアメリカ科学振興協会に選出され、同年アメリカ数学会の女性初の役員、1982年には女性初の会長に就任した。 彼女は次のように書いている：-

会長としての仕事は大変なものでしたが、とても満足のいくものでした。

彼女は1980年にアメリカ数学会コロキアム講師、1982年に数学における女性協会エミー・ノーザー講師、1984年にアメリカ芸術科学アカデミーに選出されました。
レオン・ヘンキン (Leon Henkin) は、

彼女が一般的に採用している静かな礼儀正しさのスタイルは、彼女が話すときに、さまざまな明るい感情や強い感情を見分けることができる活発な精神の閃きとは対照的であった。 特に、経済的な機会であれ、数学的キャリアへのアクセス機会であれ、機会はすべての人に自由にアクセスできるべきであるという彼女の頑なな主張が強かった。

最後に、彼女がどのように記憶されたいかというロビンソン自身の言葉を引用して、この伝記を締めくくろう。 女性初のあれやこれやとして記憶されるよりも、数学者として、単に証明した定理や解決した問題で記憶されたいのです」ロビンソンの死の翌年、彼女の夫はバークレー校の数学の大学院生に奨学金を提供するジュリアBロビンソン奨学基金を設立した。 1995年1月にRaphael Robinsonが亡くなったとき、彼の財産のほとんどをこの基金に寄付した。