抽象代數/群論/本節圖表含義

"想象力比知識更重要"

阿爾伯特·愛因斯坦，在愛因斯坦眼中的生命：喬治·西爾維斯特·維爾克的採訪中。

如果形式是嚴謹的，但隱藏了證明行後的想法，那麼視覺能提供什麼？

在我們心中，我們都有這樣的經驗，邏輯在一定程度上只依賴於影像，不依賴於符號或語言。

下面嘗試用同樣嚴謹的圖表來代替形式證明。

非常感謝您對本頁討論的建議。該嘗試中的問題也會在討論中進行。

1. 圓角矩形表示群。大的空形狀表示集合。

2. 集合中的一個物件。

3. 一個物件可能在集合中也可能不在集合中。

4. 一個物件不在集合中。

4. 黃色*藍色 = 綠色。虛線代表a*b中的第二個元素。