作者godfat (godfat 真常)
看板PLT
標題Re: [心得] Fixed-points, Curry-Howard, etc.
時間Fri Apr 27 20:02:09 2007
[quote="置底板規"]
1. 開放推文，但切勿「推文成章」。也就是，所言超過三行的話，
請一律使用回文的模式來回覆。
理由是 a.) 方便管理 b.) 方便閱讀。
[/quote]
麻煩不要推文推成這樣好嗎？ @_@
這邊複製一次以利閱讀與討論 @_@
雖然其實似乎也有點離題了
1F：推 buganini:其實我覺得那個(a->a)->a是必需成立的 04/26 06:34
2F：→ buganini:在數學哲學裡面探討真理的部份，我覺得最基本的問題是 04/26 06:35
3F：→ buganini:因果論是正確的 這個命題 如果不正確的話也就不需探究 04/26 06:35
4F：→ buganini:true/false的問題 希望我沒有誤解你的意思 04/26 06:36
5F：推 buganini:這似乎也跟The Church-Turing thesis有點關係 04/26 06:40
6F：→ buganini:(不是很清楚這些東西，但又好像摸到一點邊，這些真有趣:) 04/26 06:40
7F：→ buganini:不過想到這些就覺得有點淡淡的憂傷 04/26 06:41
8F：→ buganini:The Church-Turing thesis說是被普遍假定為真 04/26 06:42
9F：→ buganini:我就想，其實每個公設還不都是被假定為真 04/26 06:42
10F：→ buganini:我所相信的一切最後也是based on普遍認同.....~"~ 04/26 06:42
11F：→ noctem:buganini 可以多解說一下嗎？好像很有趣 04/26 09:07
12F：推 buganini:蛤? 我在等你多解說耶.... 04/26 09:09
13F：→ buganini:之前一開始是在想"科學"本身的可證偽性... 04/26 09:10
14F：→ buganini:結果就慘了...無窮遞迴下去...那陣子頭昏昏的 04/26 09:12
15F：→ buganini:後來看到Kurt Godel不完備定理覺得真是深得我心 04/26 09:13
16F：→ buganini:我們在用的邏輯應該可以說是based on因果 04/26 09:13
17F：→ buganini:其他任何東西也都會based on something... 04/26 09:14
18F：→ buganini:就是那些所謂公理的東西無所依據... 04/26 09:15
19F：→ buganini:雖然是有人說依據真實世界,不過真實世界又因什麼而真實? 04/26 09:15
20F：→ buganini:於是就變成駭客任務了.... 04/26 09:16
21F：→ buganini:wikipedia裡面有個條目就叫真理..我是從lambda calculus 04/26 09:16
22F：→ buganini:一路連到數學哲學，最後到真理...真理裡面有講一些理論 04/26 09:18
23F：→ buganini:其中有些我覺得像是宗教式的嘴砲,不過我也無從反駁.... 04/26 09:19
24F：→ buganini:融貫,符合,共識這些我是覺得其實都一樣... 04/26 09:19
25F：→ buganini:融貫論+真實世界的真實=符合論 04/26 09:20
26F：→ buganini:真實世界的真實應該算是共識(其實也不一定,也許有人真的 04/26 09:21
27F：→ buganini:看的到阿飄,但我看不到) 總之最後都是共識.. 04/26 09:21
28F：→ buganini:就是普遍認同...因為對錯都是人(們)在判定... 04/26 09:22
29F：→ buganini:剛剛在想，因果可不可以based on一個不符合因果的東西 04/26 09:23
30F：→ buganini:就是說non-deterministic的規則能不能建立出 04/26 09:24
31F：→ buganini:deterministic的結果.....頭又昏了... 04/26 09:24
32F：→ buganini:這不知道會不會弄成Russell paradox 04/26 09:25
33F：→ buganini:以上好像都應該是base on sth....真的昏了啦~"~ 04/26 09:26
34F：推 buganini:慘慘慘...其實是based on沒錯...囧.... 04/26 09:33
35F：推 buganini:令我我私底下其實覺得一切都是deterministic的 04/26 09:40
36F：推 buganini:這樣與 同意Church-Turing thesis 等價 嗎?... 04/26 09:42
37F：推 buganini:把共識的想法套用在社會的東西看,也很有趣,譬如法律 04/26 09:48
38F：→ buganini:法律應該是恐怖平衡(?)之後大家形成的共識訂出的規則 04/26 09:50
39F：→ buganini:其實沒有也沒關係，但為了避免小團體作怪，所以還是要有 04/26 09:50
40F：→ buganini:如果單就這樣而言，法律不應限定犯行 04/26 09:51
41F：→ buganini:只要限定刑罰和行刑人，剩下的公投... 04/26 09:52
42F：→ buganini:不過這樣又要考慮怎樣才能提案公投...不然有人告另一個人 04/26 09:52
43F：→ buganini:踩死蟑螂之類的.... 04/26 09:53
44F：→ buganini:而且在人說眾多的社會公投也是很麻煩...所以還是要有法律 04/26 09:54
45F：→ buganini:對不起我瞎扯了..總之法律要能反映民意(共識),民意範圍.. 04/26 09:54
46F：→ buganini:應該說每個人的意見所佔份量....不可考... 04/26 09:56
--
生死去来、棚頭傀儡、一線断時、落落磊磊
《花鏡》－世阿弥
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.135.28.18
47F：推 buganini:sorry....= = 04/28 01:54
48F：→ sunneo:XDDDDDDDDDDD 07/28 22:36