Redian新闻
>
别拍砖,求意见 (转载)
avatar
别拍砖,求意见 (转载)# EE - 电子工程
A*e
1
在法庭上,一位法官宣判一位犯人将受到绞刑,法官宣判:“你将在下周7天之内被执
行绞刑,但是具体执行绞刑的时间将于当天上午派人专程通知你,除此以外,你在被通
知以前不会知道具体什么时间被处以绞刑。”该法官在当地一向以铁面无私,说一不二
著称。罪犯很沮丧的回到了监狱,这时,他的律师对他说:“按照法官的说法,你无法
被执行绞刑。” 罪犯很奇怪,问律师为什么。律师说:“首先,下周六不可能被执行
绞刑,因为假如下周六你被执行绞刑,那么下周五晚上你还活着,你就一定会推算出是
明天(即周六)要执行绞刑,所以你在法官派人通知你之前就知道了你被执行绞刑的具
体时间,因此按照法官的说法,你不会在周六被执行绞刑。” 罪犯想了想,同意律师
的话。 律师继续说:“其次,下周五不可能执行绞刑,因为假如执行的话,你下周四
的晚上肯定还活着,你被处以绞刑的时间就只有能是周五或者周六,而已经推出周六不
可能执行绞刑,所以你被处以绞刑的时间就是周五。这样,你又在法官周五上午通知你
以前知道了具体的执行绞刑时间,这样,按照法官的说法,周五也不会被执行绞刑。”
律师继续推理:“这样依次推论,由于周五不会执行绞刑,导致周四不会
avatar
r*3
2
中文名: Intel® 64 and IA-32体系结构:软件开发人员手册
原名: Intel® 64 and IA-32 Architectures Software Developer's Manual
作者: Intel Corporation
资源格式: PDF
版本: 文字版
出版社: Intel Corporation
书号: 25462-042US
发行时间: 2012年03月
地区: 美国
语言: 英文
简介:
汇编语言和高级语言的最根本的区别在于:在汇编语言中,程序员必须掌握数据存储和
机器相关的大量细节。与高级语言相比,在声明和移动数据时,汇编器给了程序员极大
的自由。汇编器只进行很少的错误检查,但却提供了大量的操作符和寻址表达式,使程
序员几乎能够做任何事情。然而,这种自由是必须付出一定代价的。这种代价就是在开
始编写有意义的程序之前,开发人员必须掌握大量的细节知识。因而这也是《Intel&
reg; 64 and IA-32 Architectures Software Developer's Manuall》一书的功能所在。
目录:
Volume 1: Basic Architecture
Chapter 1 About This Manual
Chapter 2 Intel® 64 and IA-32 Architectures
Chapter 3 Basic Execution Environment
Chapter 4 Data Types
Chapter 5 Instruction Set Summary
Chapter 6 Procedure Calls, Interrupts, and Exceptions
Chapter 7 Programming With General-Purpose Instructions
Chapter 8 Programming with the x87 FPU
Chapter 9 Programming with Intel® MMX™ Technology
Chapter 10 Programming with Streaming SIMD Extensions (SSE)
Chapter 11 Programming with Streaming SIMD Extensions 2 (SSE2)
Chapter 12 Programming with SSE3, SSSE3, SSE4 and AESNI
Chapter 13 Programming with AVX
Chapter 14 Input/Output
Chapter 15 Processor Identification and Feature Determination
Appendix A EFLAGS Cross-Reference
Appendix B EFLAGS Condition Codes
Appendix C Floating-Point Exceptions Summary
Appendix D Guidelines for Writing x87 FPU Exception Handlers
Appendix E Guidelines for Writing SIMD Floating-Point Exception Handlers
Volume 2: Instruction Reference, A-Z
Chapter 1 About This Manual
Chapter 2 Instruction Format
Chapter 3 Instruction Set Reference, A-L
Chapter 4 Instruction Set Reference, M-Z
Chapter 5 Safer Mode Extensions Reference
Appendix A Opcode Map
Appendix B Instruction Formats and Encodings
Appendix C Intel® C/C++ Compiler Intrinsics and Functional Equivalents
Volume 3: System Programming Guide
Chapter 1 About This Manual
Chapter 2 System Architecture Overview
Chapter 3 Protected-Mode Memory Management
Chapter 4 Paging
Chapter 5 Protection
Chapter 6 Interrupt and Exception Handling
Chapter 7 Task Management
Chapter 8 Multiple-Processor Management
Chapter 9 Processor Management and Initialization
Chapter 10 Advanced Programmable Interrupt Controller (APIC)
Chapter 11 Memory Cache Control
Chapter 12 Intel® MMX™ Technology System Programming
Chapter 13 System Programming For Instruction Set Extensions And Processor
Extended States
Chapter 14 Power and Thermal Management
Chapter 15 Machine-Check Architecture
Chapter 16 Interpreting Machine-Check Error Codes
Chapter 17 Debugging, Branch Profiling, and Time-Stamp Counter
Chapter 18 Performance Monitoring
Chapter 19 Performance-Monitoring Events
Chapter 20 8086 Emulation
Chapter 21 Mixing 16-Bit and 32-Bit Code
Chapter 22 Architecture Compatibility
Chapter 23 Introduction to Virtual-Machine Extensions
Chapter 24 Virtual-Machine Control Structures
Chapter 25 VMX Non-Root Operation
Chapter 26 VM Entries
Chapter 27 VM Exits
Chapter 28 VMX Support for Address Translation
Chapter 29 VMX Instruction Reference
Chapter 30 Virtual-Machine Monitor Programming Considerations
Chapter 31 Virtualization of System Resources
Chapter 32 Handling Boundary Conditions in a Virtual Machine Monitor
Chapter 33 System Management Mode
Chapter 34 Model-Specific Registers (MSRs)
Appendix A VMX Capability Reporting Facility
Appendix B Field Encoding in VMCS
Appendix C VMX Basic Exit Reasons
Index
下载地址:
http://depositfiles.com/files/3yayobh50
avatar
w*r
4
【 以下文字转载自 Statistics 讨论区 】
发信人: goldenfisher (游戏人生), 信区: Statistics
标 题: 别拍砖,求意见
发信站: BBS 未名空间站 (Mon May 9 13:55:45 2011, 美东)
女,物理phd,ee博后快一年,不想在这行混,工作环境差,压力大。于是申请到了今
年fall 统计 ms(非top学校),纠
结中。。。求意见
继续现在的好/坏处:说不定一年内能找到业界工作,年薪~9w,环境差,压力大,物理
sense较差,没有学
习热情,不知哪年能生娃。
转去统计的好/坏处:数学sense较好,或许学习热情高,上学期间生娃,做intern,其
他不定因素多,毕
业后或年薪~5w,工作压力小?
avatar
x*n
5
全是定义不清惹的祸
试图用非严谨的自然语言来进行逻辑推理就是这个结果。

【在 A*******e 的大作中提到】
: 在法庭上,一位法官宣判一位犯人将受到绞刑,法官宣判:“你将在下周7天之内被执
: 行绞刑,但是具体执行绞刑的时间将于当天上午派人专程通知你,除此以外,你在被通
: 知以前不会知道具体什么时间被处以绞刑。”该法官在当地一向以铁面无私,说一不二
: 著称。罪犯很沮丧的回到了监狱,这时,他的律师对他说:“按照法官的说法,你无法
: 被执行绞刑。” 罪犯很奇怪,问律师为什么。律师说:“首先,下周六不可能被执行
: 绞刑,因为假如下周六你被执行绞刑,那么下周五晚上你还活着,你就一定会推算出是
: 明天(即周六)要执行绞刑,所以你在法官派人通知你之前就知道了你被执行绞刑的具
: 体时间,因此按照法官的说法,你不会在周六被执行绞刑。” 罪犯想了想,同意律师
: 的话。 律师继续说:“其次,下周五不可能执行绞刑,因为假如执行的话,你下周四
: 的晚上肯定还活着,你被处以绞刑的时间就只有能是周五或者周六,而已经推出周六不

avatar
t*t
6
这个在intel自己的网站上就有得下, 就不用拿出来了吧.

【在 r*****3 的大作中提到】
: 中文名: Intel® 64 and IA-32体系结构:软件开发人员手册
: 原名: Intel® 64 and IA-32 Architectures Software Developer's Manual
: 作者: Intel Corporation
: 资源格式: PDF
: 版本: 文字版
: 出版社: Intel Corporation
: 书号: 25462-042US
: 发行时间: 2012年03月
: 地区: 美国
: 语言: 英文

avatar
f*3
7
上学期间生娃还能做intern,牛!
avatar
A*e
8
你具体说说

被执
被通
不二
无法
执行
出是
的具
律师
周四
六不

【在 x******n 的大作中提到】
: 全是定义不清惹的祸
: 试图用非严谨的自然语言来进行逻辑推理就是这个结果。

avatar
M*t
9
这年头统计也不好找工作

【在 w********r 的大作中提到】
: 【 以下文字转载自 Statistics 讨论区 】
: 发信人: goldenfisher (游戏人生), 信区: Statistics
: 标 题: 别拍砖,求意见
: 发信站: BBS 未名空间站 (Mon May 9 13:55:45 2011, 美东)
: 女,物理phd,ee博后快一年,不想在这行混,工作环境差,压力大。于是申请到了今
: 年fall 统计 ms(非top学校),纠
: 结中。。。求意见
: 继续现在的好/坏处:说不定一年内能找到业界工作,年薪~9w,环境差,压力大,物理
: sense较差,没有学
: 习热情,不知哪年能生娃。

avatar
j*u
10
“知道”?

【在 x******n 的大作中提到】
: 全是定义不清惹的祸
: 试图用非严谨的自然语言来进行逻辑推理就是这个结果。

avatar
x*n
11
哦,昨天随便看了看,凭感觉说的,没仔细想。
刚仔细想了想,感觉问题是出在法官的这个保证上,也就是通知你之前你不会知道是哪
天行刑。这个保证本身并不是法官自己的主观能动就能决定的,换句话说其实不是他自
己的保证,而是他对于自己用于产生行刑日期的这个算法属性的一个断言。这个断言是
不是恒真,这是问题的核心。
现在律师的推理并没有错,但它是建立在这个断言恒真的基础上的。而最后的结果只是
说明了这个断言在这一次成立了,并不证明其恒真,所以没有矛盾。
我的感觉可以设计算法使得对于任意大数N,这个断言可以连续成立N次。但是如果N是无
穷大的话就不行了,所以还不是恒真。

【在 A*******e 的大作中提到】
: 你具体说说
:
: 被执
: 被通
: 不二
: 无法
: 执行
: 出是
: 的具
: 律师

avatar
m*g
12
我觉得这个悖论论述漏洞百出, 犯不着从这么高的层面分析

是无

【在 x******n 的大作中提到】
: 哦,昨天随便看了看,凭感觉说的,没仔细想。
: 刚仔细想了想,感觉问题是出在法官的这个保证上,也就是通知你之前你不会知道是哪
: 天行刑。这个保证本身并不是法官自己的主观能动就能决定的,换句话说其实不是他自
: 己的保证,而是他对于自己用于产生行刑日期的这个算法属性的一个断言。这个断言是
: 不是恒真,这是问题的核心。
: 现在律师的推理并没有错,但它是建立在这个断言恒真的基础上的。而最后的结果只是
: 说明了这个断言在这一次成立了,并不证明其恒真,所以没有矛盾。
: 我的感觉可以设计算法使得对于任意大数N,这个断言可以连续成立N次。但是如果N是无
: 穷大的话就不行了,所以还不是恒真。

avatar
kx
13
re

是哪
他自
言是
只是
N

【在 m*********g 的大作中提到】
: 我觉得这个悖论论述漏洞百出, 犯不着从这么高的层面分析
:
: 是无

avatar
A*s
14
你这么一说,我糊涂了
我感觉根楼上那个一样,是“知道”定义不清楚

是无

【在 x******n 的大作中提到】
: 哦,昨天随便看了看,凭感觉说的,没仔细想。
: 刚仔细想了想,感觉问题是出在法官的这个保证上,也就是通知你之前你不会知道是哪
: 天行刑。这个保证本身并不是法官自己的主观能动就能决定的,换句话说其实不是他自
: 己的保证,而是他对于自己用于产生行刑日期的这个算法属性的一个断言。这个断言是
: 不是恒真,这是问题的核心。
: 现在律师的推理并没有错,但它是建立在这个断言恒真的基础上的。而最后的结果只是
: 说明了这个断言在这一次成立了,并不证明其恒真,所以没有矛盾。
: 我的感觉可以设计算法使得对于任意大数N,这个断言可以连续成立N次。但是如果N是无
: 穷大的话就不行了,所以还不是恒真。

avatar
x*n
15
那个我也同意。
我这个把知道定义成了可以根据已有信息推理出。

【在 A*******s 的大作中提到】
: 你这么一说,我糊涂了
: 我感觉根楼上那个一样,是“知道”定义不清楚
:
: 是无

avatar
C*5
16
问题出在前提上
“首先,下周六不可能被执行绞刑,因为假如下周六你被执行绞刑,那么下周五晚上你
还活着,你就一定会推算出是明天(即周六)要执行绞刑,”
看, 这里有个前提, 就是 “如果”“下周五晚上你还活着” => 周六才不死
这个前提在悖论中,每天都存在, 就是“前一天晚上还活着”
周四(或任一天)就绞死了, 前提没有了, 怎么有机会 到周五晚上开始往前反推呢?
理工科的人, 一看就明白。 而不会去指责出题在 用词不精确。 That is not the
point of this test.
avatar
x*n
17
这个不是问题。
你这样想,法官在这一周就计划好下周某一天执行死刑,他又承诺了囚犯不可能在头天
晚上知道下一天要行刑,那么他就不能计划在星期六,否则他的诺言就不能成立。逻辑
没有问题。

呢?

【在 C*********5 的大作中提到】
: 问题出在前提上
: “首先,下周六不可能被执行绞刑,因为假如下周六你被执行绞刑,那么下周五晚上你
: 还活着,你就一定会推算出是明天(即周六)要执行绞刑,”
: 看, 这里有个前提, 就是 “如果”“下周五晚上你还活着” => 周六才不死
: 这个前提在悖论中,每天都存在, 就是“前一天晚上还活着”
: 周四(或任一天)就绞死了, 前提没有了, 怎么有机会 到周五晚上开始往前反推呢?
: 理工科的人, 一看就明白。 而不会去指责出题在 用词不精确。 That is not the
: point of this test.

avatar
E*m
18
我試過用 modal logic (epistemic logic) 來描述這問題,
試圖推出這裡的問題,結果失敗。 這問題真的很難。 不過
有機會我會再試試看。
我的感覺是這問題並非語意不清, 而是self referencing,
現實和相信的互相影響導致矛盾。
avatar
E*m
19
用 Latex 標記
可以使用 B_{p,t}(F) 代表 p 這人在 t 時間相信 F statement 為真,
所以公設之一 是 B_{p,t-1}(F) --> \not F
F 代表 p 在 t 時間會被咖擦, 這個 modal operator 包含了時間,
所以定義很清楚, belief 是可以變的。
最後要推論出的是週四執行並不與公設矛盾。
avatar
x*n
20
我感觉这里的问题还是知道的语义不清。
知道的语义不能用传统逻辑学的概念来表达。用“能推理出”来表达是不对的,因为传
统逻辑中的推理都是在推理者完全了解这个系统的一切公理或者设定的情况下进行的,
套用在这个例子中,如果囚犯知道法官将用什么算法来确定行刑日期,那么法官的承诺
就肯定错了,不确定性是由囚犯不了解法官使用的逻辑系统来的。

【在 E*****m 的大作中提到】
: 我試過用 modal logic (epistemic logic) 來描述這問題,
: 試圖推出這裡的問題,結果失敗。 這問題真的很難。 不過
: 有機會我會再試試看。
: 我的感覺是這問題並非語意不清, 而是self referencing,
: 現實和相信的互相影響導致矛盾。

avatar
E*m
21
嚴格的說是“相信”(belief) 而不是“知道”(know)
epistemic logic 裡定義 know X= believe X and X is true
這早就超過一般的一階二階邏輯,但是也不是很新的邏輯系統
參看 http://plato.stanford.edu/entries/logic-epistemic/
當然我還沒解出來,不過我們是要找出一個 model 讓這個公設及前提
都為真而且不產生矛盾,這裡沒有不確定性。
這個證明的最後幾個statements 應該是
* 週三晚上囚犯相信週四不會執行
* 週四執行
這並沒有矛盾,相信的東西不一定為真(宗教就是這樣)。

【在 x******n 的大作中提到】
: 我感觉这里的问题还是知道的语义不清。
: 知道的语义不能用传统逻辑学的概念来表达。用“能推理出”来表达是不对的,因为传
: 统逻辑中的推理都是在推理者完全了解这个系统的一切公理或者设定的情况下进行的,
: 套用在这个例子中,如果囚犯知道法官将用什么算法来确定行刑日期,那么法官的承诺
: 就肯定错了,不确定性是由囚犯不了解法官使用的逻辑系统来的。

avatar
x*n
22
是啊,这个本来就是认识论的经典悖论,的确不是什么新东西。
认识论我不了解,感觉你把知道换成相信还是一样的,还是不能用传统方法进行推理,
比如你相信A,和A等价于B,并不能推出你相信B。对相信应该怎么推理?
法官的承诺是公理,对它应该是“知道”的,那么为什么通过律师的推理以后得出的结
论变成了“相信”?这个问题出在什么地方?

【在 E*****m 的大作中提到】
: 嚴格的說是“相信”(belief) 而不是“知道”(know)
: epistemic logic 裡定義 know X= believe X and X is true
: 這早就超過一般的一階二階邏輯,但是也不是很新的邏輯系統
: 參看 http://plato.stanford.edu/entries/logic-epistemic/
: 當然我還沒解出來,不過我們是要找出一個 model 讓這個公設及前提
: 都為真而且不產生矛盾,這裡沒有不確定性。
: 這個證明的最後幾個statements 應該是
: * 週三晚上囚犯相信週四不會執行
: * 週四執行
: 這並沒有矛盾,相信的東西不一定為真(宗教就是這樣)。

avatar
E*m
23
在行刑前只有法官是知道,其他人都是相信而已,但是這題裡法官
根本不須要當知道或相信的主體,會影響哪天行刑的只有囚犯的相信。
我突然覺得我好像已經解出來了,這裡的重點不是要推出哪天行刑,
而是要證明所有相關的statement 是不矛盾的。
1. 法官的承諾讓囚犯相信不會行刑, 這沒有問題,但是這只影響囚犯
的belief. 當然法官必須知道囚犯會邏輯推理。
2. 週四行刑滿足法官承諾,囚犯確實不知道(因為不相信)。
這些通通都沒有矛盾, 用簡單的 Kripke model 就可以。
事實上,在任何一天行刑都不矛盾。
追根究底,事實上是因為囚犯太講求邏輯了, 如果囚犯根本不會這樣推理,
每天都認定第二天會行刑,他反而死不了。
這故事告訴我們, 邏輯好的人死得快。
補充一下,你說的那個 A和B的問題
如果
Believe(A)
Believe(A=B)
是可以推出 Believe(B) 的,但是缺了Believe(A=B) 就推不出來了,這是
modal logic (不是 model logic) 的基本公設。
這個有例子的, 古時候的人不知道morning star 和 eveni

【在 x******n 的大作中提到】
: 是啊,这个本来就是认识论的经典悖论,的确不是什么新东西。
: 认识论我不了解,感觉你把知道换成相信还是一样的,还是不能用传统方法进行推理,
: 比如你相信A,和A等价于B,并不能推出你相信B。对相信应该怎么推理?
: 法官的承诺是公理,对它应该是“知道”的,那么为什么通过律师的推理以后得出的结
: 论变成了“相信”?这个问题出在什么地方?

avatar
s*g
24
说实话,我没看出来悖论在哪里。
律师的推理一开始就有明显的漏洞,比如即使他周五晚上最后一秒还活着,
并不代表一定要周六执行死刑,
因为他还有可能在这最后一秒接到死刑的通知。
所以,问题是在“瞬间”的定义上,好像黑白的交界线是属于黑,还是属于白,怎么说
都可以。
avatar
x*n
25
通知是第二天上午,不是头天晚上。

【在 s******g 的大作中提到】
: 说实话,我没看出来悖论在哪里。
: 律师的推理一开始就有明显的漏洞,比如即使他周五晚上最后一秒还活着,
: 并不代表一定要周六执行死刑,
: 因为他还有可能在这最后一秒接到死刑的通知。
: 所以,问题是在“瞬间”的定义上,好像黑白的交界线是属于黑,还是属于白,怎么说
: 都可以。

avatar
E*m
26
不要摳字眼,這題可以改成不知道哪一天執行。

【在 s******g 的大作中提到】
: 说实话,我没看出来悖论在哪里。
: 律师的推理一开始就有明显的漏洞,比如即使他周五晚上最后一秒还活着,
: 并不代表一定要周六执行死刑,
: 因为他还有可能在这最后一秒接到死刑的通知。
: 所以,问题是在“瞬间”的定义上,好像黑白的交界线是属于黑,还是属于白,怎么说
: 都可以。

avatar
x*n
27
你这也太不公平了,法官可以玩陷阱,你不能不让囚犯玩啊,凭啥囚犯就往陷阱里钻啊
。你这里等于法官和囚犯是在不同的层次上玩推理,而不是同一个逻辑系统了。
法官说出一个自相矛盾的承诺,囚犯推出矛盾,就不相信法官的承诺,结果反而让承诺
成真。那么囚犯自己就应该也能推出这一点。

【在 E*****m 的大作中提到】
: 在行刑前只有法官是知道,其他人都是相信而已,但是這題裡法官
: 根本不須要當知道或相信的主體,會影響哪天行刑的只有囚犯的相信。
: 我突然覺得我好像已經解出來了,這裡的重點不是要推出哪天行刑,
: 而是要證明所有相關的statement 是不矛盾的。
: 1. 法官的承諾讓囚犯相信不會行刑, 這沒有問題,但是這只影響囚犯
: 的belief. 當然法官必須知道囚犯會邏輯推理。
: 2. 週四行刑滿足法官承諾,囚犯確實不知道(因為不相信)。
: 這些通通都沒有矛盾, 用簡單的 Kripke model 就可以。
: 事實上,在任何一天行刑都不矛盾。
: 追根究底,事實上是因為囚犯太講求邏輯了, 如果囚犯根本不會這樣推理,

avatar
A*s
28
本版都是文科女生耶 :P

呢?

【在 C*********5 的大作中提到】
: 问题出在前提上
: “首先,下周六不可能被执行绞刑,因为假如下周六你被执行绞刑,那么下周五晚上你
: 还活着,你就一定会推算出是明天(即周六)要执行绞刑,”
: 看, 这里有个前提, 就是 “如果”“下周五晚上你还活着” => 周六才不死
: 这个前提在悖论中,每天都存在, 就是“前一天晚上还活着”
: 周四(或任一天)就绞死了, 前提没有了, 怎么有机会 到周五晚上开始往前反推呢?
: 理工科的人, 一看就明白。 而不会去指责出题在 用词不精确。 That is not the
: point of this test.

avatar
A*s
29

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
有趣邮趣

【在 x******n 的大作中提到】
: 你这也太不公平了,法官可以玩陷阱,你不能不让囚犯玩啊,凭啥囚犯就往陷阱里钻啊
: 。你这里等于法官和囚犯是在不同的层次上玩推理,而不是同一个逻辑系统了。
: 法官说出一个自相矛盾的承诺,囚犯推出矛盾,就不相信法官的承诺,结果反而让承诺
: 成真。那么囚犯自己就应该也能推出这一点。

avatar
E*m
30

真正的問題看來是大家沒搞懂要怎樣才算“解了”這問題。
規矩不是我定的,事實(事後看)也不是我編出來的, 在我看來
只是要找一個 valid interpretation (model) 讓這邏輯系統不崩潰
就算解了。
這裡只能說囚犯加律師的推理早被法官猜到了,所以法官的承諾完全
沒矛盾也確實成真。
囚犯能不能推出什麼不重要,重點是他就是按照法官預料到的方法推理了,
也就死定了。
如果囚犯聰明到高一層次, 知道他的 first order 推理有這漏洞, 這問題就
非常深奧了。

【在 x******n 的大作中提到】
: 你这也太不公平了,法官可以玩陷阱,你不能不让囚犯玩啊,凭啥囚犯就往陷阱里钻啊
: 。你这里等于法官和囚犯是在不同的层次上玩推理,而不是同一个逻辑系统了。
: 法官说出一个自相矛盾的承诺,囚犯推出矛盾,就不相信法官的承诺,结果反而让承诺
: 成真。那么囚犯自己就应该也能推出这一点。

avatar
x*n
31
说白了你就是加了一个假定,囚犯聪明程度有限,只能推到这一步,这个假定原文里没
有,所以你解决的不是这个问题,是另一个问题。

【在 E*****m 的大作中提到】
:
: 真正的問題看來是大家沒搞懂要怎樣才算“解了”這問題。
: 規矩不是我定的,事實(事後看)也不是我編出來的, 在我看來
: 只是要找一個 valid interpretation (model) 讓這邏輯系統不崩潰
: 就算解了。
: 這裡只能說囚犯加律師的推理早被法官猜到了,所以法官的承諾完全
: 沒矛盾也確實成真。
: 囚犯能不能推出什麼不重要,重點是他就是按照法官預料到的方法推理了,
: 也就死定了。
: 如果囚犯聰明到高一層次, 知道他的 first order 推理有這漏洞, 這問題就

avatar
E*m
32
沒加什麼徦定,全部都在原題裏。
avatar
s*g
33
能这么化简一下:
如果囚犯知道自己何时死,法院就不能执行死刑。
如果法院不执行死刑,囚犯就不可能知道自己什么时候死。
既然囚犯就不可能知道自己什么时候死,法院就可以执行死刑。
如此循环
avatar
x*n
34
你这个逻辑不通,死刑执行以前你不能断定囚犯知不知道自己何时死,死刑执行以后法
院不能执行死刑就成了空话。
除非你把知道改成猜到。

【在 s******g 的大作中提到】
: 能这么化简一下:
: 如果囚犯知道自己何时死,法院就不能执行死刑。
: 如果法院不执行死刑,囚犯就不可能知道自己什么时候死。
: 既然囚犯就不可能知道自己什么时候死,法院就可以执行死刑。
: 如此循环

相关阅读
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。