＜#代数学の参考書＞

「見える！群論入門」(2017𦚰)
https://www.hmv.co.jp/artist_%...

前書きより:
『#群論 の #テキスト では
「#定義→#定理→#証明→#例題」
を繰り返して
話を進める事が
一般的ですが，
本書はとにかく
「#見る→感じる→#納得 する」
事を大事にして
話を進めていきます。』

Anthropic が示した、Fermat の最終定理を機械に通すという発想
https://papoo.work/doc/52c0076a97968575
#ai #数学 #証明 #形式化 #研究開発

＜#代数学の参考書＞

数学のかんどころ
「わかる!使える!楽しめる!ベクトル空間」
(共立出版2014福間)

『#証明 ごとに，
証明の #手順 や #目標 を
述べることにより
学習 #意欲 の持続を図り，
証明の #流れ を
つかめるように記述した.
さらに
その手順に必要な証明を
#丁寧 に書いた.』

＜#代数学の参考書＞

数学のかんどころ
「わかる!使える!楽しめる!ベクトル空間」
(共立出版2014福間)

『#ベクトル空間 は
現代数学の諸分野を学ぶ際には
欠かせない重要な概念であるので，
ベクトル空間に関する重要な結果を
#証明 抜きで与えるのでなく
証明を #完全 な形で載せている.』

＜#代数学の参考書＞

「例外型単純リー群」
(現代数学社2013横田)
https://www.amazon.co.jp/dp/47...

前書きより:
『できるだけ詳しく丁寧に解説しました。
#自明 と思えるものにまで
#証明 を与えているかもしれません。
すなわち，一般論から容易に導ける個所にも
直接的な証明を与えています。』