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