146461
1037066
2392889
%E7%94%B0%E4%B8%AD%E4%B8%80%E4%B9%8B
%E7%94%B0%E4%B8%AD%E4%B8%80%E4%B9%8B
%E7%94%B0%E4%B8%AD%E4%B8%80%E4%B9%8B
%E7%94%B0%E4%B8%AD%E4%B8%80%E4%B9%8B
%E7%94%B0%E4%B8%AD%E4%B8%80%E4%B9%8B
0
|
|
|
ネットワーク
|
タグ
キーワード
|
|
|
|
|
|
|
|
|
関連商品
|
|
|
|
つながりの強いひと
|
|
鈴木登志雄
大学の公開講座を一挙ご紹介。各校で開催中の大学公開講座を検索・資料請求・申込可能です。 はじめての方へ メールマガジン 掲載校一覧 お問い合わ... |
|
|
新井敏康
著者情報 新井 敏康 1958年生まれ。東京大学教養学部基礎科学科卒。筑波大学数学系大学院博士課程修了。理学博士。現在、千葉大学大学院理学研究科教授。専門... |
|
|
鹿島亮
氏名 鹿島 亮
よみがな カシマ リヨウ
職名 准教授
所属(本務) 大学院情報理工学研究科/数理・計算科学専攻
所属(協力)
生年月 1965年... |
|
|
結城浩
日坂水柯により漫画化されていて、2作目および3作目も春日旬、茉崎ミユキにより漫画化される予定である。またプロテスタントの信者として知られる。 |
|
|
山崎武
山崎武司‐選手名鑑‐ 東北楽天ゴールデンイーグルズが運営する山崎武司の紹介ページ。生年月日、出身地、身長/体重、血液型、球歴、家族構成、趣味、座右の銘... |
|
|
竹内外史
日本の数学者、論理学者。専門は数理論理学。石川県出身。東京大学理学部数学科卒業。東京教育大学教授、イリノイ大学教授を歴任。プリンストンでゲーデルに... |
|
|
田中尚
日本 の 教育者 。 目次 1 経歴 2 参考文献 3 関連 4 脚注 5 外部リンク [ 編集 ] 経歴 因幡国 邑美郡 吉方村(現在の 鳥取県 鳥取市 吉方温泉... |
|
|
戸田山和久
科学哲学を専門とする哲学者。現在、名古屋大学情報科学研究科教授。 |
|
|
砂田利一
日本の数学者。1972年東京工業大学理学部数学科卒。東京大学大学院修士課程修了。理学博士。名古屋大学教授、東京大学教授、東北大学教授を経て、現在は明治... |
|
|
高木貞治
日本を代表する数学者の一人。東京帝国大学教授。第1回フィールズ賞選考委員。 |
|
|
志賀浩二
HOME > 著者紹介
志賀 浩二 (しが こうじ)
1930年新潟市生まれ。1953年新潟大学理学部数学科卒業。1955年東京大学大学院数物系数学科修士... |
|
|
飯田隆
北海道札幌市出身の哲学者。現在、日本大学文理学部教授。言語哲学・分析哲学の分野における日本を代表する研究者の一人として知られる。主著である『言語哲... |
|
|
渕野昌
HOME > 著者紹介
渕野 昌 (ふちの さかえ)
1954年東京都生まれ。1977年早稲田大学理工学部化学科卒業。1979年早稲田大学理工学部数学科卒... |
|
|
坪井明人
坪井 明人著 税込価格:(本体 : ) bk1ポイント倶楽部 : 17 ポイント(1%進呈) 国内送料無料でお届けできます 出版 : 河合文化教育研究所 発売 : ... |
|
|
八杉満利子
[BOOK著者紹介情報] 八杉満利子 [ヤスギマリコ]
1937年、東京都生まれ。東京大学数物系大学院修士課程修了、同博士課程中退。米イリノイ大学大学院留学。筑... |
|
|
上野健爾
日本の数学者。1945年熊本県生まれ。1968年、東京大学理学部数学科卒業。四日市大学関孝和数学研究所長、日本数学協会会長、京都大学名誉教授。専門は複素多... |
|
|
黒川信重
黒川信重(くろかわのぶしげ、1952年-)は日本の数学者。栃木県生まれ。栃木県立宇都宮高校出身。東京工業大学理学部数学科卒業。同大学院修士課程修了。理学... |
|
|
包丁
食材を切断または加工するための刃物で、調理器具の一種である。元の用字は庖丁。 |
|
|
深谷賢治
最初のころは大域リーマン幾何学(空間の「曲がり方」を調べる分野)、その後、ゲージ理論(数学的側面は近年位相幾何学にも応用されている)も研究し、現在... |
|
|
鈴木一
名前 鈴木 一 設計事務所 プラスワン一級建築士事務所 住所 〒187-0002 東京都小平市花小金井 5-430-11 URL http://homepage3.nifty.com/plusone-arch... |
|
|
プロフィール
田中一之(たなかかずゆき、1955年-)は、日本の数学者、論理学者。東京都生まれ。東北大学大学院理学研究科数学専攻教授。専門は数学基礎論。とくに逆数学や不完全性定理の研究者として国際的に知られる。師は、パリス・ハーリントンの独立命題で有名なカリフォルニア大学バークレー校のハーリントン教授。逆数学プログラムの推進者シンプソン教授(ペンシルバニア州立大学)とも親しい。
著書
| 『ゲーデルと20世紀の論理学』(全4巻)(編著、東京大学出版会、2006-2007)。 |
| 『数学のロジックと集合論』(共著、培風館、2003)。 |
| 『数の体系と超準モデル』(裳華房、2002)。 |
| 『基礎課程線形代数学』(共著、培風館、1998)。 |
| 『逆数学と2階算術』(河合文化教育研究所、1997)。 |
| 『数学基礎論講義—不完全性定理とその発展』(編著、日本評論社、1997)。 |
訳書
| フランセーン『ゲーデルの定理——利用と誤用の不完全ガイド』(みすず書房、2011)。 |
| ジャキント『確かさを求めて—数学の基礎についての哲学論考』(監訳,培風館、2007)。 |
| マックレーン他『数学の基礎をめぐる論争—21世紀の数学と数学基礎論のあるべき姿を考える』(編訳、シュプリンガー・フェアラーク東京、1999)。 |
| フィッティング『計算理論と論理プログラミング』(共訳、丸善、1989)。 |
|
投票数
0
| ふりがな |
|
| 性別 |
|
| 出身地 |
|
| 生年月日 |
|
| 血液型 |
|
| 職業 |
|
| 所属 |
|
| Twitter |
|
|
|
|
田中一之さんについてのひとこと紹介
|
|
|
|