How Gödel numbers turn mathematical laws against themselves
通过将数学陈述编码为数字，数学家库尔特·哥德尔使用普通算术来检查陈述是否可以被证明
How the mathematician Gödel proved that not everything can be proven
陈述可以是真或假。但正如库尔特·哥德尔所证明的那样，总会有一些数学假设既无法被证明也无法被证伪
The right to a fair trial in India's military legal system
军事法规定的纪律程序在被告指挥官 (CO) 同意提出指控后开始。在军事法庭审判的情况下，召集法庭的官员同样对其正确性负责。听取指控的程序载于 1993 年修订的《陆军规则》第 22 条中。修订前，《陆军规则》第 22 条内容如下： 指控听证会：(1) 针对除军官外的该法案管辖人员的每项指控均应在被告在场的情况下进行听证。被告有充分的自由盘问任何对他不利的证人，传唤任何证人并作出任何辩护陈述。 (2) 如果指挥官认为证据没有表明已经犯有该法规定的某些罪行，则指挥官应驳回向他提出的指控，并且如果指挥官认为不应继续进行指控，则可以驳回向他提出的指控。 (3) 在指控听证结束时，如果指挥官认为应当继续
Sen. Kelly First Amendment Case: Government Cannot Be Arbiter of Its Own Speech Restrictions
在美国参议员马克·凯利向他的战友保证“我们的法律很明确。你可以拒绝非法命令”后，国防部表示，凯利可能会受到减少退休工资、降级、召回现役，甚至刑事起诉。一月份，参议员凯利提起诉讼，指控侵犯了他的第一修正案权利。在昨天的口头辩论之前，卡托研究所的学者向华盛顿特区巡回法院提交了一份支持参议员凯利的非当事人意见陈述。在简报中，卡托研究所罗伯特·A·利维宪法研究中心主任托马斯·贝里和卡托研究所罗伯特·A·利维宪法研究中心高级法律研究员丹·格林伯格认为，行政部门无权决定哪些言论受到保护，部分写道：“政府认为，应该由政府单独决定哪些退役军人的言论受到保护，哪些言论不受限制。”在政府看来，凯利参议员含蓄地敦促
