F****n
发帖数: 3271 | 1 Logic Theory is not coming from Mathematics, either. The marriage of Logic
and Math is a 20th century event. CS is essential to modern logic theory,
which aims to find out how truth can be manipulated MECHANICALLY (this is a
CS concept). If you know something about today's logic, you will be familiar
with a lot of theories with terms such as "recursively enumerable". That's
the mark of CS. |
|
F****n
发帖数: 3271 | 2 public class H2O {
public static class ThreadHolder {
Thread thread;
ThreadHolder(Thread thread) {
this.thread = thread;
}
}
protected LinkedList hlist = new LinkedList();
protected LinkedList olist = new LinkedList();
public boolean h() {
ThreadHolder current = new ThreadHolder(Thread.currentThread());
synchronized (current) {
ThreadHolder[] threadsToWakeUp = null;
// updating the queues requires a global lock;
sy... 阅读全帖 |
|
F****n
发帖数: 3271 | 3 public class H2O {
public static class ThreadHolder {
Thread thread;
ThreadHolder(Thread thread) {
this.thread = thread;
}
}
protected LinkedList hlist = new LinkedList();
protected LinkedList olist = new LinkedList();
public boolean h() {
ThreadHolder current = new ThreadHolder(Thread.currentThread());
synchronized (current) {
ThreadHolder[] threadsToWakeUp = null;
// updating the queues requires a global lock;
sy... 阅读全帖 |
|
a**********g
发帖数: 48 | 4 IC Design, Logic Design Technical Manager
Job#918
Job location: San Jose, CA
Responsible for architecting, implementing highly integrated and complex
multifunctional SOC designs.
1. Generate or enhance SOC platforms that could incorporate processor,
graphics, memory and high speed IO.
2. Manage and implement a complex Chip design from define the goals,
requirements, execution plan, defining critical milestones, create the
specification, Register-Transfer Level (RTL)coding to Physical Chip
... 阅读全帖 |
|
h********l
发帖数: 239 | 5 "readiness is nonsense"这句话是他老人家原话，虽然说得狠了点。给娃越多的机
会，娃就会发展得越快。
这话不光狠，也有误导性啊。孩子发展是有阶段的，看看皮亚杰的儿童发展理论吧。
The four development stages are described in Piaget's theory as:
Sensorimotor stage: from birth to age 2. Children experience the world
through movement and senses (use five senses to explore the world). During
the sensorimotor stage children are extremely egocentric, meaning they
cannot perceive the world from others' viewpoints. The sensorimotor stage is
divided into six substages: "(1) simpl... 阅读全帖 |
|
n********h
发帖数: 13135 | 6 “Follow up with logical consequences”，孩子被打，然后自己被打一下，就是很
LOGICAL的SEQUENCE。别的不说，你家孩子在幼儿园打别的孩子，估计对方还手的可能
性很大。就算动物，一个动手了，另外一个基本的态度就应战。
有些LOGICAL SEQUENCE对孩子来讲，不可能一下子显现出来。比如这个打人，对方会不
高兴，久了没有朋友，甚至长大会进监狱，你没有办法让两岁的孩子立刻体验到，那家
长就要给孩子制造一个LOGICAL CONSEQUENCES。 |
|
t*******r
发帖数: 22634 | 7 马克兄，俺本着严肃认真的态度，更正一下上面的证明过程。
俺今天早上其实跟娃花了几分钟 review 了一下这个“负负得正”
（这个差不多一年前说的）。娃说忘了具体证明过程，然后俺快速
复述的时候，发现俺昨天贴方式不太好。具体来说：
（1）不要用瓶子和天平。那个是俺后来解释方程和代数用
的。证明负负得正不需要那些乱七八糟的东西。Simplistic is better。
而且东西越少，越适合在大脑中直接分析，不需要草稿纸。
（2）同上，不要用 2 个 ball，3 个 hole。object 数目
多了反而混乱。
（3）要完整证明 “正负得负” 和 “负负得正”。只证明
“负负得正” 反而会 confuse 娃。
（4）即使娃忘了具体证明过程，俺问过娃后来有没有犯符号
错误（粗心不算），娃说没有。。。俺认为娃版证明还是有用
的，即使是忘了，但是 subconscious may drive instinct。
我现在重写一下对娃比较易懂的证明：
0 是 empty/nothing
(+1) 是 ball
(-1) 是 hole
0 => (+1) + (-1)
0 * (+1) = 0
... 阅读全帖 |
|
h*******1
发帖数: 4830 | 8 9 Things Every Parent with an Anxious Child Should Try
As all the kids line up to go to school, your son, Timmy, turns to you and
says, "I don't want to take the bus. My stomach hurts. Please don't make me
go." You cringe and think, Here we go again. What should be a simple morning
routine explodes into a daunting challenge.
You look at Timmy and see genuine terror. You want to comfort him. You want
to ease the excessive worry that's become part and parcel of his everyday
life. First, you try lo... 阅读全帖 |
|
t*******r
发帖数: 22634 | 9 其实说实话，真正的轻微自闭可能搞理论代数还可以，做大多数厂子
里的马工（不是纯理论那种），还不一定有优势。。。因为厂子里的
马工，就算是半研究性质，本质上是用 information science 来
解决现实世界的不完美问题。。。所以对 comprehensive 的能力，
比对 formal logics 本身的能力，要高太多了。。。当然，总有
特例存在。。。
说实话，俺上班很多时候，动参数、抓 bug、判断优化走向，其实
大部分靠 gamble 的。。。俺经常的模式是，每天上午看结果 gamble、
下午马 code 或者去 server farm 赶羊，转天看结果。。。其实
马工判断很多时候是靠 guts 而不是 logics。
当然，马工的 logics / formal logics 再差，唬唬一般非马工
大众还是妥妥的。。。根本不用到啥着迷的程度，也就是闲着也是
闲着的时候，骗骗几个大妈而已。。。// super fast run
话说昨晚娃问 zero's product property 能证明么？俺立马三下五
除二现场证明给娃看的时候，结果俺一不留神给搞成循环论证... 阅读全帖 |
|
s*****e
发帖数: 6053 | 10 ☆─────────────────────────────────────☆
cool2001 (cool2001) 于 (Sat Apr 11 09:55:34 2015, 美东) 提到:
Wellesley, Williams College之类的，不比Cornell差？我知道有女娃选Wellesley不
选哈佛的，还是很熟的朋友的女娃，老妈自己本身是藤校毕业的，对藤校不是很青睐。
就课堂体验来说，小课堂确实更能学到东西，发言机会很多，和教授都认识。综合学校
小课太少，基本都是乌泱乌泱的人在上。而且我听了Wellesley的一些故事，感觉他们
办学还是很有特色的，听起来和藤校不太一样。
对于top综合性学校的优势，我自己感觉是学生水平清一色都真的不错，能跨进大门的
，包括各种政策照顾进来的，都不会太菜，平时hang out，都能在他们身上学到东西。
如果我有娃，我未必会推藤校，感觉文理学校也不错的。
☆─────────────────────────────────────☆
logic98 (logic) 于 (Sat Apr 11 10:13:59 201... 阅读全帖 |
|
t******l
发帖数: 10908 | 11 我继续砍 Piaget 老先生的 concrete operation vs formal operation
http://en.wikipedia.org/wiki/Piaget%27s_theory_of_cognitive_dev
正如 wiki 所说，我认为第一个问题也就是 “domain general” 的问题：
[quote from wiki] Piaget's theory is "domain general," predicting that
cognitive maturation occurs concurrently across different domains of
knowledge (such as mathematics, logic, and understanding of physics or
language). [/quote]
具体而言，我个人觉得 Piaget 是从 verbal-logic，也就是 empirical-logic 的角度
来 asses 的。。。这个可能对于 space-time-pattern analytic... 阅读全帖 |
|
t******l
发帖数: 10908 | 12 如果岛上所有人都是棕色眼镜，也就是外国游客说的话是错的，根据时间起点一样可以
所有人都翘翘。
我觉得你的隐含假设是 logistician 只限于 “通常意义上的” simple binary
logics expression，但其实这个跟 counting days 是自相矛盾的，因为 counting
days 不是 “通常意义上的” simple binary logics expression。。。
如果你扩展 “通常意义上的” simple binary logics expression，那就没有理由不
能存普朗克常量。。。也就是不限于 “通常意义上的” simple binary logics
expression 的话，罗素说你就不能排除 deterministic-abstract-machine。
：老掉牙的题了，推理很简单。不过为啥游客说的不是废话呢。简单一点，假设只有三
个蓝眼睛。
：命题一，每个人都知道存在蓝眼睛 |
|
t******l
发帖数: 10908 | 13 或者用我自己的话，（当然跟疯言疯语区别也不大了，要么就把这些有关时间的疯话，
当海子在疯人院里写的诗歌看好了）。。。我觉得 ：
The most physics-wise absurdity of modern mathematics, is there never ever
be any axiom regarding time itself, yet it take deductive logics as granted.
Physics-wise, deductive logics is just the another side of time. Or in
another word, causality.
To avoid deductive logics run into physics-wise absurdity, deductive logics
probably need at least (1) start point of time (2) arrow of time (3) speed/
granularity of time.
当然说是这么说，俺这种 USA... 阅读全帖 |
|
t******l
发帖数: 10908 | 14 现实的说，schizophrenia 没的根治。推而广之, delusion 以及 false belief 也没
的根治。
这个问题是，我们大脑的 verbal reasoning on belief（或者数学的说，epistemic
modal logic），仅仅靠其本身无法区分 reality vs delusion。
关于这个不需要复杂的数理逻辑，简单的说就是 epistemic modal logic 常常导致
possible world model，而 resolve possible world model 需要其他的东东(beyond
epistemic modal logic)。。。而有争议的说，schizophrenia 的 delusion，可能就
是 schizophrenia 在 perceive another possible world, which is not real。
http://en.wikipedia.org/wiki/Epistemic_modal_logic#Problems_with_the_possible_world_model... 阅读全帖 |
|
D**S
发帖数: 24887 | 15 It is surprising that you are more interested in the so-called logics that
the historical facts. You never ever mentioned Chin being killed as if this
was totally irrelevant in the original post. No wonder I could not follow
your logic, because I am not a person who is merely governed by logics. And
you can feel relieved by your own definition of hate crime. Good for you.
And by the way, why don't you talk logics to the white trash who killed Chin?
board.
it
do |
|
h*******g
发帖数: 2201 | 16 Logic, again,you proved your failure in logic. What was your GRE logic score
, or you did not pass it ? ; )
You have no logic using Palestinians' fight against Israel. The two sides
have an asymmetry in firing power, although P has guns and rockets, they do
not have the advanced weaponary systems as Isael does. That will be the same
case if you have kinives for cooking at home while the intruders have guns,
you and your families will be the pathetic Palestinians in that case, if
you choose not t... 阅读全帖 |
|
|
z*****3
发帖数: 15515 | 18 你这么讲理没用的 他只会用别人的logic支持自己的事实 然后用自己的logic推翻自己
的事实 再用别人的logic支持自己的logic 最终无视事实 |
|
c******t
发帖数: 1733 | 19 The best summary for getting to 10 minute sets
http://www.kbmike.com/2007/11/logical-progression-road-to-ten-m
Nine, ten, eleven, twelve... Put the weight down. Isn't that how a typical
weight lifting set goes? Not any more. Whether for fitness, strength
conditioning, or kettlebell sport, once you learn proper technique and
programming, it's nothing but timed sets for real kettlebell training. This
article will focus on progressing to ten minutes with one hand switch in the
classic exercise know... 阅读全帖 |
|
c******t
发帖数: 1733 | 20 The best summary for getting to 10 minute sets
http://www.kbmike.com/2007/11/logical-progression-road-to-ten-m
Nine, ten, eleven, twelve... Put the weight down. Isn't that how a typical
weight lifting set goes? Not any more. Whether for fitness, strength
conditioning, or kettlebell sport, once you learn proper technique and
programming, it's nothing but timed sets for real kettlebell training. This
article will focus on progressing to ten minutes with one hand switch in the
classic exercise know... 阅读全帖 |
|
s*****h
发帖数: 44903 | 21 ☆─────────────────────────────────────☆
thread23 (noname) 于 (Tue Oct 8 23:17:32 2013, 美东) 提到:
圣佩顿一声炮响，给丹佛野马送来了超级offense。如今5轮过去，全联盟都在悲观的预
测谁能挡住我野驴的恐怖进攻。美国星星队刚在自己主场被PM大卸八块，肉末的神级表
演也未能挽狂澜于既倒。。。下面该大拉克引颈受宰了。这以后，拍子红人都不在话下。
唯一能挑战我圣佩顿率领的大野驴，只有12月的弃妇主场。
都说海鹰魔鬼主场，狐狸堡风雪可怕。。。其实12月弃妇的Arrowhead主场才是客队输
球率最高的地方。平时弃妇不咋样，一到12月的Arrowhead-----god bless you!
今年我野驴的offense达到恐怖级，连破多项数据，除了两个Thomas，Decker，歪客这
些长枪短炮，跑锋Moreno其实帮了大白菜一大把，大家没太注意到。
RB分两类，一类是雷大米这类north-south的壮汉型power RB，尼玛吨位大、蛮壮得象
头牛，常常把拦截的LB撞个人仰马翻；另一类是我... 阅读全帖 |
|
D*******r
发帖数: 2323 | 22 同为棋类游戏，普遍认为fritz chess benchmark最能反映机器跑zen6的计算力。
遗憾的是，最新版的fritz chess benchmark最多支持16核的跑分测试。那么有32个
logical processor的双路E5的象棋跑分到底该如何估算？
前几天和minigun网友交流，我们都同意一个hyper thread的计算能力不能等同一个物
理核，也就是说，将超线程打开，其计算力不会是没有enable超线程的两倍。但是到底
是多少倍呢？我和minigun网友的意见略有不同，我认为应该有1.5倍，minigun认为对
于heavy load的任务，超线程对CPU计算力的提高非常有限，因为其实是一个核的计算
能力分配到两个线程上去计算。
为此，我做了以下几个测试：
1. 关闭超线程，在fritz chess benchmark里把“使用线程数”设为8，跑分结果是
17000。
2. 关闭超线程，在fritz chess benchmark里把“使用线程数”设为16，跑分结果是
20800。
3. 打开超线程，在fritz chess benchmark里把“使用线程数... 阅读全帖 |
|
x*****n
发帖数: 3422 | 23 如果是玩打枪或者音乐类，视频信号最好不要过receiver，就算是receiver选HDMI
signal passthrough一般也是有少许lag的。
少许lag重要吗？个人经验对fps和rocksmith是重要的。
数字电视一定有延迟，game mode可以减少lag，但不能消除lag。
现在monitor理想情况可以做到~10ms。大hdtv，超过55寸，40ms就算很好了：
http://www.displaylag.com/display-database/
网络lag和display lag是两回事，因为射击判定是在本地cpu上做出的。举个现在的例
子：
What is Killzone Shadow Fall’s multiplayer network structure like?
Killzone Shadow Fall has dedicated servers hosted in various regions around
the world. These servers do not run the logic of the game – they only... 阅读全帖 |
|
x*****n
发帖数: 3422 | 24 你说的这种architecture是老皇历了。 举个现在的例子：
What is Killzone Shadow Fall’s multiplayer network structure like?
Killzone Shadow Fall has dedicated servers hosted in various regions around
the world. These servers do not run the logic of the game – they only act
as a hub between the clients, forwarding network traffic from one player in
game to all other players in game. This allows people with a slower
connection or strict firewall settings to play without issues. Almost all
logic relating to you (e.g. movi... 阅读全帖 |
|
s**********n
发帖数: 3199 | 25 7788我居然都看了。。。
一些很有意思的，如果不读大作，我不会至少现在接触到的东西，比如对马克思，对文
革的一些讨论。无论什么原因，这两者对我如果又影响，也是飘渺不真实的令人厌恶的
道听途说。籍由大作能稍稍了解一下亲历者的仔细深入的讨论和思考，非常有趣。
我喜欢讨论具体问题，下面是两个：
（1）关于辩证法的讨论，尤其，塞翁失马结合文革的讨论，有趣也有说服力。
有说服力的意思是乍看之下看不到明显的可以反驳的弱点－－这当然离可以将大作的解
读作为“辩证法、塞翁失马”的exclusive（complete从而排他）解读差很远。
但是在论题讨论之外，有一点我不欣赏的，就是用理论在实际应用中的坏作用来反驳削
弱理论本身这种做法。
这种做法在“逻辑”（下面会谈到）上没有漏洞，所以我只说不“欣赏”。
为什么不欣赏？
没有辩证法，文革就找不到合适的理论来了吗？欲加之罪何患无辞？
就避免悲剧重演而言，我以为，我们应该努力约制的不是某个有缺陷、助纣为虐的理论
，而是暴君，不约束暴君的种种因素本身。
而不是悲剧怎样被理论合理化的。
again，打击理论从而证明悲剧的不合理性固然重要，以为摆脱了那个理论就能... 阅读全帖 |
|
b*s
发帖数: 82482 | 26 我也来一个书单：
Homer – Iliad; Odyssey
The Old Testament
Aeschylus – Tragedies
Sophocles – Tragedies
Herodotus – Histories
Euripides – Tragedies
Thucydides – History of the Peloponnesian War
Hippocrates – Medical Writings
Aristophanes – Comedies
Plato – Dialogues
Aristotle – Works
Epicurus – "Letter to Herodotus"; "Letter to Menoecus"
Euclid – Elements
Archimedes – Works
Apollonius – Conics
Cicero – Works (esp. Orations; On Friendship; On Old Age; Republic; Laws;
Tusculan Disputations; Offices)
Lucreti... 阅读全帖 |
|
j***b
发帖数: 5901 | 27 You also wrongly emphasized the notion of logic here.
It's not about logic, it's about what assumptions we make. If you assume
that in reality a little girl can be perfectly neglected by everyone, then
the flightplan will be much more logical, just as if you assume scientists
can teleport a person, the prestige will be logical. So, it's about what we
assume. We all know these assumptions are not true. But when we watch movies
, we can let our reality check have a rest and allow these assumptions... 阅读全帖 |
|
a*******u
发帖数: 6324 | 28 呵呵，logic通常不是用来简单录歌玩的，logic是用来编曲的。
当然logic是可以用来录歌的。
logic再加上jampack那一堆几十个G的东东就可以做很多事情了。 |
|
a*******u
发帖数: 6324 | 29 呵呵，logic通常不是用来简单录歌玩的，logic是用来编曲的。
当然logic是可以用来录歌的。
logic再加上jampack那一堆几十个G的东东就可以做很多事情了。 |
|
|
k**o
发帖数: 3006 | 31 ☆─────────────────────────────────────☆
tyning (Mens et Manus) 于 (Tue Nov 20 16:43:19 2012, 美东) 提到:
前面我说了，Boston以前一直来这个版时不时灌两瓢水，大家一直相安无事。
大概这次手机摄影投票风波之前一个礼拜吧。因为言语不和，她和我以及一些老ID们炒
了一架。其中x5和nikonshooter对她表示了一些不屑和讽刺。
那次的风波大体如下：
Boston本来也经常到Photogear来灌一些无关话题，无非就是房子，车子，lease了
Bimmer买了Prosche，做的饭，养的花之类的。大家也挺喜闻乐见的。因为大家知道她
不工作的，所以经常恭维她一句"少奶奶"，至少她从来没表示出来反感。
有一天类似的话题，反正不知道怎么了，几个老ID对她的BSO表示的有点不屑，其中我
帖子里说她是F2(我的意思是"F2代"这个在佛版是大家约定俗成的简称，不过Boston好
像不知道，以为我说她拿F2 visa)，反正就是很不高兴，然后贴子里面说我"抠抠缩缩
的有什么意思，不知道对自己好点？... 阅读全帖 |
|
k**o
发帖数: 3006 | 32 ☆─────────────────────────────────────☆
lli (Look Like iDol) 于 (Sun Feb 24 11:13:03 2013, 美东) 提到:
在鞋厂的组合拳攻击下， 显出了力不从心
以前低估了鞋厂，看来内功深厚啊
☆─────────────────────────────────────☆
svntn (17) 于 (Sun Feb 24 11:29:09 2013, 美东) 提到:
现在就是先下手为强，后下手遭殃。现在的市场容量，两虎并存谁都吃不饱。
☆─────────────────────────────────────☆
waleye (damangler) 于 (Sun Feb 24 12:02:32 2013, 美东) 提到:
我原来也以为 佳能和尼康很实力很接近。
实际情况不是这样的。
佳能才是真真的强者（虽然我更喜欢尼康），佳能的技术储备比尼康强很多。但是，他
不像尼康这样慷慨。基本上它是看尼康出牌。。。它总有牌把尼康压住。他的货很多，
尼康倾囊出一次货，佳能比你出多一点，即使... 阅读全帖 |
|
n**m
发帖数: 40 | 33 http://www.top-law-schools.com/personal-statement-examples.html
What’s Strong:
This personal statement is constructed like a poem: there is a rhythm to it
that draws the reader in; there is also verbal play and the construction of
a somewhat mysterious self-portrait. This applicant had an impressive 4.0
GPA and 178 LSAT, so he could be a risk-taker with the personal statement.
This essay stands out because it is more artfully designed than other
statements. This is a good strategy if you are... 阅读全帖 |
|
t*******r
发帖数: 22634 | 34 我这么说：
第一：这个高楼是现代数学跟古典数学的冲突。你看看我花了多少时间，
大部分人不一定花我这么多时间。
第二：如果按照码工所使用的现代集合论硅谷实用版，你的证明的确到“可知”
那步就断了。因为 formal logic 到那一步，写不出来。写不出来的
原因是因为 “可知” 是基于那句自然语言 “如果素数是有限的”。而那句
在 formal logic（比如我写的 yacc 伪码），无法表述。
（yacc 伪码里，如何放这句自然语言 “如果素数是有限的，所以。。。”
进去？ 你如何创建一个 token，来代表 “如果素数是有限的”？）
第三：我觉得绝大多数码工，思维习惯是基于现代数学的。比如：
如果让码工在 job interview 的时候快速写一个实用素数序列发生器，
估计绝大部分码工都会让素数序列发生器保持已经产生的完整的前N个素数
序列在内存里，然后根据其产生下一个素数，不断添加那个序列。一直到
满足尺寸要求。。。
你如果看我的程序，差别只是我把已经产生的完整前N个素数保持在参数里
而不是内存里。那个差别主要是为了讨论的目的，满足能在 LR文法的
yacc概念虚拟机上跑程序... 阅读全帖 |
|
t*******r
发帖数: 22634 | 35 你说的有道理。
其实我发现这个是自然语言解释时的产生的附加二义性问题。
我现在有一个问题，就是能不能用自然语言准确地无二义的描述 formal logic。
如果回答是 yes。那么我们这个 formal logic 有啥用？
如果回答是 no，那么只要 formal logic 能够无二义的定义了这些 token，
那这事也就完事了。这个是“小于a”还是“不等于a”实际上是我们人为加上去的，
也就是人为的解释 formal logic，从而造成的二义性。
:-) |
|
t******n
发帖数: 2939 | 36 ☆─────────────────────────────────────☆
puremj (puremj) 于 (Sat Apr 27 01:57:47 2013, 美东) 提到:
1，孙铊团伙存在重大嫌疑，案件没有昭然天下之前，永远背负“铊毒”的罪名
2，孙铊可能被冤枉，毕竟没有足够的证据；
3，孙铊不可能下毒，朱令宿舍外的人(bzc,或朱令男友，或朱令父母，或其他)更值
得嫌疑
4.孙铊团伙存在重大嫌疑，但在案件没有昭然天下之前，不应背负“铊毒”的罪名(疑
罪从无)
...
☆─────────────────────────────────────☆
puremj (puremj) 于 (Sat Apr 27 01:58:21 2013, 美东) 提到:
我选1
1：0：0
☆─────────────────────────────────────☆
bxt2013 (怎么了) 于 (Sat Apr 27 01:58:49 2013, 美东) 提到:
1
☆──────────────────────────────... 阅读全帖 |
|
t******n
发帖数: 2939 | 37 ☆─────────────────────────────────────☆
Acat001 (阿猫) 于 (Mon May 6 00:45:49 2013, 美东) 提到:
就两个字可以形容，包子！
☆─────────────────────────────────────☆
zhaoce073 (迟到早退不思上进的蜥蜴) 于 (Mon May 6 00:46:24 2013, 美东) 提到:
怎么说？
☆─────────────────────────────────────☆
firework001 (firework) 于 (Mon May 6 00:52:28 2013, 美东) 提到:
这个俺也有同感。
大女儿不明不白地死了，就这么过去了。小女儿病得那么严重，还放回去让去上学。在
学校里据说是基本在宿舍躺着，也干不了什么，那还在宿舍呆着干嘛，养病得在家养啊
。贝查出来极有可能是铊中毒，这种为自己女儿争分夺秒争取治疗的时候，却显得那么
软弱，犹豫，只等着女儿眼看不行了，等死的时候，才去求人做铊检验。
这个当妈的，是有点软弱。但是希望朱... 阅读全帖 |
|
t******n
发帖数: 2939 | 38 ☆─────────────────────────────────────☆
xiongyp (dreamrain) 于 (Fri May 24 08:41:56 2013, 美东) 提到:
我们假设不知道什么叫素数，我们对正整数集合进行如下的定义来定义素数。（这是从
链接上取下来的，也是I63的定义）
(1) 1不是素数 (base case)
(2) a是素数当且仅当a不能被任何小于它的素数整除。
我曾经多次指出，这个定义在用素数定义素数，是不正确的。但看到很多的反驳如下。
1不是素数, 我们考察2，发现小于2的素数集合为空集，于是2为素数。以此再往下递归
，得出所有素数的定义。我想昨天深入讨论此内容的人，都不会反对我的总结吧。关于
"小于2的素数集合为空集"推出"2为素数"，因我的不慎，还做出过郑重道歉。
好，我们仿造这种递归定义，来定义偶数。
我们假设不知道什么叫偶数，我们对非负整数集合进行如下的定义来定义偶数。
(1) 0不是偶数 (base case)
(2) a是偶数当且仅当a与任何小于它的偶数之差为2的倍数。
我从base case开始。0不是偶数。我们考察... 阅读全帖 |
|
G****e
发帖数: 11198 | 39 The Darker Side Of God
If you ask Christians to describe their quasi-chosen god of worship,
you’ll often hear such descriptors as “wonderful” and “loving.” This
choice of selective designation seems commonplace within the Christian
community. In fact, most churches ignore the Old Testament all together so
that the members feel comfortable propagating this view. Fueled by such
blatant omission, this lengthy chapter will fill the void by offering a look
at the volume of horrendous acts perfo... 阅读全帖 |
|
d**********o
发帖数: 1321 | 40 所有测试文件
aamain2.c-
aamain2.expected
aamain2.in
aamain2.out
aamain2.tm
aamain3.c-
aamain3.expected
aamain3.out
aamain4.c-
aamain4.expected
aamain4.out
aamain4.tm
aamain5.c-
aamain5.expected
aamain5.out
aamain.c-
aamain.expected
aamain.out
aamain.tm
aasmaller.c-
aasmaller.expected
aasmaller.out
all.c-
allErrors2.c-
allErrors2.expected
allErrors2.in
allErrors2.out
allErrors.c-
allErrors.expected
allErrors.in
allErrors.out
all.expected
all.in
all.out
arglist2.c-
arglist2.expected
arglist2.out
arglist... 阅读全帖 |
|
d**********o
发帖数: 1321 | 41 所有测试文件
aamain2.c-
aamain2.expected
aamain2.in
aamain2.out
aamain2.tm
aamain3.c-
aamain3.expected
aamain3.out
aamain4.c-
aamain4.expected
aamain4.out
aamain4.tm
aamain5.c-
aamain5.expected
aamain5.out
aamain.c-
aamain.expected
aamain.out
aamain.tm
aasmaller.c-
aasmaller.expected
aasmaller.out
all.c-
allErrors2.c-
allErrors2.expected
allErrors2.in
allErrors2.out
allErrors.c-
allErrors.expected
allErrors.in
allErrors.out
all.expected
all.in
all.out
arglist2.c-
arglist2.expected
arglist2.out
arglist... 阅读全帖 |
|
c**********h
发帖数: 496 | 42 你如果这么好奇，这么好学，就应该知道有一种自学用具叫做字典。
另外，您说的“你这没有logic呀”，也请您证明鉴定我这怎么就没有logic了。还有，
请您证明给我看，为什么先解释了logic和fallacy，才能解释logic fallacy。 |
|
G****e
发帖数: 11198 | 43 【 以下文字转载自 WaterWorld 讨论区 】
发信人: GoBlue (Wolverines), 信区: WaterWorld
标 题: The Darker Side Of God
发信站: BBS 未名空间站 (Sat Jul 12 13:10:33 2014, 美东)
The Darker Side Of God
If you ask Christians to describe their quasi-chosen god of worship,
you’ll often hear such descriptors as “wonderful” and “loving.” This
choice of selective designation seems commonplace within the Christian
community. In fact, most churches ignore the Old Testament all together so
that the members feel comfortable propagatin... 阅读全帖 |
|
d*********2
发帖数: 48111 | 44 代表的是感性, 感性的人类都被宇宙选择淘汰了.
理性的人类生存的机会就大了很多(北海兄).
诚信和AA是一个理性的人类(logic)开金手指放出来的, 其实logic大可以把两个毙了,
或者带着两房私奔宇宙. 其实logic最后不逃命也是不可理喻的, 星环号的旧型都可以
承载5人深海, 曲率貌似还无上限(除了生存系统, 但是要求很低). logic突然就不逻辑
了, 平白杀死了1/3的地球人.
所以最后宇宙里, 只有理性的文明能够生存, 感性的都地球了.
黑暗森林的正反馈效应, 越来越黑. |
|
o*****p
发帖数: 2977 | 45 think too much so that you confuse yourself, this is my opion about your
consideration of “理性”.
Logics is part of the principle of“理性”, just think weather Logics is
a statistics principle--- most thing are illogical but the average of them
is logics? Of course not.
1. Logics principle, and “理性” principle are not statistics principle, no
matter they are true or wrong.
2. Human find these principles useful, --- no matter how they find it---
because they ARE useful, they are here like math |
|
o*****e
发帖数: 435 | 46 你好像大概明白。
察
这个，你想说的是演绎逻辑(DEDUCTION LOGIC)。数理逻辑(MATHAMETIC LOGIC)的说法是
为了强调其公式化，可用于编程。
这个，你想说的是归纳逻辑(INDUCTION LOGIC)。
演绎逻辑和归纳逻辑都属於形式逻辑(FORMAL LOGIC)。 |
|
R*o
发帖数: 3781 | 47 http://blog.guidedbytruth.com/johnthreesixteen.php
In order to believe in Calvinistic theology, a person must explain why the n
ormal text of a passage simply does not say what it appears to say. John 3:1
6 is probably the most popular Bible verse in all the world, and yes, by tha
t I mean the entire world. I could be wrong, but needless to say, many peopl
e, even non-Christians, know this verse by heart. However, according to Calv
inists, this verse does not really mean exactly what it says. To... 阅读全帖 |
|
G*******s
发帖数: 4956 | 48 Blinded By Tradition:
An Open Letter to Dave Hunt
Regarding His Newly Published Attack Upon the Reformation, What Love Is This
? Calvinism's Misrepresentation of God
James White
Updated 5/16/02, see bottom of file
Dear Dave,
In the period of time since I finally received my own copy of your book (you
may recall I scanned through it while standing at your table in St. Louis a
t the PFO Conference) I have gone through a number of different emotions. A
t first I was just going to do one Dividing ... 阅读全帖 |
|
u*******n
发帖数: 112 | 49 As I said, Bible's teaching is not through reasoning and proof. Sin and
salvation can only be perceived by self-reflection.
The things important are not about whether Bible is true or not whether the
verses have discrepancy. Bible just provide a context for the readers and
believers to reflect their own life, for their own sin and their own
salvation.
Any theory has assumptions, or flaws if assumptions are not meet. Bible is
not about theory, it talks about truth. Theory tries to do that also, b... 阅读全帖 |
|
