仙台ロジック倶楽部


最新情報[更新日:2015年3月14日]


[田中講演] 12月12日 北陸先端大学院大学
詳細はポスター

[新ポストドク] 11月27日から イタリア人.

[シンガポール交流] 9月1日-5日 シンガポール国立大学
詳細はJoint Workshop
 
 
[談話会]6月16日 東北大学
講演者:U. Kohlenbach 氏 (Technische Universitat Darmstadt)
講演題目:Proof-theoretic Methods in Nonlinear Analysis
詳しい概要等はこちらの東北大学数学科ホームページをご覧下さい。
 
[書籍] 『チューリングと超パズル 解ける問題と解けない問題』 東京大学出版会から好評発売中
 
2013年度以前の活動内容については、左メニュー欄の「過去の活動状況」をご覧ください。
 
[リンク] セミナー情報はSendai Logicに移行しました
 ★Facebookページにも情報掲載しています。「いいね!」やコメントお待ちしています。   

研究室メンバーと関連研究者へ

セミナー情報  
セミナー情報はSendai Logicのページに移行しました.
 
 
 
 
活動内容・予定  

 ☞過去の活動内容

 

OB&OG人名辞典(抜粋)  
 
 
山崎武 / 桜井栄一 / にゃんこばずうか(筆名) / 坂本伸幸 /高橋康博 / 劉晨光 / 根元多佳子 / Sam Sanders/ 
 
矢田部俊介 / 薄葉季路 /横山啓太  /木原貴行  / 堀畑佳宏 / 彭寧寧 / 吉居啓輔
 
 
 
 

研究室の活動や田中の著作に関心をお持ちの方へ

研究テーマ解説  
「数学基礎論とは」「逆数学とは」の解説がほしい方は☞
 
 
◆研究内容をより理解するためのおすすめ書籍を知りたい方は☞
 
 
 
研究者紹介 
 
 氏名 研究内容 
 

田中 一之 教授

数学基礎論.現代のロジックの手法(強制法など)による、ヒルベ ルト・ベルナイスの2階算術の再検討等

 
★樋口研究員作「田の中を数行く」パズルはこちら