没有矛盾的逻辑

Posted by Cofyc, on August 21, 2008, 7:43 pm,

昨晚睡前,在《什么是数学》一书中,看见一句话,如下:

希尔伯特(Hilbert)为首的“形式主义"学派断言,在数学中,“存在”的意义简单来说就是“没有矛盾”。

我突然想到,“没有矛盾”应该是任何以逻辑为基础的实现,是否有“存在”意义的最基本的条件标准吧。

0 comment  - Tags: logic, contradiction

反反复复

Posted by Cofyc, on August 18, 2008, 7:08 am,

我希望自己成为一台能够进行不断自我调校的机器。

那么,反反复复该是允许的吧。

0 comment  - Tags: over and over, machine

社交网站对我的价值

Posted by Cofyc, on August 10, 2008, 1:08 am,

    在网吧访问facebook.com/xiaonei.com/hainei.com等社交网站,由于浏览器没有cookie登录信息,所以出现的是欢迎界面,上面都有该网站的宣传字样,比如facebook.com是这样的:

  • 与亲友保持联系
  • 分享照片与视频
  • 在线控制隐私
  • 与老同学重获联系
  • 讨论兴趣爱好

    对web2.0时代火热的sns网站一直兴趣不大,虽然注册了一些,但很少在上面活跃,每次登陆上去,总是兴趣缺缺。于是,我想明白为什么。

    今天看着这些社交网站的功能,我有点明白了。

  1. 与亲友保持联系:或许电话中、邮件中的联系才让我稍感真实些。
  2. 分享照片与视频:似乎我从来没有很想分享的照片或视频。
  3. 在线控制隐私:我为什么要把隐私放在网上来让你帮我控制?既然放上来,暴露出来不更好吗?
  4. 与老同学重获联系:这个还可以。
  5. 讨论兴趣爱好:我更愿意到专业的地方去。

    发现这些功能都不是我很需要的,最终我得出结论,不是社交网站不好,而是我根本就不是社交动物,即使是在虚拟网络上。

    同时,面对这些社交网站,还有一点很让我很困惑,我可以注册facebook.com上认识新朋友,可以注册xiaonei.com联系老同学,又可以注册kaixin001.com测试姓名缘分,还可以注册hainei.com进行抢车位游戏。最后,我到底该注册那个网站去写日志、分享图片,去注册那个网站保持亲友联系,又去注册那个网站去了解好友动态等等,这对我真是个难题!

    此外,总觉得国内的社交网站(比如xiaonei.com)很喜欢去影响你、引导你,甚至想去主导你,这很令人厌烦,甚至无法忍受。就像昨天开幕式直播时,那严重影响心情的解说员,都不能让人安静地、好好地欣赏演出。

    我所知道的社交网站中,唯一只在facebook.com上让我觉得我可以自己主导自己的一切,而在国内的一些网站上,常需受各种影响,并经常受被迫引导并接受各种变化,让人觉得很不踏实安全!

    虚拟的事物始终欠缺踏实感,或许,这才是我始终对虚拟社交网络不感兴趣的内在原因吧。

2 comments  - Tags: virtual, myself, social network service

梦与现实记忆的混淆

Posted by Cofyc, on August 8, 2008, 12:08 pm,

昨晚做了一系列的梦,梦中有梦,甚至回忆起旧时梦境。记忆似乎在梦境中混淆起来,虚虚实实,分不清楚。

今早,醒时,真实的记忆夹杂虚幻的梦忆猛地袭来,一瞬间恍惚起来。

突然想问我自己,我为什么是这样的了?

 

P.S.

    刚看完奥运开幕式,这场以“和谐”为主题奥运盛会,整场表演堪称完美。只是主火炬点燃仪式虽然也很完美,创意也不错,但带来的感觉却在意料之中,有点失望,也许我受到前面声势浩大的表演的震撼,期待更大了吧。

    特别喜欢那梦幻般展开的唯美画卷,太有创意了,真想在现场看!导播不时将镜头切到表演场之外和两个烦人的解说员,很令人不爽。

    虽然很少关注体育赛事,但很期待这次奥运会各国运动员在赛场上精彩的表现!

0 comment  - Tags: dream, memory, olympic, beijing

对与错、真与假的来源

Posted by Cofyc, on August 1, 2008, 12:08 pm,

假设可以去判别一件事情的对与错、真与假,那么被赋予的对与错、真与假是来源于什么地方?同时又是什么能够让我有可能去判定事情的对与错呢?

最近一直在思考这些问题,我相信一切都不是没由来的。

 

如果做一下简单类比到构成计算机世界的电子电路上,那之上的一切真与假判定的来源,可以简单地认为是构成电路、实现逻辑运算的三种逻辑门:与门、非门、或门。

同时,现实世界中也有另外一种判定工具,天平。如在这里,可使用天平进行两者相异,三者不同的判定。

 

以上一切的对与错、真与假的来源,都来自现实世界,都来于客观。但是否世界上所有的对与错、真与假的来源都能根寻到最终的客观了。

 

如不能将这一困惑我已久的问题思考清楚,面对任何事物的对与错、真与假,我始终心存怀疑。

4 comments  - Tags: true, false, right, wrong

……

Posted by Cofyc, on July 29, 2008, 2:07 pm,

http://www.youtube.com/china2fr

上海收不到凤凰卫视,有点不爽。

0 comment  - Tags: tv

在上海安顿下来了

Posted by Cofyc, on July 15, 2008, 7:07 pm,

租了一处房子,安顿下来了。

小区只隔上海体育馆一条街,实在近的很。

每天上班走路35~40分钟,也不用去挤公交车,感觉很好。

只是没自己的电脑,回家后很有点无聊,电视剧也没啥好看的,郁闷!

不过,这样也让我逐渐回到了正常的生活规律中。

早上6、7点起床,吃饭上班,下班回来看会电视就洗澡睡觉。如此感觉也不错!

 

P.S. Blog上总是收到许多spam评论,于是将数学验证式从文本改成了图片,只要不是专门为这个博客写的robot应该都能防住吧。

4 comments  - Tags: shanghai, life

要去工作了

Posted by Cofyc, on July 6, 2008, 3:07 am,

学校的事情结束了,在武汉要办的事情也差不多了,休息两天就去上海工作。

一切都会有一个全新的开始。

那么,继续努力吧!

5 comments  - Tags: work, shanghai, verycd

实事求是

Posted by Cofyc, on July 4, 2008, 11:07 pm,

“实事”,就是指客观存在的一切事物;

“求”,就是去研究,它包括调查研究、实验、总结经验等从实践中来,到实践中去,由感性认识上升到理性认识,又从理性认识回到客观实践这两个阶段;

“是”,就是客观事物的内部联系,既规律性。

所以,“实事求是”的涵义,就是指一切从实际出发,理论联系实际,坚持实践是检验真理的唯一标准

再次学习毛泽东思想的精髓—“实事求是”,并谨记!因为我觉得我常做一些不实事求是的事情,而这是很不好的。

0 comment  - Tags: 实事求是, 毛泽东

Installation of Project Neverland

Posted by Cofyc, on July 4, 2008, 2:07 pm,

Installation of Project Neverland

  1. 设置目录/tmp, /var及其子目录权限为777;
  2. 将域名地址指向/htdocs
  3. 在浏览器输出地址,并按照指示进行安装配置。
  4. 删除/htdocs/install.php

 

呃~,安装界面直接采用的wordpress的样式,因为我实在懒得自己设计编写安装界面-_-!。

注意:没写错误检查逻辑,所以配置的正确性需要自己保证。这点以后会改进的;-)。

欢迎下载测试与交流!

 

P.S. 最近的改进主要是缓存系统,以及多语言的支持(不过语言文件还没写完),和这个安装程序。

P.S. Project Neverland的程序代码很简单,我只想写一个个人博客,功能除非必要是不会添加的,所以速度方面相对wp很快,即使关闭cache之后。

P.S. 明天还要进行大学最后一门考试……毛概……>_<!!!。

0 comment  - Tags: project neverland, installation

Except where otherwise noted, content on this site is licensed under a Creative Commons Attribution 3.0 License
Powered by Project Neverland, Theme modified from gluedideas