博文
花儿的新专辑听了好几遍，感觉很不错。今天上网了解发现，我比较喜欢的新歌《大喜宙》居然又涉嫌抄袭。新浪新闻的原文：今年6月，花儿乐队的单曲《果汁分你一半》发行不到一周，就有人对这支单曲的原创性表示了怀疑。然而“屡教不改”的花儿乐队，9月19日又被爆出“涉嫌抄袭”丑闻———原定于9月19日发行的《花天喜世》专辑中又有涉嫌抄袭的歌曲，百代唱片公司无奈只得紧急回收已发往全国的20万张唱片。
疑似抄袭对象有多个版本：1.朴志胤《什么都不知道》、2.郭富城《月满抱佳人》、3.翼乐团《梅岚梅岚我爱你》。比较了一下，被传抄袭最多的《什么都不知道》似乎跟《大喜宙》差别比较大，我不是学音乐的，单从一个普通听众的反复比较之下，觉得实在说不上抄袭。不过后面两首歌的前面四句和《大喜宙》的确很象，尽管节拍的快慢不同。《月》是老歌，《大》和《梅》都是今年的新歌，他们互相“借鉴”可能性不大，但是否同时“借鉴”了《月满抱佳人》就不得而知了。至于其他流传的所谓80年代的某歌曲，甚至50年代的某歌曲，我也考证不了了。
夏新M606 ￥3999
Pentium-M725(1.6G)/256M/915gm/60G/COMBO/14'
技嘉N521A ￥3999
Celeron-M370(1.5G)/256M/ATI X600/60G/COMBO/14'/红外
神舟W280s ￥4999
Turion64 M-28(1.6G)/512M/ATI X700/40G/COMBO/14'
宏基5051 ￥5999
Turion64 MK-36(2.0G)/256M/X1100M/120G/COMBO/14'
神舟L205T ￥5999
core T2050(1.6G*2)/1024M/ATI X1600/DVD-RW/15'
戴尔640m ￥6598
core T2300(1.66G*2)/512M/945gm/120G/DVD-RW/14'/无线
联想410A ￥7499
core T2050(
精心挑选的九款笔记本，不同的价位：
1、海尔 H30低配版
1、海尔 H30低配版
基本配置Intel老赛扬m380/512M/40G/ATI R9700 64M/COMBO/14.4
1440*1050高分辨率屏/摄像头
目前价格4999
（低端娱乐性非常好）
2、夏新 A717-1756CG
基本配置Intel Pm730/512M/60G/集成Intel GMA900/COMBO/15.4'W
目前价格4999
（外形不错，高端533Mhz外频的奔腾m）
3、ThinkPad
基本配置Intel新napa赛扬m－410/256M DDR2/40G/集成Intel GMA950/DVD/15'
目前价格5900
（这款新赛扬性能和上面夏新的奔腾相当，做工和外形都是我最喜欢的，ThinkPad笔记本中价格最厚道的一款了）
4、神舟 L420E
基本配置Intel新napa赛扬m-420/51
(转贴)原题 我心目中的英雄 --- Heroes in My Heart
写给那些
喜欢数学和不喜欢数
学的人们
写给那些
了解数学家和不了解
数学家的人们
Heroesin My Heart
Editedby ukim
Bernoulli（贝努利）家族 (1)
Euler（欧拉）停止了生命，也就停止了计算。
──deCondorce（康道塞）
这是一个生产数学家和物理学家的部落，有着十几位优秀的科学家都拥有这个令人骄傲的姓氏。
JohnBernoulli（约翰·伯努利）在1696年把最速降线问题在一个叫做《教师学报》的杂志上面提出，公开挑战主要是针对他的哥哥Jacobi Bernoulli（加可比·伯努利），这两个人在学术上一直相互不忿，据说当年John求悬链线的方程，熬了一夜就搞定了，Jacobi（加可比·伯努利）做了一年还认为悬链线应该是抛物线，实在是很没面子。那个杂志好像是Leibniz（莱布尼兹）搞得，很牛，欧洲的牛人们都来做这个东西。到最后， John收到了5份答案，有他自己的，Leibniz的，还有一个L.Hospital（洛比
写给那些
喜欢数学和不喜欢数
学的人们
写给那些
了解数学家和不了解
数学家的人们
Heroes
Edited
Bernoulli（贝努利）
Euler（欧拉）停止了生命，也就停止了计算。
──de
这是一个生产数学家和物理学家的部落，有着十几位优秀的科学家都拥有这个令人骄傲的姓氏。
John
黎先生应该不会仅仅是自己创造了一个形式逻辑体系，然后把“四色定理”作为与现有逻辑的交叉点，几乎不加证明的给出。否则，他可以像欧几里得那样，先给出思想公理，再给出基本定理，再来解决四色问题。
黎鸣自称是逻辑学家，但是排斥数理逻辑，从他的《辩证逻辑是伪逻辑》这篇文章可以看出http://blog.sina.com.cn/u/4757606d010000zc
现代逻辑甚至哲学理论认为，形式逻辑是可以作为一切的思想基础，也有人提出哲学归根到底是逻辑的说法。但是形式逻辑或者数理逻辑越来越数学化，让很多哲学研究者反感（或者说读不懂）。我觉得黎鸣就是其中一个例子，他说量变不会质变，沙多了还是沙，不是沙堆。这点很类似古代“白马非马”的论断。他的博客的图片就是一本书《恢复哲学的尊严》，意义是很明晰的，就是拒绝数理逻辑“侵入”传统哲学领域，对于符号化形式化的逻辑主张排斥。
非形式逻辑在国外有很多研究，举个例子，形式逻辑只判断对错，判断命题真或假，但是非形式逻辑讨论谬误的价值，个人理解可以拿犯罪的量刑来打比方，形式逻辑判断了有罪，并用离散形式表达的规定来量刑，但是非形式逻辑研究如何量刑，而不是采
黎鸣自称是逻辑学家，但是排斥数理逻辑，从他的《辩证逻辑是伪逻辑》这篇文章可以看出http://blog.sina.com.cn/u/4757606d010000zc
现代逻辑甚至哲学理论认为，形式逻辑是可以作为一切的思想基础，也有人提出哲学归根到底是逻辑的说法。但是形式逻辑或者数理逻辑越来越数学化，让很多哲学研究者反感（或者说读不懂）。我觉得黎鸣就是其中一个例子，他说量变不会质变，沙多了还是沙，不是沙堆。这点很类似古代“白马非马”的论断。他的博客的图片就是一本书《恢复哲学的尊严》，意义是很明晰的，就是拒绝数理逻辑“侵入”传统哲学领域，对于符号化形式化的逻辑主张排斥。
非形式逻辑在国外有很多研究，举个例子，形式逻辑只判断对错，判断命题真或假，但是非形式逻辑讨论谬误的价值，个人理解可以拿犯罪的量刑来打比方，形式逻辑判断了有罪，并用离散形式表达的规定来量刑，但是非形式逻辑研究如何量刑，而不是采
认识你半年了
这半年让我重拾了昔日的欢笑
现在的我对未来开始了很多憧憬
包括和你的未来规划
你愿意和我一起去实现它们
是吧
黎鸣和方舟子两位，都是我很尊敬的。一位是中国哲学名家，另一位是科学界的打假先锋。两位最近为了一个数学问题的证明打起了论战。也算是数学出身的我对这件事情特别的好奇。
下面，请原谅我用比较阴暗偏激是思维来分别评说二人。
黎老先生声称自己从老子和康德的哲学思想中得到启发，用简单的方法证明了四色问题。当然他不是第一个证明的，四色问题当初的计算机穷举证明，在数学史上是一个先河。我们的黎先生是否可能开创数学史上另一个更惊人的先河呢－－用哲学证明数学问题？在我看来，即使可能，也不会发生在没有什么数学背景的黎鸣身上！
数学和哲学到底是什么关系？简单的说没啥关系，两者可以同时指导我们的思维、行为。比如形式逻辑就是数学和哲学共同研究的领域，但仅仅是从不同的层面来研究的，还没有出线一方通过研究影响了另一方的情况出现。所以说，老子和康德只是幌子而已，用于化解别人对他数学背景不足的质疑。
这几天心情不错，可能跟这两天阳光明媚但又不是很热的天气有关，昨天晚上丢失了一篇已经打好的文章，居然没有影响我的心情。
早上特地把博客的风格给换了，希望以后的我，以及我的文字，都能变得活泼一些。最近有些陌生的朋友在这里留言，给了我很多鼓励，谢谢你们。本来只是一个无章法的日记本形式的博客，很长一段时间都只有少数几个跟我熟识的朋友来逛逛。我过去甚至不情愿在别人的博客留言时，留下自己的地址。不过，就像我评论skype的协议一样，一个封闭的圈子总会要有人近来打个招呼，视而不见让人落后于时代。
我过去的文章很混乱，私人情感、娱乐八卦、IT评论、图片，还有各种各样的转贴。说实话，这种风格让我觉得最舒服，如果有朋友对我发些什么有建议的话，感谢留言给我哦。如果你认真看过了我的blog，并且确定想交个朋友，就跟我QQ留言
