準備下周IEEE會議的兩篇Oral Report ，還有數學DATLCPSC

還有 7月的產學合作結案Review、8月的學研成果展示以及還有9月AOI論壇的投影片。準備演講投影片時，查到下面有趣的資料，竟然有這回事😆？就放入9.26日的AI演講了。

https://shann.idv.tw/matheng/proposition.html

目前製作投影片還有準備撰寫論文中，對於IEEE論文的相關名詞需要更精細一下。當前數學中，有許多術語用來描述不同類型的陳述和結論。以下是一些常見的術語及其解釋：

1. Definition(定義)： - 定義用來引入和精確描述數學對象、概念或術語。定義不需要證明，但需要清晰且無歧義地闡述。 - 例子：一個素數是大於1的自然數，且除了1和它本身之外，沒有其他因數。
2. Axiom(公理)： - 公理是一個自明的、無需證明的基本假設或原則。公理是建構數學理論的基礎，並用來推導其他命題和定理。 - 例子：對於任何數字 \(a\) 和 \(b\)，如果 \(a = b\)，則 \(b = a\)（對稱性公理）。
3. Theorem(定理)： - 定理是一個已被證明的數學陳述，通常具有重要性或廣泛應用。定理往往是數學研究的主要結果。 - 例子：畢達哥拉斯定理聲明在直角三角形中，斜邊的平方等於其他兩邊的平方和。
4. Lemma(引理)： - 引理是一個輔助性的命題，通常用來證明更重要的定理。引理本身雖然可能不具備獨立的重要性，但在構建更大結論時非常有用。 - 例子：在證明費馬小定理時，常用引理來處理中間步驟。
5. Corollary(推論)：- 推論是一個可以直接從已證明的定理或引理中推導出的結果。它通常是一個自然的後續結果，並不需要額外的複雜證明。 - 例子：從畢達哥拉斯定理可以推論出，若 \(a\)、\(b\)、\(c\) 是三個整數且滿足 \( a^2 + b^2 = c^2 \)，則 \(a\)、\(b\)、\(c\) 構成一個勾股數。
6. Proposition(命題)： - 一個可以證明或證偽的數學陳述，但其重要性可能不如定理。命題通常是較小或次要的結果，並不一定需要引人注目或具有深遠影響。 - 例子：若 \( n \) 是偶數，則 \( n^2 \) 也是偶數。
7. Statement(陳述)： - 陳述是一個數學句子，可以是真或假的。它不一定是已證明的，只是表達了一個事實或假設。 - 例子：所有素數都是奇數（這是一個陳述，但不是真實的，因為2是素數且是偶數）。
8. Conjecture(猜想)： - 猜想是一個尚未被證明的數學陳述，通常基於觀察和經驗。猜想需要經過證明才能成為定理。 - 例子：哥德巴赫猜想聲稱，任何大於2的偶數都可以表示為兩個素數的和。

這些術語構成了數學論證的基本結構，用來系統化地建立和證明數學理論。