作者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