ブラウザよりも高速アクセス！
43 関係: 型理論、博物学、微分方程式、マイケル・ラビン、チャーチ・ロッサーの定理、チャーチ＝チューリングのテーゼ、ハーバード大学、ラムダ計算、ラプラス変換、レイモンド・スマリヤン、レオン・ヘンキン、ワシントンD.C.、プリンストン大学、デイナ・スコット、アメリカ合衆国、アラン・チューリング、オハイオ州、オズワルド・ヴェブレン、カリフォルニア大学ロサンゼルス校、ゲオルク・アウグスト大学ゲッティンゲン、ジョン・バークリー・ロッサー、ジョン・ジョージ・ケメニー、スティーヴン・コール・クリーネ、公理的集合論、論理学、論理学者、述語論理、数学、数学者、数理論理学、1903年、1924年、1927年、1929年、1936年、1939年、1947年、1967年、1979年、1990年、1995年、6月14日、8月11日。
型理論
型理論（かたりろん、Type theory）は、数理論理学の一分野であり、「型」の階層を構築し、それぞれの型に数学的（あるいはそれ以外の）実体を割り当てるものである。階型理論（かいけいりろん、Theory of Types）とも。ある型のオブジェクトはその前提となる型のオブジェクトから構築される。この場合の「型」とは形而上的な意味での「型」である。バートランド・ラッセルは、彼が発見したラッセルのパラドックスにより素朴集合論の問題が明らかにされたことを受けて、型理論を構築した。型理論の詳細はホワイトヘッドとラッセルの 『プリンキピア・マテマティカ』にある。 型理論は、プログラミング言語の理論における型システムのベースにもなっている。「型システム」と「型理論」の語はほぼ同義として扱われることもあるが、ここでは、この記事では数理論理学の範囲を説明し、プログラミング言語の理論については型システムの記事で説明する。.
新しい！!: アロンゾ・チャーチと型理論 · 続きを見る »
博物学
博物学（はくぶつがく、Natural history, 場合によっては直訳的に:自然史）は、自然に存在するものについて研究する学問。広義には自然科学のすべて。狭義には動物・植物・鉱物（岩石）など（博物学における「界」は動物界・植物界・鉱物界の「3界」である）、自然物についての収集および分類の学問。英語の"Natural history" の訳語として明治期に作られた。東洋では本草学がそれにあたる。.
新しい！!: アロンゾ・チャーチと博物学 · 続きを見る »
微分方程式
微分方程式（びぶんほうていしき、differential equation）とは未知関数とその導関数の関係式として書かれている関数方程式である長倉三郎ほか編、『 』、岩波書店、1998年、項目「微分方程式」より。ISBN 4-00-080090-6。 物理法則を記述する基礎方程式は多くが時間微分、空間微分を含む微分方程式であり、物理学からの要請もあり微分方程式の解法には多くの関心が注がれてきた。微分方程式論は解析学の中心的な分野で、フーリエ変換、ラプラス変換等はもともと微分方程式を解くために開発された手法である。また物理学における微分方程式の主要な問題は境界値問題、固有値問題である。 線型微分方程式の研究は歴史が長く。それに比して、非線型微分方程式の研究は歴史が浅く比較的簡単な方程式しか解析できていない。例えばナビエ-ストークス方程式は、流体の支配方程式として重要であるが、その解の存在性は未解決問題でありミレニアム懸賞問題にも選ばれている。 その他有名な微分方程式については:Category:微分方程式を参照。.
新しい！!: アロンゾ・チャーチと微分方程式 · 続きを見る »
マイケル・ラビン
マイケル・ラビン（Michael Oser Rabin、1931年9月1日 - ）は、著名な計算機科学者であり、その分野で最も権威のあるチューリング賞を受賞した。.
新しい！!: アロンゾ・チャーチとマイケル・ラビン · 続きを見る »
チャーチ・ロッサーの定理
チャーチ・ロッサーの定理（チャーチ・ロッサーのていり、Church–Rosser theorem）は、同じラムダ式から始まる二個の異なる簡約がある場合、それぞれの簡約から一連の簡約を行うことで到達可能な式があることを述べる定理である。詳しくは合流性を参照。 Category:数学基礎論の定理 Category:ラムダ計算 Category:数学に関する記事.
新しい！!: アロンゾ・チャーチとチャーチ・ロッサーの定理 · 続きを見る »
チャーチ＝チューリングのテーゼ
チャーチ＝チューリングのテーゼ (Church-Turing thesis) もしくはチャーチのテーゼ (Church's thesis) とは、「計算できる関数」という直観的な概念を、帰納的関数と呼ばれる数論的関数のクラスと同一視しようという主張である。テーゼの代わりに提唱（ていしょう）あるいは定立（ていりつ）の語が用いられることもある。このクラスはチューリング・マシンで実行できるプログラムのクラス、ラムダ記法で定義できる関数のクラスとも一致する。よって簡単にはテーゼは、計算が可能な関数とは、その計算を実行できるような有限のアルゴリズムが存在するような関数、よっておおよそコンピュータで実行できる関数と同じだと主張する。.
新しい！!: アロンゾ・チャーチとチャーチ＝チューリングのテーゼ · 続きを見る »
ハーバード大学
ハーバード大学（英語: Harvard University）は、アメリカ合衆国の研究型私立大学であり、アイビー・リーグの一校。イギリス植民地時代の1636年に設置された、アメリカ合衆国内において、最も学術的起源の古い高等教育機関である。.
新しい！!: アロンゾ・チャーチとハーバード大学 · 続きを見る »
ラムダ計算
ラムダ計算（ラムダけいさん、lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（evaluation）と適用（application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。 ラムダ計算は1つの変換規則（変数置換）と1つの関数定義規則のみを持つ、最小の（ユニバーサルな）プログラミング言語であるということもできる。ここでいう「ユニバーサルな」とは、全ての計算可能な関数が表現でき正しく評価されるという意味である。これは、ラムダ計算がチューリングマシンと等価な数理モデルであることを意味している。チューリングマシンがハードウェア的なモデル化であるのに対し、ラムダ計算はよりソフトウェア的なアプローチをとっている。 この記事ではチャーチが提唱した元来のいわゆる「型無しラムダ計算」について述べている。その後これを元にして「型付きラムダ計算」という体系も提唱されている。.
新しい！!: アロンゾ・チャーチとラムダ計算 · 続きを見る »
ラプラス変換
関数解析学において、ラプラス変換（ラプラスへんかん、Laplace transform）とは、積分で定義される関数空間の間の写像（線型作用素）の一種。関数変換。 ラプラス変換の名はピエール＝シモン・ラプラスにちなむ。 ラプラス変換によりある種の微分・積分は積などの代数的な演算に置き換わるため、制御工学などにおいて時間領域の（とくに超越的な）関数を別の領域の（おもに代数的な）関数に変換することにより、計算方法の見通しを良くするための数学的な道具として用いられる。 フーリエ変換を発展させて、より実用本位で作られた計算手法である。1899年に電気技師であったオリヴァー・ヘヴィサイドが回路方程式を解くための実用的な演算子を経験則として考案して発表し、後に数学者がその演算子に対し厳密に理論的な裏付けを行った経緯がある。理論的な根拠が曖昧なままで発表されたため、この計算手法に対する懐疑的な声も多かった。この「ヘヴィサイドの演算子」の発表の後に、多くの数学者達により数学的な基盤は1780年の数学者ピエール＝シモン・ラプラスの著作にある事が指摘された(この著作においてラプラス変換の公式が頻繁に現れていた)。 従って、数学の中ではかなり応用寄りの分野である。ラプラス変換の理論は微分積分、線形代数、ベクトル解析、フーリエ解析、複素解析を基盤としているため、理解するためにはそれらの分野を習得するべきである。 これと類似の解法として、より数学的な側面から作られた演算子法がある。こちらは演算子の記号を多項式に見立て、代数的に変形し、公式に基づいて特解を求める方法である。.
新しい！!: アロンゾ・チャーチとラプラス変換 · 続きを見る »
レイモンド・スマリヤン
レイモンド・メリル・スマリヤン（Raymond Merrill Smullyan、1919年5月25日 - 2017年2月6日）はアメリカ合衆国の数学者、ピアニスト、論理学者、老荘哲学者、奇術師。 ニューヨーク市のFar Rockawayに生れる。最初は奇術師をしていた。1955年にシカゴ大学から学士を得る。1959年にプリンストン大学から博士号を得る。アロンゾ・チャーチのもとで学んだ数多くの傑出した論理学者の一人。.
新しい！!: アロンゾ・チャーチとレイモンド・スマリヤン · 続きを見る »
レオン・ヘンキン
レオン・ヘンキン レオン・ヘンキン（Leon Henkin、1921年4月19日 – 2006年11月1日）はアメリカ合衆国の数学者、論理学者。カリフォルニア大学バークレー校数学科教授。「ヘンキン版一階述語論理の意味論的完全性の証明」で知られる。.
新しい！!: アロンゾ・チャーチとレオン・ヘンキン · 続きを見る »
ワシントン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%が入学を許可された。.
新しい！!: アロンゾ・チャーチとプリンストン大学 · 続きを見る »
デイナ・スコット
デイナ・スチュアート・スコット (Dana Stewart Scott, 1932年-) はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。オートマトン理論についての業績により1976年にチューリング賞を受賞。1970年代にはクリストファー・ストレイチーと共同でプログラム意味論への新たなアプローチを基礎付けた。様相論理、位相幾何学、圏論などでも業績を残している。 2012年現在は、カーネギーメロン大学で計算機科学と哲学と数理論理学の名誉教授を務めている。事実上引退しており、カリフォルニア州バークレー在住。2005年に創刊した学術誌 Logical Methods in Computer Science の編集長を務めている。.
新しい！!: アロンゾ・チャーチとデイナ・スコット · 続きを見る »
アメリカ合衆国
アメリカ合衆国（アメリカがっしゅうこく、）、通称アメリカ、米国（べいこく）は、50の州および連邦区から成る連邦共和国である。アメリカ本土の48州およびワシントンD.C.は、カナダとメキシコの間の北アメリカ中央に位置する。アラスカ州は北アメリカ北西部の角に位置し、東ではカナダと、西ではベーリング海峡をはさんでロシアと国境を接している。ハワイ州は中部太平洋における島嶼群である。同国は、太平洋およびカリブに5つの有人の海外領土および9つの無人の海外領土を有する。985万平方キロメートル (km2) の総面積は世界第3位または第4位、3億1千7百万人の人口は世界第3位である。同国は世界で最も民族的に多様かつ多文化な国の1つであり、これは多くの国からの大規模な移住の産物とされているAdams, J.Q.;Strother-Adams, Pearlie (2001).
新しい！!: アロンゾ・チャーチとアメリカ合衆国 · 続きを見る »
アラン・チューリング
アラン・マシスン・チューリング（Alan Mathieson Turing、〔テュァリング〕, 1912年6月23日 - 1954年6月7日）はイギリスの数学者、論理学者、暗号解読者、コンピュータ科学者。.
新しい！!: アロンゾ・チャーチとアラン・チューリング · 続きを見る »
オハイオ州
ハイオ州（オハイオしゅう、State of Ohio）は、アメリカ合衆国中西部の北東にある州である。アメリカ合衆国50州の中で、陸地面積では第34位、人口では第7位である。州の北はミシガン州とエリー湖、東はペンシルベニア州、南はケンタッキー州とウェストバージニア州、西はインディアナ州に接している。州都および2010年度の国勢調査での人口最大都市はコロンバス市である。州旗は全米の中で唯一、長方形でないものを採用している。 オハイオ州は1803年3月1日に、北西部領土から分かれて合衆国17番目の州に昇格した。独立宣言に加わった13植民地ではないが、北東部はコネチカット州の西部保留地だった。.
新しい！!: アロンゾ・チャーチとオハイオ州 · 続きを見る »
オズワルド・ヴェブレン
ワルド・ヴェブレン（Oswald Veblen, 1880年6月24日 - 1960年8月10日）は、アメリカの数学者。 専門は幾何学。ヴェブレン階層などで知られる。.
新しい！!: アロンゾ・チャーチとオズワルド・ヴェブレン · 続きを見る »
カリフォルニア大学ロサンゼルス校
リフォルニア大学ロサンゼルス校（UCLA）（）は、アメリカ合衆国カリフォルニア州ロサンゼルスにある総合州立大学である。1919年に設置された。 10の大学からなるカリフォルニア大学システム（UCシステム）の1校で、バークレー校、サンフランシスコ校に次ぐ歴史を持ち、カリフォルニア州の大学で学生数が最も多い州立大学。大学の略称は「UCLA」。13人のノーベル賞受賞者を輩出し、THE（タイムズ・ハイアー・エデュケーション）世界大学ランキング等で上位に位置する米国を代表する世界的な教育・研究機関である。THE（タイムズ・ハイアー・エデュケーション）世界大学ランキング 2018では、15位にランクインし、米国内の公立大学としては最上位に位置する。5つの学部 (School) と7つの専門大学院 (Professional School) から構成され、4万人を超える学生が在籍している。230人以上のオリンピックメダリストを輩出し、NCAA（全米大学スポーツ連合）で過去113回優勝を獲得するなど世界的に活躍するアスリートも多く輩出している。校是は "Fiat lux"（そこに光あれ/Let There Be Light）。.
新しい！!: アロンゾ・チャーチとカリフォルニア大学ロサンゼルス校 · 続きを見る »
ゲオルク・アウグスト大学ゲッティンゲン
旧大講堂 大学内の風景 ゲオルク・アウグスト大学ゲッティンゲン（Georg-August-Universität Göttingen, 略称：GAU）は、ドイツのニーダーザクセン州ゲッティンゲンに位置する大学。ドイツに9つあるエクセレントセンターの一つ。ハノーファー選帝侯ゲオルク・アウグスト（英国王としてはジョージ2世）によって1737年に設立された。大学名はこの創設者にちなむものである。ゲッティンゲン大学とも通称する。.
新しい！!: アロンゾ・チャーチとゲオルク・アウグスト大学ゲッティンゲン · 続きを見る »
ジョン・バークリー・ロッサー
ジョン・バークリー・ロッサー（John Barkley Rosser, 1907年 - 1989年）はアメリカの数学者、論理学者。 フロリダ州・ジャクソンビル生まれ。アロンゾ・チャーチから教わる。ラムダ計算において、チャーチ・ロッサーの定理を二人で証明した。数論で、篩法を発展させた。ウィスコンシン大学マディソン校附置の軍事数学研究所の所長も務めた。教科書を多く執筆した。 1936年には、ゲーデルの不完全性定理を拡張させた。 解析的整数論で、ロッサーの定理を証明。 Category:アメリカ合衆国の数学者 Category:アメリカ合衆国の論理学者 070000 Category:ウィスコンシン大学マディソン校の教員 Category:ジャクソンビル出身の人物 Category:1907年生 Category:1989年没 Category:数学に関する記事.
新しい！!: アロンゾ・チャーチとジョン・バークリー・ロッサー · 続きを見る »
ジョン・ジョージ・ケメニー
ョン・ジョージ・ケメニー（John George Kemeny、1926年5月31日 - 1992年12月26日）は、ハンガリー出身のユダヤ系アメリカ人で、数学者・計算機科学者で教育者であり、1964年にと共同でプログラミング言語BASICを開発したことでよく知られている。1970年から1981年まで、ダートマス大学第13代理事長を務め、大学教育にいち早くコンピュータを取り入れた。1979年にはスリーマイル島原子力発電所事故の事故調査委員会委員長を務めた。.
新しい！!: アロンゾ・チャーチとジョン・ジョージ・ケメニー · 続きを見る »
スティーヴン・コール・クリーネ
ティーヴン・コール・クリーネ（Stephen Cole Kleene, 1909年1月5日 - 1994年1月25日）は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。クリーネは、正規表現の発明や、アロンゾ・チャーチ、クルト・ゲーデル、アラン・チューリング、エミール・ポストらと共に帰納的関数論という数理論理学の一分野を創始したことで知られる。クリーネ代数、クリーネ閉包、クリーネの再帰定理、クリーネ不動点定理の由来になっている。クリーネはまたライツェン・エヒベルトゥス・ヤン・ブラウワーが創始した数学的直観主義に貢献した。 クリーネは自分の姓をクレーニ（（IPA））と発音していた。英語圏ではクリーニ（）、クリーン（）などと誤読されることが多く、日本ではクリーネの表記が一般的になってしまっている。 その数理論理学における傑出した業績は、英語圏の論理学者の間に、"Cleanliness is next to godliness"「清潔さは信心深さに次ぐ」をもじって"Kleeneliness is next to Gödeliness"という格言があることにも表れている。.
新しい！!: アロンゾ・チャーチとスティーヴン・コール・クリーネ · 続きを見る »
公理的集合論
公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。.
新しい！!: アロンゾ・チャーチと公理的集合論 · 続きを見る »
論理学
論理学（ろんりがく、）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。.
新しい！!: アロンゾ・チャーチと論理学 · 続きを見る »
論理学者
論理学者（ろんりがくしゃ）とは、論理学を専門に研究する人のことである。.
新しい！!: アロンゾ・チャーチと論理学者 · 続きを見る »
述語論理
述語論理（じゅつごろんり、）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、、無限論理などが含まれる。これらの形式体系の特徴は、論理式に含まれる変数を量化できる点である。一般的な量化子として、存在量化子 ∃ と全称量化子 ∀ がある。変数は議論領域の要素、関係、関数などである。例えば、関数記号に対する存在量化は「ある関数が存在する」という修飾として解釈される。述語論理の基礎は、ゴットロープ・フレーゲとチャールズ・サンダース・パースがそれぞれ独自に生み出し発展させた。 述語論理と言った場合、一階述語論理を指すこともある。述語論理の公理化された形態を述語計算 (predicate calculus) と呼び、述語論理は非形式的でより直観的なものとする見方もある。 様相作用素と量化子を併用する論理も述語論理の一種とされる。これについては様相論理を参照。.
新しい！!: アロンゾ・チャーチと述語論理 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
新しい！!: アロンゾ・チャーチと数学 · 続きを見る »
数学者
数学者（すうがくしゃ、mathematician）とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.
新しい！!: アロンゾ・チャーチと数学者 · 続きを見る »
数理論理学
数理論理学（mathematische Logik、mathematical logic）は、論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくに）における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。.
新しい！!: アロンゾ・チャーチと数理論理学 · 続きを見る »
1903年
記載なし。
新しい！!: アロンゾ・チャーチと1903年 · 続きを見る »
1924年
記載なし。
新しい！!: アロンゾ・チャーチと1924年 · 続きを見る »
1927年
記載なし。
新しい！!: アロンゾ・チャーチと1927年 · 続きを見る »
1929年
記載なし。
新しい！!: アロンゾ・チャーチと1929年 · 続きを見る »
1936年
記載なし。
新しい！!: アロンゾ・チャーチと1936年 · 続きを見る »
1939年
記載なし。
新しい！!: アロンゾ・チャーチと1939年 · 続きを見る »
1947年
記載なし。
新しい！!: アロンゾ・チャーチと1947年 · 続きを見る »
1967年
記載なし。
新しい！!: アロンゾ・チャーチと1967年 · 続きを見る »
1979年
記載なし。
新しい！!: アロンゾ・チャーチと1979年 · 続きを見る »
1990年
この項目では、国際的な視点に基づいた1990年について記載する。.
新しい！!: アロンゾ・チャーチと1990年 · 続きを見る »
1995年
この項目では、国際的な視点に基づいた1995年について記載する。.
新しい！!: アロンゾ・チャーチと1995年 · 続きを見る »
6月14日
6月14日（ろくがつじゅうよっか、ろくがつじゅうよんにち）はグレゴリオ暦で年始から165日目（閏年では166日目）にあたり、年末まであと200日ある。誕生花はハルシャギク、ブーゲンビリア。.
新しい！!: アロンゾ・チャーチと6月14日 · 続きを見る »
8月11日
8月11日（はちがつじゅういちにち）はグレゴリオ暦で年始から223日目（閏年では224日目）にあたり、年末まであと142日ある。.
新しい！!: アロンゾ・チャーチと8月11日 · 続きを見る »
