PLT 板


LINE

看板 PLT  RSS
[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







like.gif 您可能会有兴趣的文章
icon.png[问题/行为] 猫晚上进房间会不会有憋尿问题
icon.pngRe: [闲聊] 选了错误的女孩成为魔法少女 XDDDDDDDDDD
icon.png[正妹] 瑞典 一张
icon.png[心得] EMS高领长版毛衣.墨小楼MC1002
icon.png[分享] 丹龙隔热纸GE55+33+22
icon.png[问题] 清洗洗衣机
icon.png[寻物] 窗台下的空间
icon.png[闲聊] 双极の女神1 木魔爵
icon.png[售车] 新竹 1997 march 1297cc 白色 四门
icon.png[讨论] 能从照片感受到摄影者心情吗
icon.png[狂贺] 贺贺贺贺 贺!岛村卯月!总选举NO.1
icon.png[难过] 羡慕白皮肤的女生
icon.png阅读文章
icon.png[黑特]
icon.png[问题] SBK S1安装於安全帽位置
icon.png[分享] 旧woo100绝版开箱!!
icon.pngRe: [无言] 关於小包卫生纸
icon.png[开箱] E5-2683V3 RX480Strix 快睿C1 简单测试
icon.png[心得] 苍の海贼龙 地狱 执行者16PT
icon.png[售车] 1999年Virage iO 1.8EXi
icon.png[心得] 挑战33 LV10 狮子座pt solo
icon.png[闲聊] 手把手教你不被桶之新手主购教学
icon.png[分享] Civic Type R 量产版官方照无预警流出
icon.png[售车] Golf 4 2.0 银色 自排
icon.png[出售] Graco提篮汽座(有底座)2000元诚可议
icon.png[问题] 请问补牙材质掉了还能再补吗?(台中半年内
icon.png[问题] 44th 单曲 生写竟然都给重复的啊啊!
icon.png[心得] 华南红卡/icash 核卡
icon.png[问题] 拔牙矫正这样正常吗
icon.png[赠送] 老莫高业 初业 102年版
icon.png[情报] 三大行动支付 本季掀战火
icon.png[宝宝] 博客来Amos水蜡笔5/1特价五折
icon.pngRe: [心得] 新鲜人一些面试分享
icon.png[心得] 苍の海贼龙 地狱 麒麟25PT
icon.pngRe: [闲聊] (君の名は。雷慎入) 君名二创漫画翻译
icon.pngRe: [闲聊] OGN中场影片:失踪人口局 (英文字幕)
icon.png[问题] 台湾大哥大4G讯号差
icon.png[出售] [全国]全新千寻侘草LED灯, 水草

请输入看板名称,例如:BabyMother站内搜寻

TOP