都会の山分け

チャールズアイバーズKalmeは（1939年11月 15日 - 2002年3月20日）は[1]は、アメリカンインターナショナルマスターチェスチェスで認識され、世界チェス連盟と、数学者。

Kalmeはリガで生まれ、ラトビア11月15日、 1939年。二次世界大戦、Kalmeと彼の家族の残っていたの結論では、年間ドイツの避難者のキャンプに住み、最後にフィラデルフィアに米国で1951年に到着したラトビア逃げた。

Kalmeの両方1954年、1955年に米国のジュニアチェス選手権を獲得した。 1960年、彼は米国チームに世界学生チーム選手権でレニングラード、ソ連で演奏。米国チームが世界選手権を、米国はこれまで、イベントを獲得した時間だけ獲得した。 Kalmeは、2つの金メダルを、1つのチームと他のボードの2つの彼の個々の結果を獲得した。 Kalmeまた、米国2チームでのプレーでこのレベルの詳細：ヘルシンキ、1961年からクラクフ1964年表されます。彼は2回、米国チェス選手権に出場：1958年から 1959年と1960年から1961年。

Kalmeも契約橋のマスターとなった。彼は時々プレイマイケルローレンス、世界チャンピオンの橋チームのメンバーだったのパートナー、ダラスエース。

更新 2010年6月1日 09:04:32

エーリッヒKamkeは、（1890年8月18日は - 1961年9月28日）微分方程式の理論に特化したドイツの数学者だった。また、集合論に彼の本は、フィールドに標準的な導入となった。
[は]バイオグラフィーを編集する

Kamkeはマルボルク、ポーランドで生まれた。

シュテッティンの学校に出席した後、Kamkeは数学を学び、1909年から大学ギーセンでとゲッティンゲン大学physcicd。彼は一次世界大戦の信号力のボランティアされた 1919年に、彼はドラHeimowitchは、ユダヤ人の実業家の娘と結婚した。彼は1919年にゲッティンゲン大学で博士号を取得。 1920 1926年の間に教育は、彼はミュンスター大学1922年に彼の療育を取得中。彼はテュービンゲン大学の1926年に教授に任命された。

彼の結婚と国家社会主義に反対のため、彼は仲間の数学者エーリッヒSchönhardt、最終的に1937年に引退を余儀なくさで非難された[1]。

二次世界大戦後、彼はテュービンゲン大学の教授として、再任され、秋に1946年にテュービンゲンで数学会議の組織に尽力され、戦後ドイツで最初の科学会議。 1948年、彼は、再、ドイツ数学協会を設立し、会長が、1952年、彼は国際数学連合、彼は1954年まで続いたの副社長に就任するまでだった。

更新 2010年6月1日 09:04:10

エグバートルドルフヴァンカンペンは（1908年5月28日、Berchem、ベルギー - 1942年2月11日、メリーランド州ボルチモア）の数学者。彼は基本的なグループの研究特にトポロジに重要な貢献をした。

ブァンカンペンは博士号を取得1929年にライデン大学を卒業。彼の論文は、 kombinatorische Topologieダイを受ける、ウィレムファンデルWoudeの指導の下に書かれたダイDualitaetssaetzeのund。

1931ヴァンカンペンでヨーロッパを離れ、米国に彼はジョンズホプキンス大学メリーランド州ボルチモアので提供されていた位置を取ることを旅した。彼はオスカーザリスキをジョンズホプキンス大学ジョンストン奨学生としてで1927まで1929年から、彼が学部参加していた教えていた会った。ザリスキは代数曲線の補体の基本的なグループに働いていた、と彼は基本的なグループの発電機との関係を発見したが、彼はグループのプレゼンテーションをするのに十分な関係を発見した見ることができませんでした。バンカンペンは、そのザリスキの関係は十分なされた表示し、その結果、現在ザリスキバンカンペンの定理として知られている問題を解決しました。これは、ファンカンペンを策定し、どのような

更新 2010年6月1日 09:03:27

ブダペストで博士号を完了すると、彼は大学セゲドの位置を取り上げた。その大学はほとんどがスタッフの元大学コロジヴァール前に、主要なハンガリーの大学から構成された一次世界大戦戦争ルーマニアの後に自分自身を発見した。コロジヴァールはクルージュ改名された。ハンガリー大学はセゲドに1920年に、あるところは、以前は大学をしていた移動。ハールの選任及びリースは、数学の主要な研究センターにセゲドなった。カルマルはハールとリースに研究助手としての彼のキャリアを始めた。カルマルは、1947年にセゲドで教授に任命された。彼は基礎数学とコンピュータサイエンスのためのセゲドの椅子の就任者だった。彼はまた、研究グループ数理論理とオートマトン理論のセゲドのサイバネティック研究所を設立した。

数学的論理学では、カルマルは、最初の注文の数式の特定のクラスは、述語論理は決定可能であることを証明。 1936年、彼は長期の再帰的な定義が十分なされた場合は、述語論理は、単一のバイナリ述語を使用して、定式化できることが明らか。 （一般的にクワインの1954年論文に起因するこの結果があります。）彼は原始再帰的算術は、通常の種類の異なる原始的な機能に基づいて小学校再帰的演算として知られるの代替形式を発見した。彼はコンピュータとハンガリーでコンピュータ科学を推進するため全力を尽くした。彼は理論計算機科学、プログラミング言語、自動エラー訂正、コンピュータの非数値計算アプリケーションなど、書き込みのコンピュータ科学と数学的論理学の間の接続。

更新 2010年6月1日 09:02:58