作者查詢 / cmlrdg

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

作者 cmlrdg 在 PTT 全部看板的留言(推文), 共352則

限定看板：全部

看板排序：

首頁

尾頁

[販售] 全省 Apple Park遊客中心紀念T恤/購物袋

[ MacShop ]2 留言, 推噓總分: 0

作者: cmlrdg - 發表於 2019/07/25 14:40(6年前)

1^F→cmlrdg: 原文忘了加圖片連結XD 請來信詢問07/25 14:42

[麥書] MacBook Pro 是否會在2019更新?

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

作者: cmlrdg - 發表於 2019/05/05 11:26(6年前)

8^F→cmlrdg: 謝謝大家的回覆!05/05 12:35

18^F→cmlrdg: 請問樓上 13寸MBP也會換i9嗎? 謝謝!05/06 03:40

24^F→cmlrdg: 謝謝樓上幾位的分享!05/06 10:29

[問題] sGRE報名問題

[ GRE ]7 留言, 推噓總分: +2

作者: siungge - 發表於 2014/07/13 14:50(11年前)

6^F推cmlrdg:樓樓上,報名的網頁有說明這只是他們做統計或研究用途07/15 01:41

7^F→cmlrdg:你其實可以不用填.只有他用*標注required的欄位要填07/15 01:42

[問題] 2014台灣GRE subject

[ GRE ]36 留言, 推噓總分: +17

作者: shin8305 - 發表於 2014/07/01 21:23(11年前)

1^F推cmlrdg:我剛才也發現了.印象中台灣每年在原po說的時間都有考07/01 22:49

2^F→cmlrdg:場才對..我去年就考過..有人可以解答一下嗎?07/01 22:50

3^F→cmlrdg:而且今年時間好早..9/2707/01 22:51

5^F推cmlrdg:可以寫信抗議嗎? @@"07/01 23:21

19^F推cmlrdg:同意樓上所說,因為昨天(7/1)才剛開放這個學年的報名07/02 07:01

25^F推cmlrdg:感謝p12354大分享,報名完成!真的是虛驚一場XDD"07/02 19:19

32^F推cmlrdg:樓上兩位是在Select Your Undergraduate Institution07/03 19:05

33^F→cmlrdg:之後出現的Select Your Undergraduate Department的07/03 19:06

34^F→cmlrdg:1.Find Your Department遇到問題嗎?如果是的話,在一07/03 19:06

35^F→cmlrdg:開始選under. inst.就可以按右下角的skip跳過07/03 19:07

[討論] 這是我嘗試打敗坊間家教社的第一步..

[ HomeTeach ]152 留言, 推噓總分: +133

作者: EatMyG56 - 發表於 2014/06/26 01:26(11年前)

41^F推cmlrdg:推~06/26 11:09

[網宣] 邏輯、語言與計算暑期研習營 (FLOLAC'14)

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

作者: viw - 發表於 2014/05/14 10:48(11年前)

4^F推cmlrdg:推~我曾經以無學籍之社會人士身份旁聽XD06/06 06:49

[討論] 有沒有景氣很差的八卦

[ HomeTeach ]56 留言, 推噓總分: +36

作者: benbylin - 發表於 2014/03/09 17:09(12年前)

20^F推cmlrdg:你遇到神經病03/09 21:57

Re: [其他] 一階、命題、符號、述詞邏輯

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

作者: alfadick - 發表於 2014/01/18 00:59(12年前)

13^F推cmlrdg:回原po,一樓說的最小上界公理可以是一階或二階敘述01/18 20:21

14^F→cmlrdg:如果討論的個體僅限實數,那麼那個公理就必須用二階01/18 20:23

15^F→cmlrdg:如果討論的個體不只實數,例如含括所有集合在model裡01/18 20:25

16^F→cmlrdg:(實際例子是ZFC的model)那麼一樓說的公理就可以用01/18 20:26

17^F→cmlrdg:集合論的一階語言來描述01/18 20:26

21^F→cmlrdg:那個公理在集合論來看比較像是定義,關於實數的定義01/19 14:20

22^F→cmlrdg:不過我個人認為,定義和公理某種程度上沒什麼分別01/19 14:21

23^F→cmlrdg:那個定義是在說集合論model裡的哪些個體(或集合)是01/19 14:25

24^F→cmlrdg:"實數".這個model裡還有一些不是實數的元素.01/19 14:27

25^F→cmlrdg:如同re大所說,如果我們希望model裡面的個體恰好是全01/19 14:29

26^F→cmlrdg:體實數,那麼採用集合論公理就不恰當.要改採實數公理(01/19 14:29

27^F→cmlrdg:或定義),其中最小上界公理只能用二階語言描述.01/19 14:30

28^F推cmlrdg:原po對邏輯很有興趣很好(我自己也是XD).關於二階敘述01/19 14:35

29^F→cmlrdg:的實際例子還有二階Peano算術.這個算術所定義的model01/19 14:36

30^F→cmlrdg:是唯一的,也就是全體自然數.01/19 14:36

31^F→cmlrdg:這個算術唯一一個二階敘述是歸納公理.不過強烈建議原01/19 14:38

32^F→cmlrdg:po還是挑一本教科書來念,對這些名詞或解釋才會有感覺01/19 14:39

33^F→cmlrdg:標準教科書一定會討論一階,先把它搞定吧;)01/19 14:41

34^F→cmlrdg:很多教科書也會講到二階或其他像infinitary這種一階01/19 14:42

35^F→cmlrdg:邏輯的延伸.等你完成一階的部分再決定要不要接觸其他01/19 14:44

36^F→cmlrdg:進階的題材也不遲XDD01/19 14:44

37^F推cmlrdg:話說在ZFC集合論的model裡構造實數系會有個詭異現象:01/19 14:48

38^F→cmlrdg:根據Loewenheim-Skolem定理,存在ZFC的model其本身是01/19 14:49

39^F→cmlrdg:可數.因此其內部構造出的實數系外觀來看也是可數的.01/19 14:50

40^F→cmlrdg:但從該model內部來看那個實數系卻是不可數...01/19 14:51

47^F→cmlrdg:有些集合論教科書會分出兩種types:urelements和sets01/20 23:44

48^F→cmlrdg:例如George Tourlakis的Lectures in Logic and Set01/20 23:44

49^F→cmlrdg:Theory, vol.201/20 23:45

50^F→cmlrdg:H.-D. Ebbinghaus等人所著的Mathematical Logic第七01/20 23:46

51^F→cmlrdg:章有提到Skolem paradox.Model裡的實數系外觀可數是01/20 23:48

52^F→cmlrdg:是從meta角度來看;在其內部看起來不可數只是因為那個01/20 23:49

53^F→cmlrdg:讓它和model內的自然數系1-1 mapping的函數不在model01/20 23:51

54^F→cmlrdg:內部而已.01/20 23:51

55^F→cmlrdg:上面那本書有提到Skolem paradox讓人困惑的原因在於01/20 23:54

56^F→cmlrdg:把metalanguage和object language混為一談所致.01/20 23:54

[心情] 謝謝你曾經帶給我快樂!再見囉

[ gay ]2 留言, 推噓總分: +1

作者: cmlrdg - 發表於 2013/10/12 01:28(12年前)

2^F→cmlrdg:謝謝樓上:)10/12 09:51

[閃光] 這一天我們在台南度過七週年

[ gay ]118 留言, 推噓總分: +108

作者: icewell - 發表於 2013/09/18 14:10(12年前)

110^F推cmlrdg:嗨我是曾經到你們店裡光顧三次的小熊恭喜要繼續幸福喔:)09/21 22:06

首頁

尾頁