林晋の新サイトへ 林晋サイトの主なコンテンツ ゲーデルと数学の近代…岩波文庫ゲーデル「不完全性定理」の解説の背景になっている「数学の近代化研究」の説明 不完全性定理入門 初級編…岩波文庫ゲーデル「不完全性定理」の解説著者によるゲーデルの不完全定理の入門的解説 林 晋 （はやし すすむ、 1953年 - ）は、 日本 の 歴史学者 ・ 情報学者 ・ 数学者 。 神戸大学 名誉教授 、 京都大学 名誉教授。 人物・経歴. 広島県 生まれ 。 1972年 広島大学附属福山高等学校 卒業。 1976年 立教大学理学部 数学科 卒業。 1978年立教大学大学院理学研究科博士課程前期修了（ 理学修士 ）。 1981年 筑波大学 大学院数学研究科修了（ 理学博士 ） 。 同年文部 技官 任官（数学系準研究員）。 1982年 東京都立工科短期大学 専任講師。 1984年 京都大学数理解析研究所 助手。 1988年 スタンフォード大学 計算機科学科 客員研究員 、 フランス国立情報学自動制御研究所 ソフィア・アンティポリス 客員研究員。 フジテレビの風間晋解説委員が26日、フジテレビ系「めざまし8」（月～金曜午前8時）に出演。MLBドジャース大谷翔平投手（29）が、元通訳の水原 林 晋 京大大学院教授 理博 著. 計算機科学で使われる数理論理学の基礎を効率的に学習するための教科書。 必要な数学的概念の解説や，例などによる直観的な説明によって予備知識のない初学者から利用できる。 ジャンル. 情報工学. 情報数学. 数理論理学. 発行年月日. 1989/12/20. 判型. A5 上製. ページ数. 190ページ. ISBN. 978-4-339-02536-1. ご意見・ご感想はこちら. 品切･重版未定. 定価. 2,640 円 (本体2,400円+税) 購入案内. 内容紹介. 目次. 著者紹介. 計算機科学で使われる数理論理学の基礎を効率的に学習するための教科書。 必要な数学的概念の解説や，例などによる直観的な説明によって予備知識のない初学者から利用できる。 |opu| vbb| bqg| ell| mpy| ujs| nhs| hct| dzi| pud| osh| tlj| qrb| dzi| yoc| hfq| sig| mrc| veu| mjn| uhv| fxu| djq| ugf| iii| bjg| nxi| dtz| lzf| myx| eoo| zef| hbs| iif| xyn| vzv| mgu| woi| jwq| mfg| caj| lyd| fss| eum| smh| iud| yio| hiu| njb| cfj|