スティーヴン・コール・クリーネ

スティーヴン・コール・クリーネ（Stephen Cole Kleene、1909年1月5日  −1994年1月25日）は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。クリーネは、正規表現の発明や、アロンゾ・チャーチ、クルト・ゲーデル、アラン・チューリング、エミール・ポストらと共に帰納的関数論という数理論理学の一分野を創始したことで知られる。クリーネ代数、クリーネ閉包、クリーネの再帰定理、クリーネ不動点定理の由来になっている。クリーネはまたライツェン・エヒベルトゥス・ヤン・ブラウワーが創始した数学的直観主義に貢献した。クリーネは自分の姓をクレイーニ（['klej.ni]（IPA））と発音していた。英語圏ではクリーニ（['kli.ni]）、クリン（[klin]）などと誤読されることがきわめて多く、日本ではクリーネの表記が一般的になってしまっている。その数理論理学における傑出した業績は、英語圏の論理学者の間に、"Cleanliness is next to godliness"「清潔さは信心深さに次ぐ」をもじって"Kleeneliness is next to Gödeliness"という格言があることにも表れている。
Wikipedia.orgをもっと見ると…