ブラウザよりも高速アクセス！
59 関係: 少佐、マディソン (ウィスコンシン州)、ハートフォード (コネチカット州)、ラムダ計算、ライツェン・エヒベルトゥス・ヤン・ブラウワー、ワシントンD.C.、プリンストン大学、プリンストン高等研究所、ニューヨーク、アマースト大学、アメリカ合衆国、アメリカ国家科学賞、アメリカ海軍、アラン・チューリング、アロンゾ・チャーチ、ウィスコンシン大学、ウィスコンシン大学マディソン校、ウィスコンシン州、エミール・ポスト、クリーネの再帰定理、クリーネ閉包、クルト・ゲーデル、コネチカット州、スティール賞、ソーンダース・マックレーン、再帰理論、国際音声記号、第二次世界大戦、環境、環境問題、計算機科学、自然、Mathematics Genealogy Project、Smn定理、正規表現、数学、数学的直観主義、数学者、数理論理学、1909年、1930年、1935年、1937年、1939年、1940年、1941年、1946年、1948年、1956年、1958年、...、1961年、1962年、1964年、1969年、1974年、1979年、1994年、1月25日、1月5日。 インデックスを展開 (9 もっと) »
少佐
少佐（しょうさ）は軍隊の階級の一。佐官に区分され、中佐の下、大尉の上に位置する。北大西洋条約機構の階級符号では、OF-3に相当する。 アメリカ軍を始めとして主要国の軍隊では、大尉から少佐に昇進する時に特別な専門教育を受ける。これは少佐以上の階級の軍人は、一つの作戦単位の指揮官となることを求められるからである。そのため能力の不十分な大尉は、少佐に昇進することができないまま除隊することが多い。士官にとっては、一つの出世の壁と言っても良い。 企業に例えれば「副部長クラス」に相当し、将来的な幹部候補として出世コースに歩むことになる。経営陣（上官）の下につき、現場での直接指揮をする役割を担う。つまり、個人での能力以外に、「現場での集団への指揮能力」を認められた者に与えられる役職であると言える。.
新しい！!: スティーヴン・コール・クリーネと少佐 · 続きを見る »
マディソン (ウィスコンシン州)
マディソン（Madison）は、アメリカ合衆国ウィスコンシン州中南部に位置する都市。同州の州都であり、またウィスコンシン大学の本部キャンパスであるマディソン校を抱える学術都市でもある。人口は233,209人（2010年国勢調査）.
新しい！!: スティーヴン・コール・クリーネとマディソン (ウィスコンシン州) · 続きを見る »
ハートフォード (コネチカット州)
ハートフォード (Hartford) はアメリカ東海岸、コネチカット州の中央部に位置する都市で、州都。人口は124,600人（2004年）だが、都市圏人口は約120万人に上る。これは全米で45番目の規模である。 1636年にマサチューセッツ州から移住してきた開拓者がオランダとの交易拠点として集落を形成した。後に河港の貿易拠点として発展し、同州の工業、経済の中枢として発展してきたが、一時はブリッジポートなど沿岸部の都市に追い越されており、市民の平均所得は全米で2番目に低かった。一方、今日では『保険の首都』という異名を持つほど、保険業の多くが拠点を構えている（フォーチュン500社にランクインする保険業者数が最も多いのもこのハートフォードであり、ニューヨークを凌ぐ）など、保険産業が同市の経済を支えている。また、トリニティ大学やハートフォード大学などがある学術都市でもある。.
新しい！!: スティーヴン・コール・クリーネとハートフォード (コネチカット州) · 続きを見る »
ラムダ計算
ラムダ計算（ラムダけいさん、lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（evaluation）と適用（application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。 ラムダ計算は1つの変換規則（変数置換）と1つの関数定義規則のみを持つ、最小の（ユニバーサルな）プログラミング言語であるということもできる。ここでいう「ユニバーサルな」とは、全ての計算可能な関数が表現でき正しく評価されるという意味である。これは、ラムダ計算がチューリングマシンと等価な数理モデルであることを意味している。チューリングマシンがハードウェア的なモデル化であるのに対し、ラムダ計算はよりソフトウェア的なアプローチをとっている。 この記事ではチャーチが提唱した元来のいわゆる「型無しラムダ計算」について述べている。その後これを元にして「型付きラムダ計算」という体系も提唱されている。.
新しい！!: スティーヴン・コール・クリーネとラムダ計算 · 続きを見る »
ライツェン・エヒベルトゥス・ヤン・ブラウワー
ライツェン・エヒベルトゥス・ヤン・ブラウワー（Luitzen Egbertus Jan Brouwer、1881年2月27日 - 1966年12月2日）はオランダの数学者。ブラウエル、ブローウェルなどとも表記される。トポロジーにおいて不動点定理をはじめとする多大な業績を残し、また数学基礎論においては直観主義数学の創始者として知られる。.
新しい！!: スティーヴン・コール・クリーネとライツェン・エヒベルトゥス・ヤン・ブラウワー · 続きを見る »
ワシントンD.C.
ワシントンD.C.（ワシントン・ディーシー、Washington, D.C.）は、アメリカ合衆国の首都である。同国東海岸、メリーランド州とヴァージニア州に挟まれたポトマック川河畔に位置する。現代の主要都市としては狭隘で人口もさほど多くないが、超大国の政府所在地として国際的に強大な政治的影響力を保持する世界都市であり、また金融センターとしても高い重要性を持つ。首都としての機能を果たすべく設計された、計画都市である同様な計画都市としては満州国の新京、オーストラリアのキャンベラ、ブラジルのブラジリア（共に首都）がある。。.
新しい！!: スティーヴン・コール・クリーネとワシントンD.C. · 続きを見る »
プリンストン大学
プリンストン大学（英語: Princeton University）は、アメリカ合衆国ニュージャージー州プリンストンに本部を置くアメリカ合衆国の私立大学である。1746年に設置された。 学生数は学部生約4800名、大学院生約2000名である。アイビー・リーグ（Ivy League）の大学8校のうちの1校であることや、2名の大統領を輩出していること、アメリカ全土で8番目に古いことなどで有名な大学である。41人のノーベル賞受賞者、14人のフィールズ賞受賞者、5人のアーベル賞受賞者、10人のチューリング賞受賞者、209人のローズ奨学生、126人のを輩出している。2016年度の受験サイクルでは全受験者の6.5%が入学を許可された。.
新しい！!: スティーヴン・コール・クリーネとプリンストン大学 · 続きを見る »
プリンストン高等研究所
プリンストン高等研究所（プリンストンこうとうけんきゅうじょ、Institute for Advanced Study）は、アメリカ合衆国ニュージャージー州プリンストン市にある研究所。自然科学、数学、社会科学、歴史学の四部門を持ち、世界でももっとも優れた学術研究機関の一つとされる。 中核となるのは27名の教授陣。いずれも最高レベルの研究者であるが、特に物理学と数学の研究が有名である。なお「教授」とはいうものの、原則として授業負担はなく、各自の研究を進めることに加え、毎年世界各地から招聘される約190名の研究者を選抜することが主な職務である。 正式名称は「高等研究所」(Institute for Advanced Study)だが、類似の名称の研究所は内外に数多くあるため、日本では「プリンストン高等研究所」と呼ばれることが多い。プリンストン大学とは直接の関係はないが、同大学など近隣の大学とは密接な協力関係にあり、特にプリンストン大学は高等研究所の草創期に、研究者に対しオフィスを提供するなどしていた。.
新しい！!: スティーヴン・コール・クリーネとプリンストン高等研究所 · 続きを見る »
ニューヨーク
ニューヨーク市（New York City）は、アメリカ合衆国ニューヨーク州にある都市。 1790年以来、同国最大の都市であり、市域人口は800万人を超え、都市圏人口では定義にもよるが2000万人以上である.
新しい！!: スティーヴン・コール・クリーネとニューヨーク · 続きを見る »
アマースト大学
1875年ころのアマースト大学キャンパ.
新しい！!: スティーヴン・コール・クリーネとアマースト大学 · 続きを見る »
アメリカ合衆国
アメリカ合衆国（アメリカがっしゅうこく、）、通称アメリカ、米国（べいこく）は、50の州および連邦区から成る連邦共和国である。アメリカ本土の48州およびワシントンD.C.は、カナダとメキシコの間の北アメリカ中央に位置する。アラスカ州は北アメリカ北西部の角に位置し、東ではカナダと、西ではベーリング海峡をはさんでロシアと国境を接している。ハワイ州は中部太平洋における島嶼群である。同国は、太平洋およびカリブに5つの有人の海外領土および9つの無人の海外領土を有する。985万平方キロメートル (km2) の総面積は世界第3位または第4位、3億1千7百万人の人口は世界第3位である。同国は世界で最も民族的に多様かつ多文化な国の1つであり、これは多くの国からの大規模な移住の産物とされているAdams, J.Q.;Strother-Adams, Pearlie (2001).
新しい！!: スティーヴン・コール・クリーネとアメリカ合衆国 · 続きを見る »
アメリカ国家科学賞
アメリカ国家科学賞（あめりかこっかかがくしょう、National Medal of ScienceまたはPresidential Medal of Science）は、アメリカ合衆国大統領によって、科学や工学の世界において、その貢献が認められたアメリカ市民に送られる勲章・メダルである。対象となる主な学術分野は、行動科学、社会科学、生物学、化学、工学、数学、物理学に及ぶ。 その選考作業はアメリカ国立科学財団（NSF）が責務を持っている。.
新しい！!: スティーヴン・コール・クリーネとアメリカ国家科学賞 · 続きを見る »
アメリカ海軍
アメリカ海軍（アメリカかいぐん、United States Navy、略称：USN）は、アメリカ合衆国が保有する海軍である。.
新しい！!: スティーヴン・コール・クリーネとアメリカ海軍 · 続きを見る »
アラン・チューリング
アラン・マシスン・チューリング（Alan Mathieson Turing、〔テュァリング〕, 1912年6月23日 - 1954年6月7日）はイギリスの数学者、論理学者、暗号解読者、コンピュータ科学者。.
新しい！!: スティーヴン・コール・クリーネとアラン・チューリング · 続きを見る »
アロンゾ・チャーチ
アロンゾ・チャーチ（Alonzo Church, 1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者。ラムダ計算の創案者、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。.
新しい！!: スティーヴン・コール・クリーネとアロンゾ・チャーチ · 続きを見る »
ウィスコンシン大学
ウィスコンシン大学（ウィスコンシンだいがく）は、アメリカ合衆国の高等教育機関（州立大学）。公立の名門大学群とされるパブリック・アイビーのひとつ。.
新しい！!: スティーヴン・コール・クリーネとウィスコンシン大学 · 続きを見る »
ウィスコンシン大学マディソン校
ウィスコンシン大学マディソン校はウィスコンシン大学システムの中核校（本校）であり、20以上の学部を擁する総合大学である。一般的に「ウィスコンシン大学」という場合、マディソン校（本校）を指す。米国の州立大学の中では難関校として知られ、特に、工学、化学、物理学、社会学、政治学、経済学などの分野においては、Gorman Report などの専門調査機関における評価が高い。 同大学は、「パブリック・アイビー」と呼ばれ、ウィスコンシン州屈指の研究機関として高く評価されている。博士課程まで進む学生が多く、大学パフォーマンス評価センター（Center for Measuring University Performance）の2006年調査によれば、博士授与者（Ph.D.）の人数は全米6位である。卒業生、教員、研究者には、ノーベル賞受賞者21名を擁する。 体育会は全米大学体育協会（NCAA）1部リーグ（Division I）の「ビッグ・テン・カンファレンス」に加盟しており、数多くのスポーツ分野で全米チャンピオンになっている。.
新しい！!: スティーヴン・コール・クリーネとウィスコンシン大学マディソン校 · 続きを見る »
ウィスコンシン州
ウィスコンシン州（State of Wisconsin ）は、アメリカ合衆国の中西部の最北に位置する州である。五大湖地域にも含まれる。合衆国50州の中で、陸地面積では第23位、人口では第20位である。前身のウィスコンシン準州から1848年5月29日に合衆国30番目の州に昇格した。東側はミシガン湖に、北東はミシガン州に、西側はミネソタ州とアイオワ州に、南側はイリノイ州に、北側はスペリオル湖に接している。州都はマディソン市、人口最大の都市はミルウォーキー市である。 愛称は「Dairy Country(酪農の国)」または「The Badger State（あなぐま州）」。アメリカアナグマ(バジャー)は州のシンボルでもあり、19世紀前半、ウィスコンシン州が国内の鉛の半分以上を産出した鉛ラッシュ時代に、鉛鉱山で働く鉱夫とその家族が地上に住居が完成するまで坑道に住んだことから「アナグマ」と呼ばれたことが元になっている。.
新しい！!: スティーヴン・コール・クリーネとウィスコンシン州 · 続きを見る »
エミール・ポスト
ミール・レオン・ポスト（Emil Leon Post、1897年2月11日 - 1954年4月21日）は、アメリカ合衆国の数学者、論理学者。.
新しい！!: スティーヴン・コール・クリーネとエミール・ポスト · 続きを見る »
クリーネの再帰定理
リーネの再帰定理（クリーネのさいきていり、）は再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用いて記述することができる。この定理は1938年にスティーブン・コール・クリーネによって最初に証明された。1952年の彼の著作 Introduction to Metamathematics において見られる。 2つの再帰定理は幾つかの計算可能関数の不動点の構成に利用できる。例えばクワインの生成や関数の帰納的定義などである。任意の再帰的関数の不動点構成への応用はロジャースの定理として知られる。これは (Rogers, 1967) による。.
新しい！!: スティーヴン・コール・クリーネとクリーネの再帰定理 · 続きを見る »
クリーネ閉包
リーネ閉包（くりーねへいほう、Kleene closure）は、形式言語とオートマトンの理論において、ある演算の繰り返しが「生成」するシンボルないし文字の列（文字列）の集合である。また、この繰り返しの単項演算子をクリーネスター（Kleene star）という。 集合 V に対するクリーネ閉包の適用は、V* と表す。スティーヴン・コール・クリーネがある種のオートマトンを特徴付けるために導入した方法である、正規表現でよく用いられる。.
新しい！!: スティーヴン・コール・クリーネとクリーネ閉包 · 続きを見る »
クルト・ゲーデル
ルト・ゲーデル（Kurt Gödel, 1906年4月28日 - 1978年1月14日）は、オーストリア・ハンガリー二重帝国（現チェコ）のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。.
新しい！!: スティーヴン・コール・クリーネとクルト・ゲーデル · 続きを見る »
コネチカット州
ネチカット州（State of Connecticut、, ）は、アメリカ合衆国北東部にあるニューイングランド地方では最南の州である。州の北はマサチューセッツ州に接し、東はロードアイランド州に、西はニューヨーク州、南は大西洋に続くロングアイランド湾に接している。イギリスから最初に独立した13州のうちの一つである。日本語ではコネティカット州と書く場合もある。.
新しい！!: スティーヴン・コール・クリーネとコネチカット州 · 続きを見る »
スティール賞
リロイ・スティール賞 (Leroy P. Steele Prizes) は、アメリカ数学会から贈られる数学の学術賞。 「スティール賞」と略して呼ばれることが多い。1970年に創設され、1993年以降は「生涯の業績部門」「研究論文部門」「独創的研究部門」の3部門が設けられるようになった。受賞者は、原則として国籍と関係がないが、米国において活動しており、英語による研究業績が求められる。 現在の賞金は「生涯の業績部門」が10,000米ドル、「研究論文部門」と「独創的研究部門」が5,000米ドル。リロイ・スティールの遺産を基金としている。.
新しい！!: スティーヴン・コール・クリーネとスティール賞 · 続きを見る »
ソーンダース・マックレーン
ーンダース・マックレーン ソーンダース・マックレーン（Saunders Mac Lane, 1909年8月4日 - 2005年4月14日）はアメリカの数学者。 コネチカット州タフトヴィル生まれ。ゲッティンゲン大学にてパウル・ベルナイスに師事し、1934年に博士号を取得。1947年シカゴ大学教授に就任し、1982年同大学名誉教授。また、アメリカ数学協会会長（1951年-1952年）、アメリカ数学会会長（1973年-1974年）を歴任した。2005年、サンフランシスコにて没。 サミュエル・アイレンベルグと共に圏論を創設したことで知られる。自ら著した“Categories for the Working Mathematician”（日本語訳タイトル『圏論の基礎』）は圏論に関する基礎的なテキストとなっている。.
新しい！!: スティーヴン・コール・クリーネとソーンダース・マックレーン · 続きを見る »
再帰理論
再帰理論（さいきりろん、Recursion theory）は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。発展の過程で、この分野は計算可能性や定義可能性全般を対象に含むようになった。これらの領域においては、再帰理論は証明論や effective 記述集合論(en)とも密接に関係する。 再帰理論の根本的疑問は「自然数から自然数への関数が計算可能であるとはどういう意味か?」と、「計算不能関数は、その計算不能性のレベルに基づいて階層分けできるか?」である。これらの疑問への答えを探す過程で豊かな理論が生まれ、現在でも活発な研究が行われている。 数理論理学における再帰理論の研究者がよく扱うのは、この記事で触れる相対的な計算可能性、還元性の概念、次数構造などである。これらは、計算機科学における計算可能性理論が、計算複雑性理論、形式手法、形式言語などを主な研究対象とすることと対照を成す。これら二つの研究コミュニティには知識と手法の面で重なる部分が多々あり、はっきりした境界を引くことは出来ない。.
新しい！!: スティーヴン・コール・クリーネと再帰理論 · 続きを見る »
国際音声記号
国際音声記号 （こくさいおんせいきごう、Alphabet phonétique international (API), International Phonetic Alphabet (IPA)::aɪphiːeɪ:） は、あらゆる言語の音声を文字で表記すべく、国際音声学会が定めた音声記号である。国際音声字母（こくさいおんせいじぼ）、国際音標文字（こくさいおんぴょうもじ）とも言う。.
新しい！!: スティーヴン・コール・クリーネと国際音声記号 · 続きを見る »
第二次世界大戦
二次世界大戦（だいにじせかいたいせん、Zweiter Weltkrieg、World War II）は、1939年から1945年までの6年間、ドイツ、日本、イタリアの日独伊三国同盟を中心とする枢軸国陣営と、イギリス、ソビエト連邦、アメリカ 、などの連合国陣営との間で戦われた全世界的規模の巨大戦争。1939年9月のドイツ軍によるポーランド侵攻と続くソ連軍による侵攻、そして英仏からドイツへの宣戦布告はいずれもヨーロッパを戦場とした。その後1941年12月の日本とイギリス、アメリカ、オランダとの開戦によって、戦火は文字通り全世界に拡大し、人類史上最大の大戦争となった。.
新しい！!: スティーヴン・コール・クリーネと第二次世界大戦 · 続きを見る »
環境
境（かんきょう）は、広義においては人、生物を取り巻く家庭・社会・自然などの外的な事の総体であり、狭義ではその中で人や生物に何らかの影響を与えるものだけを指す場合もある。特に限定しない場合、人間を中心とする生物を取り巻くおおざっぱな環境のことである場合が多い。 環境は我々を取り巻き、我々に対して存在するだけでなく、我々やその生活と係わって、安息や仕事の条件として成り立つ。また狭義の環境については、人間が生産と消費の活動によって汚染し、破壊するという関係性の中で大きな環境問題になってきた。.
新しい！!: スティーヴン・コール・クリーネと環境 · 続きを見る »
環境問題
水質汚染により泡が浮かんだ河川 酸性雨により溶けた石像 大気汚染の原因となる排煙 環境問題（かんきょうもんだい、Environmental threats, Environmental issues, Environmental problems）は、人類の活動に由来する周囲の環境の変化により発生した問題の総称であり、これは、地球のほかにも宇宙まで及んでいる問題である。.
新しい！!: スティーヴン・コール・クリーネと環境問題 · 続きを見る »
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: スティーヴン・コール・クリーネと計算機科学 · 続きを見る »
自然
ルングン火山への落雷（1982年） 自然（しぜん）には次のような意味がある。.
新しい！!: スティーヴン・コール・クリーネと自然 · 続きを見る »
Mathematics Genealogy Project
Mathematics Genealogy Projectとは数学者のを収載しているウェブ型データベースである.
新しい！!: スティーヴン・コール・クリーネとMathematics Genealogy Project · 続きを見る »
Smn定理
smn定理もしくはパラメータ定理とは、再帰理論における定理であり、プログラミング言語（より一般化すれば、計算可能関数のゲーデル数）の基盤となっている。これを最初に証明したのはスティーブン・コール・クリーネである。s-m-n定理と表記されることもある。 この定理を実用的に解説すると、あるプログラミング言語と正の整数 m と n があるとき、m+n 個の自由変数を持つプログラムのソースコードを操作する特定のアルゴリズムがあることを示している。そのアルゴリズムは、与えられた m 個の値を最初の m 個の自由変数に束縛し、残りの変数を自由変数のままにしておく。.
新しい！!: スティーヴン・コール・クリーネとSmn定理 · 続きを見る »
正規表現
正規表現（せいきひょうげん、regular expression）とは、文字列の集合を一つの文字列で表現する方法の一つである。正則表現（せいそくひょうげん）とも呼ばれ、形式言語理論の分野では比較的こちらの訳語の方が使われる。まれに正規式と呼ばれることもある。 もともと正規表現は形式言語理論において正規言語を表すための手段として導入された。形式言語理論では、形式言語が正規言語であることと正規表現によって表せることは同値である。 その後正規表現はテキストエディタ、ワードプロセッサなどのアプリケーションで（ないし、そもそもそれ以前に単機能の文字列探索ツールの）、マッチさせるべき対象を表すために使用されるようになり、表せるパターンの種類を増やすために本来の正規表現にはないさまざまな記法が新たに付け加えられた。このような拡張された正規表現には正規言語ではない文字列も表せるものも多く、ゆえに正規表現という名前は実態に即していない面もあるが、伝統的に正規表現と呼ばれ続けている。 この記事では主にこのような正規表現を用いたパターンマッチングについて説明している。以下、誤解のない限り、アプリケーションやプログラミングにおいて正規表現を用いた文字列のパターンマッチングを行う機能のことを、単に正規表現という。 ほとんどのプログラミング言語では、ライブラリによって正規表現を使うことができる他、一部の言語では正規表現のリテラルもある。「正規表現によるマッチ」を意味する（専用の）演算子がある言語なども一部ある。具体例として、grep、AWK、sed、Perl、Tcl、lexなどがある。 それぞれの言語やアプリケーションで細部の仕様が異なっている、といったように思われることも多いが（また、古い実装では実際にそういうことも多いが）、近年は同じライブラリを使っていれば同じということも多い。またPOSIXなど標準もある。.
新しい！!: スティーヴン・コール・クリーネと正規表現 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
新しい！!: スティーヴン・コール・クリーネと数学 · 続きを見る »
数学的直観主義
数学的直観主義（すうがくてきちょっかんしゅぎ）とは、数学の基礎を数学者の直観におく立場のことを指す。.
新しい！!: スティーヴン・コール・クリーネと数学的直観主義 · 続きを見る »
数学者
数学者（すうがくしゃ、mathematician）とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.
新しい！!: スティーヴン・コール・クリーネと数学者 · 続きを見る »
数理論理学
数理論理学（mathematische Logik、mathematical logic）は、論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくに）における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。.
新しい！!: スティーヴン・コール・クリーネと数理論理学 · 続きを見る »
1909年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1909年 · 続きを見る »
1930年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1930年 · 続きを見る »
1935年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1935年 · 続きを見る »
1937年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1937年 · 続きを見る »
1939年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1939年 · 続きを見る »
1940年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1940年 · 続きを見る »
1941年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1941年 · 続きを見る »
1946年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1946年 · 続きを見る »
1948年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1948年 · 続きを見る »
1956年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1956年 · 続きを見る »
1958年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1958年 · 続きを見る »
1961年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1961年 · 続きを見る »
1962年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1962年 · 続きを見る »
1964年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1964年 · 続きを見る »
1969年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1969年 · 続きを見る »
1974年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1974年 · 続きを見る »
1979年
記載なし。
新しい！!: スティーヴン・コール・クリーネと1979年 · 続きを見る »
1994年
この項目では、国際的な視点に基づいた1994年について記載する。.
新しい！!: スティーヴン・コール・クリーネと1994年 · 続きを見る »
1月25日
1月25日（いちがつにじゅうごにち）はグレゴリオ暦で年始から25日目にあたり、年末まであと340日（閏年では341日）ある。.
新しい！!: スティーヴン・コール・クリーネと1月25日 · 続きを見る »
1月5日
1月5日（いちがついつか）はグレゴリオ暦で年始から5日目に当たり、年末まであと360日（閏年では361日）ある。誕生花はミスミソウ。.
新しい！!: スティーヴン・コール・クリーネと1月5日 · 続きを見る »
ここにリダイレクトされます：
クリーネ、スティーヴン・クリーネ、スティーブン・コール・クリーネ。
