本橋 信義

J-GLOBALへ         更新日: 07/06/14 00:00
 
アバター
研究者氏名
本橋 信義
 
モトハシ ノブヨシ
所属
旧所属 筑波大学 数理物質科学研究科 数学専攻
職名
教授
学位
理学修士, 理学博士

研究分野

 
 

学歴

 
 
 - 
1969年
東京大学 理学系研究科 数学
 
 
 - 
1966年
東京大学 教養学部 教養学科
 

委員歴

 
1992年
   
 
科学基礎論学会  評議員,理事
 

Misc

 
1つの公理化定理
日本数学会欧文誌   34 3   1982年
一意性条件の消去定理
Zeitschrift f(]J1168[)r Math Logik und Grandlager der Math.   28 6   1982年
一意性条件の存在条件による近似理論
Fundameta Mathematica   120   1984年
等号とリンドンの補間定理
Journal of the Symbolic Logic   49 1   1984年
第一階論理式の1つの標準型定理と,ガイフマンの分解定理へのその応用
Journal of the Symbolic Logic   49 4   1984年

書籍等出版物

 
現代論理学入門-情報から論理へ-
岩波書店   1989年   
情報時代の論理-新しい論理学への誘い-
日本評論社   1992年   
新しい論理序説
朝倉書店   1997年   
数学と新しい論理
遊星社   2002年   
集合序説
培風館   2003年   

競争的資金等の研究課題

 
情報による論理の研究
その他の研究制度
論理教育
その他の研究制度