有名人ナビ トップページ
人物データベース×観光資源
永

永島孝

ながしま たかし
Wiki ↗

永島 孝(ながしま たかし、1935年 - )は、日本の数学者。 専門は数学基礎論。学位は、理学修士(東京教育大学)。 主な業績は、Craig-Maehara-Schütte の補間定理の精密化、および金子守等との共同研究による共通認識の論理。 この項目は、数学者に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています(プロジェクト:人物伝/Portal:自然科学)。

出典:ウィキペディア「永島孝」(CC BY-SA 4.0)を一部抜粋