| Property |
Value |
| dbo:abstract
|
- スティーヴン・コール・クリーネ（Stephen Cole Kleene, 1909年1月5日 - 1994年1月25日）は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。クリーネは、正規表現の発明や、アロンゾ・チャーチ、クルト・ゲーデル、アラン・チューリング、エミール・ポストらと共に帰納的関数論という数理論理学の一分野を創始したことで知られる。、クリーネ閉包、クリーネの再帰定理、クリーネ不動点定理の由来になっている。クリーネはまたライツェン・エヒベルトゥス・ヤン・ブラウワーが創始した直観主義に貢献した。 クリーネは自分の姓をクレーニ（['kleɪni]（IPA））と発音していた。英語圏ではクリーニ（['kli:ni]）、クリーン（[kli:n]）などと誤読されることが多く、日本ではクリーネの表記が一般的になってしまっている。 その数理論理学における傑出した業績は、英語圏の論理学者の間に、"Cleanliness is next to godliness"「清潔さは信心深さに次ぐ」をもじって"Kleeneliness is next to Gödeliness"という格言があることにも表れている。 (ja)
- スティーヴン・コール・クリーネ（Stephen Cole Kleene, 1909年1月5日 - 1994年1月25日）は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。クリーネは、正規表現の発明や、アロンゾ・チャーチ、クルト・ゲーデル、アラン・チューリング、エミール・ポストらと共に帰納的関数論という数理論理学の一分野を創始したことで知られる。、クリーネ閉包、クリーネの再帰定理、クリーネ不動点定理の由来になっている。クリーネはまたライツェン・エヒベルトゥス・ヤン・ブラウワーが創始した直観主義に貢献した。 クリーネは自分の姓をクレーニ（['kleɪni]（IPA））と発音していた。英語圏ではクリーニ（['kli:ni]）、クリーン（[kli:n]）などと誤読されることが多く、日本ではクリーネの表記が一般的になってしまっている。 その数理論理学における傑出した業績は、英語圏の論理学者の間に、"Cleanliness is next to godliness"「清潔さは信心深さに次ぐ」をもじって"Kleeneliness is next to Gödeliness"という格言があることにも表れている。 (ja)
|
| dbo:deathDate
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4055 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-en:almaMater
| |
| prop-en:birthPlace
|
- コネチカット州ハートフォード (ja)
- コネチカット州ハートフォード (ja)
|
| prop-en:deathDate
| |
| prop-en:deathPlace
|
- ウィスコンシン州マディソン (ja)
- ウィスコンシン州マディソン (ja)
|
| prop-en:doctoralAdvisor
| |
| prop-en:doctoralStudents
|
- Clifford Spector (ja)
- David Kierstead (ja)
- Dick de Jongh (ja)
- Douglas Clarke (ja)
- Gene Rose (ja)
- Joan Moschovakis (ja)
- John Addison Jr. (ja)
- Nels David Nelson (ja)
- Paul Axt (ja)
- Richard Vesley (ja)
- Robert Lee Constable (ja)
- Shih-Chao Liu (ja)
- Yiannis Moschovakis (ja)
- Clifford Spector (ja)
- David Kierstead (ja)
- Dick de Jongh (ja)
- Douglas Clarke (ja)
- Gene Rose (ja)
- Joan Moschovakis (ja)
- John Addison Jr. (ja)
- Nels David Nelson (ja)
- Paul Axt (ja)
- Richard Vesley (ja)
- Robert Lee Constable (ja)
- Shih-Chao Liu (ja)
- Yiannis Moschovakis (ja)
|
| prop-en:field
| |
| prop-en:name
|
- スティーヴン・コール・クリーネ (ja)
- Stephen Cole Kleene (ja)
- スティーヴン・コール・クリーネ (ja)
- Stephen Cole Kleene (ja)
|
| prop-en:prizes
|
- アメリカ国家科学賞 (（1990年）) (ja)
- スティール賞 (（1983年）) (ja)
- アメリカ国家科学賞 (（1990年）) (ja)
- スティール賞 (（1983年）) (ja)
|
| prop-en:wikiPageUsesTemplate
| |
| prop-en:workInstitutions
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- スティーヴン・コール・クリーネ（Stephen Cole Kleene, 1909年1月5日 - 1994年1月25日）は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。クリーネは、正規表現の発明や、アロンゾ・チャーチ、クルト・ゲーデル、アラン・チューリング、エミール・ポストらと共に帰納的関数論という数理論理学の一分野を創始したことで知られる。、クリーネ閉包、クリーネの再帰定理、クリーネ不動点定理の由来になっている。クリーネはまたライツェン・エヒベルトゥス・ヤン・ブラウワーが創始した直観主義に貢献した。 クリーネは自分の姓をクレーニ（['kleɪni]（IPA））と発音していた。英語圏ではクリーニ（['kli:ni]）、クリーン（[kli:n]）などと誤読されることが多く、日本ではクリーネの表記が一般的になってしまっている。 その数理論理学における傑出した業績は、英語圏の論理学者の間に、"Cleanliness is next to godliness"「清潔さは信心深さに次ぐ」をもじって"Kleeneliness is next to Gödeliness"という格言があることにも表れている。 (ja)
- スティーヴン・コール・クリーネ（Stephen Cole Kleene, 1909年1月5日 - 1994年1月25日）は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。クリーネは、正規表現の発明や、アロンゾ・チャーチ、クルト・ゲーデル、アラン・チューリング、エミール・ポストらと共に帰納的関数論という数理論理学の一分野を創始したことで知られる。、クリーネ閉包、クリーネの再帰定理、クリーネ不動点定理の由来になっている。クリーネはまたライツェン・エヒベルトゥス・ヤン・ブラウワーが創始した直観主義に貢献した。 クリーネは自分の姓をクレーニ（['kleɪni]（IPA））と発音していた。英語圏ではクリーニ（['kli:ni]）、クリーン（[kli:n]）などと誤読されることが多く、日本ではクリーネの表記が一般的になってしまっている。 その数理論理学における傑出した業績は、英語圏の論理学者の間に、"Cleanliness is next to godliness"「清潔さは信心深さに次ぐ」をもじって"Kleeneliness is next to Gödeliness"という格言があることにも表れている。 (ja)
|
| rdfs:label
|
- スティーヴン・コール・クリーネ (ja)
- スティーヴン・コール・クリーネ (ja)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- スティーヴン・コール・クリーネ (ja)
- Stephen Cole Kleene (ja)
- スティーヴン・コール・クリーネ (ja)
- Stephen Cole Kleene (ja)
|
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-en:doctoralStudents
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
