192 followers
「@temmusu_n がリツイート」「読んだ？」QT … ユークリッドの幾何の現代的公理化… http://t.co/qOAVYTKVSq 2009年のアヴィガドによる形式化… https://t.co/WAX369pVQ4 @genkuroki @kamo_hiroyasu
796 followers
RT @ytb_at_twt: ユークリッドの幾何の現代的公理化について、こんなのもあります http://t.co/oZmcwfro2B 2009年のアヴィガドによる形式化です。 日本語の解説はこちら： https://t.co/idAThBViDs @genkuroki…
512 followers
RT @ytb_at_twt: ユークリッドの幾何の現代的公理化について、こんなのもあります http://t.co/oZmcwfro2B 2009年のアヴィガドによる形式化です。 日本語の解説はこちら： https://t.co/idAThBViDs @genkuroki…
986 followers
稲岡大志 「図形推論と数学の哲学―最近の研究から」 https://t.co/k2kfrcGfAN ｛3 ユークリッド幾何学の二つの形式化 1 ヒルベルトの『幾何学の基礎』 2 アヴィガド的形式化……図形に固有の推論機能を与えた上で、ユークリッド幾何学の形式化をおこなう研究｝