作者查詢 / isaswa

總覽項目：發文 | 留言 | 暱稱

作者 isaswa 在 PTT [ Math ] 看板的留言(推文), 共67則

限定看板：Math

首頁

上一頁

1

[其他] 對稱加密的破解複雜度

[ Math ]51 留言, 推噓總分: +5

作者: znmkhxrw - 發表於 2022/05/01 17:35(3年前)

6^F推isaswa: google: information theoretic security05/01 22:20

[其他] 不能被證明或者被證偽那它就是對的

[ Math ]58 留言, 推噓總分: +12

作者: dharma - 發表於 2020/12/21 17:31(5年前)

13^F推isaswa: 哥德爾不完備定理說的是「你無法用目前的公設證明或12/22 01:27

14^F→isaswa: 證否某些定理，也就是有一些命題和你的公設系統是獨12/22 01:27

15^F→isaswa: 立無關的，你要把那條定理訂為對或錯單看你的公設系12/22 01:27

16^F→isaswa: 統，然後哥德爾有給出一種構造方式讓一階邏輯系統永12/22 01:28

17^F→isaswa: 遠不可能包含所有命題的真偽12/22 01:28

18^F→isaswa: 最典型的例子就是選擇公理12/22 01:29

19^F→isaswa: 公理就是我們認為對的東西，我們設定它永遠是對的，12/22 01:30

20^F→isaswa: 然後根據這些公理所推導出的邏輯上為真的叫做定理12/22 01:30

21^F→isaswa: 哥德爾給出例子說總是存在一些命題，是你的公理系統12/22 01:31

22^F→isaswa: 永遠不可能推導出來的，所以它是對還是錯和你的公設12/22 01:31

23^F→isaswa: 無關，你開心設定成對或錯都可以12/22 01:31

[線代] vector space 和 span(名詞)的差別

[ Math ]94 留言, 推噓總分: +13

作者: benasking712 - 發表於 2020/03/31 11:19(5年前)

75^F→isaswa: subspace=符合某些特性的集合04/01 21:29

76^F→isaswa: 任何的span都會是一個符合subspace特性的集合04/01 21:30

Re: [線代] vector space 和 span(名詞)的差別

[ Math ]15 留言, 推噓總分: +4

作者: znmkhxrw - 發表於 2020/03/31 12:52(5年前)

8^F推isaswa: subspace的條件要非空吧?04/01 21:29

[線代] 1X1矩陣是否純量？

[ Math ]9 留言, 推噓總分: +5

作者: Xenomorph - 發表於 2020/03/05 23:04(5年前)

9^F推isaswa: 同構純量本身就是一個向量空間03/10 19:06

[ Math ]8 留言, 推噓總分: +3

作者: katsutoxin - 發表於 2020/01/10 17:11(6年前)

5^F→isaswa: 分類01/10 20:11

[分析] 想問此話的正確性

[ Math ]4 留言, 推噓總分: +1

作者: pennyleo - 發表於 2020/01/10 16:25(6年前)

4^F推isaswa: 可積不是都定義在一個區間上嗎有在一點上的嗎01/10 20:10

[其他] 台大 108-1 學期「應用數學方法」課程

[ Math ]9 留言, 推噓總分: +9

作者: tiwsjia - 發表於 2020/01/07 19:11(6年前)

7^F推isaswa: 推01/10 20:02

[公告] Math數學板板規置底

[ Math ]22 留言, 推噓總分: +10

作者: DLHZ - 發表於 2020/01/02 19:14(6年前)

8^F推isaswa: 發文限制要不要加個退文幾篇以下01/04 15:11

[公告] 置底閒聊文置底

[ Math ]81 留言, 推噓總分: +27

作者: DLHZ - 發表於 2020/01/03 21:34(6年前)

18^F推isaswa: 我覺得那個文不對題仔就很像測試腳本的機器人啊01/04 04:11

首頁

上一頁

1