Jan 5th,2009
送走了老婆,和另外一位好兄弟也是Neo-Calvinist---Mr.F踏上了去武汉的火车,此行的目的只有一个---找洪峰老师论道,此行的兴奋真是可以从当时的blog看出,但由于后来发现与事实不符,所以那次的blog被Shawn删掉了,这也是Shawn写blog到此删除的第一篇blog.即使有些article上有"5毛党"和pornie spam的情况Shawn也没有删除文章.武汉回来后,一直在处理公司的一些繁杂的事情.
Feb 10th,2009
一个月的沉闷的日子里,几乎只干两件事情---读神哲学和处理公司杂事.在之后一些的时间里开始关注事物本体与永恒性之间的关系.到了三月份,Shawn开始增加了一些hacks,比如开始阅读How to Designed Program和尝试安装了那个鼎鼎大名的GNU/Linux distro---gentoo.
April xx,2009
经过了几个月的持久战后,公司一个后遗症项目最终完成........之后去了HongKong,这是一座神奇的城市,100多年以前贫穷落后,那时的白人对亚洲人的确不太像对待一个人,感谢上帝的是,在包括圣公会在内的基督教归正宗派也进入了这个城市,他们跟那些商人,政客不太一样,他们积极的参与社会改善,为今天的HK奠定了基础,到20世纪70年代,廉政公署的成立和那一代居住在HK的基督徒对村屋社区的改造,包括在物质上帮助他们和传耶酥基督的福音给他们.之后的HK成为了亚洲之星......但今天HK的基督徒不知道还有多少人在持守上帝的道?
June 20th,2009
在武汉的待了刚好70天,其实一直在想到底是否写关于个人对黑客道和洪峰老师的评论,迟迟没有写,因为这个问题不是几句话能描述的清楚的,对于那段时间的经历Shawn只能作两点总结:
1,洪峰老师的方法论的确非常棒,让Shawn至少在这一块节省了3年的时间,但这些方法论经过Shawn和朋友们的研讨会讨论,的确不是全部出自洪峰老师原创,有部分是的确在MIT的资源上是可以找到的,而黑客道对于哲学部分的描述比较狭义,只是参照了中国先秦的哲学,不可否认先秦哲学是优秀的,但造出计算机和各种复杂设计的却是犹太-基督教式的神哲学方法论.
2,从道德层面上看,Shawn作为基督徒,同时也是加尔文主义,实在是无法接受洪峰老师关于厚黑学的人生哲学,或许他有难处.
July xx,2009
去了RTS的归正神学研讨会,关于圣经的伦理,伦理这块虽然只是归正神学的一个小分支,但几乎涵盖了所有的领域.
Aug xx,2009
继续神哲学的学习,常常和小猫湖边论道.
Sep xx,2009
hiking......进入自然,很不错的体验~一路上送"思想的结果"给沿途的驴友
Oct xx,2009
终于从归正神学,存在主义,lambda演算的神哲学模型当中退出来,开始学习Linux设备驱动和嵌入式开发相关的东东...之后也去见了fsf和GNU project的发起人RMS,他是个伟大的战士,但犹太式的隐喻让Shawn实在不爽...
Nov xx,2009
ben_nanonote是个好东东,open hardware和free software的接合
Dec xx,2009
深圳,跟ginrut谈了许久,无数的问题和无数的讨论,我们都很年轻,我们都很浮躁,我们都受这个该死的世界的影响...我们找到了lambda Calculus和OS的神哲学模型,接下来的问题是:拼死找神哲学模型到底有什么用?光有这2个用处不大,但是犹太人是碰撞出了无数个aha之后才这么厉害的,或许你是做金融的,他是做法律的,我是做艺术的,但我们都有一个共通的目标去搞清楚2个问题:1,我的工作的领域的本质是什么? 2,这个本质跟我的人生意义是什么?....所有人都在尝试把自己做的回归到神哲学模型,而这个过程就体现了Martin BUrber所谈到的"I and thou"和"religion and religiosity"的关系,因为我的存在(I),所以我(I)敬畏你(thou),因为你(thou)是耶和华,是智慧,战士,公义,慈爱,创造本体的上帝.你给予了我们一切的可能性(possiblity),所以外在的宗教(religion)是会腐朽的,但是唯有对你(thou)的敬虔(religiosity)可以持续的给外在注入新的动力,就如一棵树要生长在溪水旁...当这个爱智慧的过程中,分享给周围的人,周围的人也分享给你,aha就在这个时候诞生,而无数个aha的融合就构成了一个强大的团体,一个没有aha的民族是没有未来的民族.这种方法论已经在老牌的4大财团中接受了考验---犹太,WASP,日尔曼,斯拉夫...就连最近些年正在崛起的日本财团也融合了中国先秦和犹太-基督教的方法论,可惜我们只看到了日本的大东京文化...
之后讨论到了第3世界国家的开放教育问题,Shawn很欣赏印度模式,不像中国这么浮躁,很少有仇富心态,治安也很不错.在bangalore那些破的只能在墨西哥看到的小酒吧里印度的年轻人成群的聚在哪里搞研讨会,话题包括了世界政治,科技,哲学,艺术,etc....仿佛MIT的年轻人跑到了墨西哥的小酒吧一样...相信经济发展能解决一切问题的家伙不是脑袋浸水就是缺了哪根神经,中国沿海的人均收入远远高于印度和拉美各国,但印度人发起了openRisc,连拉丁美洲的家伙也搞了很多意想不到的hacks,中国人还在喊"GDP还不够,我们没有他们富裕....
当然也谈到了自由软件社区的问题,Linus是个对公众不太负责的人,这点跟RMS根本不一样,Linux的kernel到未来很有可能封闭作为商业使用,如果不是GNU工具链的支撑Linux kernel早会投向专利的怀抱,大众今天只知道Linux,却很少知道GNU,但其实GNU才是重点,如果没有了linux kernel,还可以有其他的kernel选择,但如果没有了GNU那简直不敢想像,就如圣经所言,世界大部分人都是愚民...Shawn计划1-2年后开始转向其他的kernel,GNU/HURD之类的吧...Linux kernel如果真的封闭,Google应该是他们最强大的对手,谁都知道G的kernel和GNU工具链的定制是一流的,现在搞的CHrome和Go语言只是开始吧........不过好消息是G code上的project已经有50%决定新的版本转向GPLv3,这可能是今年最值得乐观的一个消息吧
这里还是把今年在solidot上提交的文章罗列出来:
NGO的爱心小学帮助计划
http://society.solidot.org/article.pl?sid=09/05/19/061205
GM通用的悍马品牌卖给了中国公司
http://solidot.org/articles/09/06/03/014225.shtml
google已死,中国LAN当立
http://solidot.org/internet/09/06/24/1444228.shtml
为什么科学家中有这么多犹太人?
http://science.solidot.org/science/09/07/06/0845205.shtml
SICP王者归来
http://developers.solidot.org/article.pl?sid=09/12/16/0714203
道德经,stoa,计算主义,解构主义,存在主义,圣经伦理,归正神学,加尔文500年诞辰,计算的本质,古犹太教,自由软件,数学哲学...2009年太多的aha.上帝赐予Shawn的超过了Shawn的所求所想,但认识真理越多就越痛苦,灵性的无助是以前从来没有认识到的问题,神哲学给Shawn带来的大多是aha式的痛苦,那这是本质,是对现象的支撑.2010年将是暗黑年代的开始.......
Thursday, December 31, 2009
Tuesday, November 24, 2009
marrige registry
my baby has already prison break.Congratulations!
He looks like my grandpa~hope God could allow his eternal life's ticket
photograph by a Russian
Hackable1 is one of my favorite distros in openmoko.
biking...
btw:I got a sony-S736F that it's really amazing for punk rock and gothic(low-mid frequency).I have test songs like "New Divid","Eternal Autum","Only hope","going under".It's get closer to status of "perfection".Hope One day,I can use open hardware music player device to listen music.
Saturday, November 07, 2009
port guile to ben_nanoNOte
my file: http://groups.google.com/group/cdlug_community/web/port-guile.tar.bz2
Copyleft(c)2009 HackerFellowship. All lefts reserved.
Shawn the R0ck
This documentation is about the process of port guile;you can
redistribute it and /or modify it under the terms of the GNU General
Public License as published by the Free Software Foundataion;either
version 2 of the License,or (at your option) any later version.
You should have read the GNU General Public License before start "RTFSC".
If not,see
how to port guile from Intel cpu to mips.We need 2 things:
1.openWrt of ben_nanoNote
2.guile-1.4's source code
$tar zxvf guile-1.4.tar.gz
$cd ..
$mkdir build-guile
$cd build-guile
$../guile-1.4/configure --host=mipsel-openwrt-linux --with-cc=mipsel-openwrt-linux-gcc --with-linker=mipsel-openwrt-linux-ld --prefix=/hfg/guile-x
$grep -r CC= *
Now,you need to modify every files what you see from the list.from "CC= gcc" to "mipsel openwrt-linux-gcc".
$grep -r LD= *
Still do ur modifying from "LD= ld" to "mipsel-openwrt-linux-ld".Actually,you still need to modify very Makefile.
$make
if you got a error something like this".....bin/ld:cant found -lreadline".before run the below cmd,please copy the readline.so and ncurses.so to your specify folder(-B your_folder_name):
$mipsel-openwrt-linux-gcc -fPIC -shared readline.lo -lreadline -B /hfg/nanonote/openwrt-xburst/staging_dir/toolchain-mipsel_gcc-4.3.3+cs_uClibc-0.9.30.1/usr/lib -lncurses -lc -Wl,-soname -Wl,libguilereadline.so.0 -o .libs/libguilereadline.so.0.0.0
You got your own scheme interpreter now.dont forget thank for free software movement.Use scp or whatever you like way to upload the /hfg/guile-x/* to "/usr/" of ben_nanoNOte.
finnally,add "export GUILE_LOAD_PATH=/usr/share/guile/1.4" to the /etc/profile on ben_nanoNOte
Copyleft(c)2009 HackerFellowship. All lefts reserved.
Shawn the R0ck
This documentation is about the process of port guile;you can
redistribute it and /or modify it under the terms of the GNU General
Public License as published by the Free Software Foundataion;either
version 2 of the License,or (at your option) any later version.
You should have read the GNU General Public License before start "RTFSC".
If not,see
how to port guile from Intel cpu to mips.We need 2 things:
1.openWrt of ben_nanoNote
2.guile-1.4's source code
$tar zxvf guile-1.4.tar.gz
$cd ..
$mkdir build-guile
$cd build-guile
$../guile-1.4/configure --host=mipsel-openwrt-linux --with-cc=mipsel-openwrt-linux-gcc --with-linker=mipsel-openwrt-linux-ld --prefix=/hfg/guile-x
$grep -r CC= *
Now,you need to modify every files what you see from the list.from "CC= gcc" to "mipsel openwrt-linux-gcc".
$grep -r LD= *
Still do ur modifying from "LD= ld" to "mipsel-openwrt-linux-ld".Actually,you still need to modify very Makefile.
$make
if you got a error something like this".....bin/ld:cant found -lreadline".before run the below cmd,please copy the readline.so and ncurses.so to your specify folder(-B your_folder_name):
$mipsel-openwrt-linux-gcc -fPIC -shared readline.lo -lreadline -B /hfg/nanonote/openwrt-xburst/staging_dir/toolchain-mipsel_gcc-4.3.3+cs_uClibc-0.9.30.1/usr/lib -lncurses -lc -Wl,-soname -Wl,libguilereadline.so.0 -o .libs/libguilereadline.so.0.0.0
You got your own scheme interpreter now.dont forget thank for free software movement.Use scp or whatever you like way to upload the /hfg/guile-x/* to "/usr/" of ben_nanoNOte.
finnally,add "export GUILE_LOAD_PATH=/usr/share/guile/1.4" to the /etc/profile on ben_nanoNOte
Friday, October 23, 2009
trip of Beijing---free software seminars
seminar:Free software
date:Oct 22th,2009
location:Beijing
This was my 3rd time to the city--Beijing.Im here for 3 seminars.One about free software.2 of seminars are tech-related(helloGcc and aka kernel).
RMS gave us a free speech last night.The topic is Danger of Software Patent that he explain why the patent system are threating the public freedom.I totally agree with him on this point.After the speech~we have turning to FAQ time.I went to the front of the table and speak to him.Here's the conversation snippet I have remember:
------------------------------------------------------------------------------------
Shawn:Hello,Mr.Stallman.It's honorable to talk to you.I wanna ask a question for ya.What do you think of the purpose of your life and free software,I mean the connection about them?
RMS:That's a huge problem.There are a lot of purpose in life,I would love to learning new things,see the beautiful things,and ...eat delicious food.
Shawn:what's your final purpose?
RMS:There's no final purpose.
Shawn:sounds humanism.I think your final purpose are "there's no final purpose".Are you a Jew?
RMS:Im a antitheist in scientific.
Shawn:Mr.Stallman.Is there are any possibility to beat the patent system?
RMS:No,but we can avoid it.
------------------------------------------------------------------------------------
RMS is a one of great man I met.He is a great warrior in software field.About 30 years ago,some hackers who claimed that they are Christians.Some of them own better tech skills and knowledge than RMS.Perhaps they truely believed in Christ.But there is just one man came forward with respect to the moral law(the creation of General Revelation by GOD).I think of almost of free software philosophy comply with the Holy BIBLE.Try to think about this:God created the world and share the details about the creation of the world include our weakness and the possibility to betray HIM.thats why Satan(lucifer) knew our weakness.What if GOD has not share the source code of the creation of the world?That would be terrify.
ancient Greeks,Homer's epic points out that there are 4 attributes which could be composed a perfect character---knowledge,wisdom,courage,temperance.RMS is a warrior with courage,He prefer gave up a lot of shits like money,fame,etc to pursuiting the purpose of his life---free software movement.I,as Christian,firstable Thank GOD allowed the possibility could be existed in phenomenon world(because of the possibility,our life have funs).and I also thank RMS to made a great choice even though he is not a Christian now.
I was never stop asking my myself after leave the seminar yesterday:Where was the heros of kingdom of God gone?Where are they now?
May LORD Jesus leading hackers!
btw:Tom Pittman expressed the importance of creativity in his description of the feeling that accompanies true hacking:In that instant,I as a Christian thought I could feel something of the satisfaction that God must have felt when He created the world.
The father of free software movement.
The founder of GNU project.GNU/Linux is just a piece of GNU system.
RMS,Shawn
xf was talking about open hardware with RMS.
ben NanoNote from qi-hardware and openMoko
thank God,I got a openMoko that will be my next hacking.
line 4,MTR
I bet he will be a great artist:)
Shawn,my old sister
Oct 25th 2009,kernel seminar
宫敏博士
Herbert Xu
date:Oct 22th,2009
location:Beijing
This was my 3rd time to the city--Beijing.Im here for 3 seminars.One about free software.2 of seminars are tech-related(helloGcc and aka kernel).
RMS gave us a free speech last night.The topic is Danger of Software Patent that he explain why the patent system are threating the public freedom.I totally agree with him on this point.After the speech~we have turning to FAQ time.I went to the front of the table and speak to him.Here's the conversation snippet I have remember:
------------------------------------------------------------------------------------
Shawn:Hello,Mr.Stallman.It's honorable to talk to you.I wanna ask a question for ya.What do you think of the purpose of your life and free software,I mean the connection about them?
RMS:That's a huge problem.There are a lot of purpose in life,I would love to learning new things,see the beautiful things,and ...eat delicious food.
Shawn:what's your final purpose?
RMS:There's no final purpose.
Shawn:sounds humanism.I think your final purpose are "there's no final purpose".Are you a Jew?
RMS:Im a antitheist in scientific.
Shawn:Mr.Stallman.Is there are any possibility to beat the patent system?
RMS:No,but we can avoid it.
------------------------------------------------------------------------------------
RMS is a one of great man I met.He is a great warrior in software field.About 30 years ago,some hackers who claimed that they are Christians.Some of them own better tech skills and knowledge than RMS.Perhaps they truely believed in Christ.But there is just one man came forward with respect to the moral law(the creation of General Revelation by GOD).I think of almost of free software philosophy comply with the Holy BIBLE.Try to think about this:God created the world and share the details about the creation of the world include our weakness and the possibility to betray HIM.thats why Satan(lucifer) knew our weakness.What if GOD has not share the source code of the creation of the world?That would be terrify.
ancient Greeks,Homer's epic points out that there are 4 attributes which could be composed a perfect character---knowledge,wisdom,courage,temperance.RMS is a warrior with courage,He prefer gave up a lot of shits like money,fame,etc to pursuiting the purpose of his life---free software movement.I,as Christian,firstable Thank GOD allowed the possibility could be existed in phenomenon world(because of the possibility,our life have funs).and I also thank RMS to made a great choice even though he is not a Christian now.
I was never stop asking my myself after leave the seminar yesterday:Where was the heros of kingdom of God gone?Where are they now?
May LORD Jesus leading hackers!
btw:Tom Pittman expressed the importance of creativity in his description of the feeling that accompanies true hacking:In that instant,I as a Christian thought I could feel something of the satisfaction that God must have felt when He created the world.
The father of free software movement.
The founder of GNU project.GNU/Linux is just a piece of GNU system.
RMS,Shawn
xf was talking about open hardware with RMS.
ben NanoNote from qi-hardware and openMoko
thank God,I got a openMoko that will be my next hacking.
line 4,MTR
I bet he will be a great artist:)
Shawn,my old sister
Oct 25th 2009,kernel seminar
宫敏博士
Herbert Xu
Wednesday, September 16, 2009
from chengdu to kangting
hiking:140km
vehicle:170km
为什么要hiking?不可否认Shawn受了into the wild的影响,此次hiking也够奇怪的,Shawn原本打算此次hiking把一个困扰已久的问题想通---OES(open education system).结果上帝开了个大玩笑,出发前2天小猫跑过来跟Shawn讲了一大堆他最近的心得和推荐了本书,那天晚上Shawn豁然开朗,问题基本解决,剩下的只是磨时间的问题.
那这次hiking的意义是什么呢?到出发Shawn也没有想通,只是凭着一丁点亚伯拉罕式的信心相信上帝会预备丰盛的道路.在路上经过的大部分的确都是农村和山区,在看那本DND的书时也介绍到DND的早期贡献者都是来自北美的农村,他们的创造性为什么会如此的厉害?思想的细节太多,不太想在这里分享,有空就face to face的交流.
平乐
此次带了3本书:一本讲DND历史,一本OS哲学原理,西方哲学史
当年老徐来过这里
water snake
下水的家伙们得注意水蛇
喇嘛河口
去年在这里也拍了一张
二郎山隧道口,徒步37km后已经进入"半残废"状态
上一次来到木格措是2001年5月,这个地方让Shawn爱上了高原,这8年以来Shawn心目中唯一的净土就是这里,当时这里没有公路,没有嘈杂的施工队,只有森林,蓝天和高原湖泊,今天的木格措依然漂亮,但已经无法跟8年前相比,此次旅行Shawn最盼望有"aha"的地方令Shawn有些失望,就如switchfoot的那首"the beautiful letdown",在地上的失望越多,在天上的盼望就越多.
进入了密林,这是一条人没有走过的森林,这次徒步在这里Shawn险些就去见上帝了,看来Shawn还得继续去探寻人生意义,这条密林大约需要走700--1000米左右,我们在这里折腾了90分钟左右,这次是在没有带丛林砍刀和手套的环境下顺利通过的,应该算Shawn野外hacking难度系数最高的一次.
WOW世界里的荆棘谷令很多gamer记忆深刻,这才Shawn遇到了真实版本的荆棘谷,幸亏上帝没有在这里放几个野猪人,不然......
走出密林
no computer,no cellphone,just be there in it.into the wild,you know the wild would never let you down.it will bring you "aha" a lot,dude!why Im here?in the wild?life a little bit of bore,sometimes~ i need more new experience which cross over the computer field.every frenk'in person knows the best way to avoid bore life is that invent more "aha" into their life.but almost of them would never jump to it.why? a job with good salary?friends dont like a way what they dont wanna to be?
fuck....thats your life,dude!you have to responsible to your life.dont listen to the world.The world would dull your mind,kill your creativity.Loss your "aha",Loss your purpose of your life!
I got "aha"s...
aha,math
aha,algorithm
aha,free software
aha,hiking....let's roll~
Heraclitus曾经讲"一个人不会2次踏入同一条河."关于流变和固定的哲学思辨从Parmenides和Heraclitus的时代就开始了,但Shawn的此时此刻同时来到的同一地点比起8年前的确有了很多变化,8年的时间Shawn改变了很多,这里也改变了很多,但永恒不变的是上帝所设计的自然律和道德律.上帝的爱也是从来没有改变过的.流变和固定或许本为一?
虽然一位藏族哥们儿一直跟Shawn讲这里保护的很好,但比起8年前,这里的树木少了很多...
不知道S.A Kierkegarrd当年有没有在高原湖泊旁思考过人生的意义?
blue....
did i look like a monkey-coder?
our future depend on our philosophy.---RMS
在软件领域要怎么样才符合圣经的原则值得所有基督徒去思考,在3780米的海拔的高原湖泊旁出现十字架和自由软件徽章别有一番味道
hello little boy
good dogie:)
七色海
can you touch the face of GOD?I cant be strong but feel strong....
blue sky...
翻过一座山后,你会看到有一座更高的山等着你去征服
送所有的真心愿意探索人生意义的朋友一句西班牙内战时的名言:It's better to live one day as a lion than hundred years as a sheep!
vehicle:170km
为什么要hiking?不可否认Shawn受了into the wild的影响,此次hiking也够奇怪的,Shawn原本打算此次hiking把一个困扰已久的问题想通---OES(open education system).结果上帝开了个大玩笑,出发前2天小猫跑过来跟Shawn讲了一大堆他最近的心得和推荐了本书,那天晚上Shawn豁然开朗,问题基本解决,剩下的只是磨时间的问题.
那这次hiking的意义是什么呢?到出发Shawn也没有想通,只是凭着一丁点亚伯拉罕式的信心相信上帝会预备丰盛的道路.在路上经过的大部分的确都是农村和山区,在看那本DND的书时也介绍到DND的早期贡献者都是来自北美的农村,他们的创造性为什么会如此的厉害?思想的细节太多,不太想在这里分享,有空就face to face的交流.
平乐
此次带了3本书:一本讲DND历史,一本OS哲学原理,西方哲学史
当年老徐来过这里
water snake
下水的家伙们得注意水蛇
喇嘛河口
去年在这里也拍了一张
二郎山隧道口,徒步37km后已经进入"半残废"状态
上一次来到木格措是2001年5月,这个地方让Shawn爱上了高原,这8年以来Shawn心目中唯一的净土就是这里,当时这里没有公路,没有嘈杂的施工队,只有森林,蓝天和高原湖泊,今天的木格措依然漂亮,但已经无法跟8年前相比,此次旅行Shawn最盼望有"aha"的地方令Shawn有些失望,就如switchfoot的那首"the beautiful letdown",在地上的失望越多,在天上的盼望就越多.
进入了密林,这是一条人没有走过的森林,这次徒步在这里Shawn险些就去见上帝了,看来Shawn还得继续去探寻人生意义,这条密林大约需要走700--1000米左右,我们在这里折腾了90分钟左右,这次是在没有带丛林砍刀和手套的环境下顺利通过的,应该算Shawn野外hacking难度系数最高的一次.
WOW世界里的荆棘谷令很多gamer记忆深刻,这才Shawn遇到了真实版本的荆棘谷,幸亏上帝没有在这里放几个野猪人,不然......
走出密林
no computer,no cellphone,just be there in it.into the wild,you know the wild would never let you down.it will bring you "aha" a lot,dude!why Im here?in the wild?life a little bit of bore,sometimes~ i need more new experience which cross over the computer field.every frenk'in person knows the best way to avoid bore life is that invent more "aha" into their life.but almost of them would never jump to it.why? a job with good salary?friends dont like a way what they dont wanna to be?
fuck....thats your life,dude!you have to responsible to your life.dont listen to the world.The world would dull your mind,kill your creativity.Loss your "aha",Loss your purpose of your life!
I got "aha"s...
aha,math
aha,algorithm
aha,free software
aha,hiking....let's roll~
Heraclitus曾经讲"一个人不会2次踏入同一条河."关于流变和固定的哲学思辨从Parmenides和Heraclitus的时代就开始了,但Shawn的此时此刻同时来到的同一地点比起8年前的确有了很多变化,8年的时间Shawn改变了很多,这里也改变了很多,但永恒不变的是上帝所设计的自然律和道德律.上帝的爱也是从来没有改变过的.流变和固定或许本为一?
虽然一位藏族哥们儿一直跟Shawn讲这里保护的很好,但比起8年前,这里的树木少了很多...
不知道S.A Kierkegarrd当年有没有在高原湖泊旁思考过人生的意义?
blue....
did i look like a monkey-coder?
our future depend on our philosophy.---RMS
在软件领域要怎么样才符合圣经的原则值得所有基督徒去思考,在3780米的海拔的高原湖泊旁出现十字架和自由软件徽章别有一番味道
hello little boy
good dogie:)
七色海
can you touch the face of GOD?I cant be strong but feel strong....
blue sky...
翻过一座山后,你会看到有一座更高的山等着你去征服
送所有的真心愿意探索人生意义的朋友一句西班牙内战时的名言:It's better to live one day as a lion than hundred years as a sheep!
Thursday, June 04, 2009
The Epistemology before start writing book's review
由于一些原因Shawn决定未来的一些时候开始认真地写书评,也阅读了很多书籍,涵盖了各个领域,从神学到哲学,艺术,音乐,历史,自由软件,社会伦理,科普读物,etc.种类繁多,阅读了这些书籍的内容之后大概有几种情况:
1.很快遗忘
2.选择性遗忘,记住了一些,顶多当扩充了知识面
3.掌握了"不可忘记"的知识,进入个人方法论和认识论的知识结构
4.融入生命
Shawn大部分属于前3种情况,而如果是一本书对你的意义属于第3和第4,那Shawn认为有必要认真地思考后把思想的结果记录和分享.最近苦修式的生活给Shawn很多思考的时间,在这里感觉整个时间停顿下来了,可以放胆去思想以前"来不及"和"不愿坦诚面对"的问题,虽然这种生活不会持续很长的时间,但Shawn还是真切的赞美那三位一体的上帝.Shawn这次是真实的认识和体会到了:知识不能改变生命,惟有谦卑在基督面前,祈求基督进入你的生命并且作你的救主和掌管你生命的主,你的生命才可能得到改变,知识如果没有受到真理之光的光照会变得黯然无色.Shawn也认识到了上帝的爱的属性是何等的重要,在这一点上Shawn必须向上帝忏悔,Shawn应该更多的去接受弟兄姐妹(其他基督徒),而不是以自我认识的那一点点圣经知识作为衡量标准,即使弟兄姐妹真地不那么可爱,Shawn还是应该爱他们,如果Shawn只爱符合Shawn人生哲学的家伙们,那Shawn岂不是与大部分非信徒一样了.还有太多的思考过程暂时不在这里分享,这一思想过程的结果之一就是让Shawn决定要开始写书评,而在写review之前关于认识论的问题必须作出一些说明,可能术语有些枯燥,但相信一定对人生意义是有益处的.
ok,首先来谈谈知识的构造方法,不同的哲学体系和不同的世界观都造就了不同的构造知识的方法,一些存在主义者提倡以存在意义作为思考的基本模式进行建立新的事物的认知的方法,而更多的经验主义者只是以不同的角度作为"体会"经验"从而获得了对新事物的认知,认识论是一个很复杂的系统,在这里Shawn主要提供2种最基本的思考范式从而尽量简洁的描述这一问题:
1,柏拉图式的思考,即关注本质,从本体论的角度来进行分析问题.
2,亚里士多德式的思考,即关注方法本身,以逻辑为基础来解决问题.
柏拉图曾经讲过"academic只有2样财产:1,亚里士多德的头脑;2,其他学生的身体".亚里士多德对柏拉图那种探讨形而上和理念实在论的思辨方式大为不满,所以他讲"我爱我的老师,但我更爱真理".所以之后在亚里士多德的哲学观中,以逻辑学为基础的认识论是主要的探索问题的方式.这里提到的柏拉图式和亚里士多德式是广义的讲法,并不是指这2位先哲的方法论本身,而是作为一个延伸.eg:讨论勇敢的行为是亚里士多德式的探讨,而讨论勇气则是柏拉图式的.讨论人生意义是什么是柏拉图式,而关注怎么样去解决实现人生意义中所遇到的问题是亚里士多德式.
希腊哲学史非常的伟大,但遗憾的是从毕达哥拉斯对自然建立认知过程的思辨,到普罗泰戈拉以早期存在主义式的探讨都没有把主要精力花在认知事物的基础上,直到值得尊敬的苏格拉底讲"一个人认知世界的基础是认知自己."后打破了原有的模式,之后进入了希腊三圣的时期,柏拉图和
亚里士多德都以不同的方式诠释着认识论,但始终有一个问题希腊人无法解决:怎么样来认知自己?.上帝的安排非常的奇妙,希腊三圣时期时遗留下来的这一个极其困难的问题困扰着人们,其中一些人选择了怀疑论者,另外一些人选择了不可知论者,也有一些人直接忽略掉这个令人烦恼的问题,直到公元前180年左右,由于两希(希腊和希伯来)文化的碰撞,希腊人发现希伯来人和旧约圣经中的叙述性的世界观和哲学超越了希腊哲学无法解决的问题,所以一些希腊人接受犹太人方法论的同时也接受了犹太人的信仰,即信仰旧约中的那位上帝耶和华,他们就是这次文化碰撞所产生的Hasidim派,也就是新约圣经中所提到的"敬虔一派",这一次文化的碰撞造就了今天犹太人在很多领域非常厉害的原因.此后的部分犹太人吸收了希腊人哲学思辨的特点,加上他们原有的神学反证的传统---圣经作为绝对标准来衡量一切事物包括知识,智慧,哲学,社会,etc.犹太人变得很强大,圣经以外的作品提到犹太人时通常只有赞扬,但请记住耶稣基督对有深厚神哲学功底的法例赛人讲"你们这些假冒伪善的人",这意味着其他民族对以色列人的赞美并不代表他们符合上帝的标准.
亚里士多德都以不同的方式诠释着认识论,但始终有一个问题希腊人无法解决:怎么样来认知自己?.上帝的安排非常的奇妙,希腊三圣时期时遗留下来的这一个极其困难的问题困扰着人们,其中一些人选择了怀疑论者,另外一些人选择了不可知论者,也有一些人直接忽略掉这个令人烦恼的问题,直到公元前180年左右,由于两希(希腊和希伯来)文化的碰撞,希腊人发现希伯来人和旧约圣经中的叙述性的世界观和哲学超越了希腊哲学无法解决的问题,所以一些希腊人接受犹太人方法论的同时也接受了犹太人的信仰,即信仰旧约中的那位上帝耶和华,他们就是这次文化碰撞所产生的Hasidim派,也就是新约圣经中所提到的"敬虔一派",这一次文化的碰撞造就了今天犹太人在很多领域非常厉害的原因.此后的部分犹太人吸收了希腊人哲学思辨的特点,加上他们原有的神学反证的传统---圣经作为绝对标准来衡量一切事物包括知识,智慧,哲学,社会,etc.犹太人变得很强大,圣经以外的作品提到犹太人时通常只有赞扬,但请记住耶稣基督对有深厚神哲学功底的法例赛人讲"你们这些假冒伪善的人",这意味着其他民族对以色列人的赞美并不代表他们符合上帝的标准.
现在已经对这段历史作了简要介绍,为什么Shawn要把这段历史放到认识论中的探讨呢?因为这里有一个非常简单但又是大部分人会忽略的地方:当我们在认知的过程中,提前已经有了一个假设,即绝对标准.而这个前设绝对的影响了整个认知的过程,但这个前设本身又是人类有限的理性无法了解的,而犹太人把这种绝对标准的前设定义为按照他们理解方式的希伯来旧约圣经,但在现实中要行出绝对标准所定义的生命又是何等的困难,需要能够"切实可行"的方法,这就是希腊哲学的意义所在.这段历史可以给我们一幅图画:犹太人是神学反证式的(柏拉图式),而希腊人则是哲学式的(亚里士多德式).从人本的看待,这是犹太文化超越中国先秦哲学的分水岭,这个问题有机会Shawn更愿意face to face的交流.
关于讲解前设的神学作品除了圣经以外可以参阅圣奥古斯丁的(忏悔录)和(上帝之城),约翰加尔文的(基督教要义).哲学领域西方哲学Shawn暂不作推荐,但作为中国人先秦时期的作品是应该认真阅读的,这里Shawn也简要的介绍一下先秦哲学的核心:道.中国先秦哲学里蕴涵着丰富的哲学思辨,先秦哲学的核心就是"论道",道是无形的,道看似无为,而又无所不为.(老子)以玄学的方式在解释着(易经),这里顺便解释一下"玄"这个字,在古字中,这个字的意思是"元",英文meta,请注意metaphysical是形而上的意思;在古希腊哲学中,"logos"代表信息的本源,也是人类有限理性无法触及的领地,也就是"道"的意思,而"logy"则代由"logos"派生出来的实际可以由我们的理性明白的事物,比psychology(心理学),geology(地质学),biology(生物学),etc,其实中文不应该翻译成"心理学","生物学",而应该翻译成"心理道","生物道",(老子)的开篇就是"道,可道.非,常,道","道,可道"就是logy,而"非,常,道"是logos.关于对先秦哲学(易经)的描述可以参考Shawn以前的笔记.
讲了一大堆基础的关于Shawn的个人认识论(知识论),应该可以开始写书评了,估计一段时间后吧,Shawn很懒,其实很羡慕苏格拉底都不用写什么东西就已经哲学思想表达的很清晰了,请不要把主耶稣基督跟苏格拉底对比,根本没有可比性,基督的那句对尼哥底姆讲的话就已经道出了基督跟
所有的哲学家不在一个层面上的实在.最后Shawn再次重申"知识不能改变生命,惟有耶稣基督可以改变你的生命"
even living in this place,I cant forget that paint a graffti on wall "Free GNU Software".looks urgly but feeling great!
I was sleeping on this bed in past 2 months..ANd..still sleeping on it in next a few weeks....This bed remind me 2 things:
1,GOD love me,because I still got a bed.
2,Navy SEAL told me "Only the easy was yesterday.pain is weakness leaving the body!"
:-)
Saturday, May 16, 2009
gothic art
Im confused about yin-yang puzzle in the week.because of it contains a new feature(to me) which called advanced property ---continuations.so beat it!Im going to figure it out in future scheme newbie project.ooh~yeah,I have collected some gothic pictures.you known,gothic is my favorite taste.I enjoy sharing the art of darkness with you guys.I think the motivation of invent the great art must be glorify God.Man are created to interpreting the world,of course,the art.Even though I dont know about what was the authors thinking of it when they guys were painting and drawing.But I still gonna be interpreted what I think of the pictures.But like as Stephen Tong said,"hermeneutic is only one kind among so many kinds of your own interpretation,because you are interpreting so you are subjective.you never can jump out your limitation of your own subjectivity and your own boundary.".
Anyway,Im just a man.Tell me what you think if you think that my view of point was wrong.Welcome to the conversation!!!
伟大的黑暗艺术的作品必须符合圣经的总原则,什么是黑暗艺术?黑暗艺术就是对罪性惩罚的过程以艺术形式的描述.最伟大的黑暗艺术在哪里?当然在圣经里,希伯来旧约圣经的士师记记载,上帝的灵感动参孙用钝器的驴腮骨一次性击杀了1000人,Shawn认为这是最伟大的黑暗艺术的体现.圣经中的上帝是慈爱怜悯的上帝,但也是彪悍的上帝.为什么要有黑暗艺术？提醒世人谨慎的遵循上帝的道.艺术家们怎么来创作?大致分为3种创作的基本范式:
1,有深厚的神哲学基础,具有系统的框架性为前提进行创作.此类作品有深度,难以看懂,比如文艺复兴时期和西罗马帝国后期的宗教作品.
2,天主教的世界观中强调以艺术性的方式诠释世界,艺术家们通过对艺术性本身的一种强烈追求而产生的作品.此类作品有强烈的个人人生哲学的表达.
3,结合前2者.以Shawn的低水平至今还没有发现到这样的黑暗艺术作品.
everyone dreams a beautiful angel.I got my angel now:)
we are never looking back,even though we cant see the light of heaven,but we were not resoluted fallen to hell.
we human beings are pilgarlics.we can not find God by reason of limitation.人类不可能靠有限的理性去探寻无限的上帝,背离真理就如用脚踢刺,撞得头破血流,然后上帝向我们说bye-byte.
we are swallowed up by skyscrapers.we living the world of lies,hypocrsy,nominal "fashion",material desire............we have to asking for forgiveness.
Beautiful?
Culture uses art to dream the death of beautiful woman.quote from who?
as you see,a perfect metal girl
is she sexy?u tell me
the light,hope is always out there.
simplicity and elegant!
i hate the fu*king environment pullution,is that means?
we are pieces played by this world system,evolution system which written in Arostole's book.the system never care about your life whether has meaningful or not.
beauty,right?
look at mirror,your heart there?
sisters hood~none of my business
beautiful bride
see through your heard in dark
linux?
hell?the place,that we cant imagine what really it is by our fallen-reasoning
can you face your heart,honestly.To asking what you afraid of and what is your purpose of your life?
pretty fresh a little bit
the city(world) is big.the world doesnt care about your purpose of your life.but you have to responsible for it.
what the frenk'in means?
i dont know.......
the movie---Into the Wild,that you should see it
Gothic girls
Gothic Cathedral
.........
I wanna live here.
medieval?
someday future,you will be alone.
Anyway,Im just a man.Tell me what you think if you think that my view of point was wrong.Welcome to the conversation!!!
伟大的黑暗艺术的作品必须符合圣经的总原则,什么是黑暗艺术?黑暗艺术就是对罪性惩罚的过程以艺术形式的描述.最伟大的黑暗艺术在哪里?当然在圣经里,希伯来旧约圣经的士师记记载,上帝的灵感动参孙用钝器的驴腮骨一次性击杀了1000人,Shawn认为这是最伟大的黑暗艺术的体现.圣经中的上帝是慈爱怜悯的上帝,但也是彪悍的上帝.为什么要有黑暗艺术？提醒世人谨慎的遵循上帝的道.艺术家们怎么来创作?大致分为3种创作的基本范式:
1,有深厚的神哲学基础,具有系统的框架性为前提进行创作.此类作品有深度,难以看懂,比如文艺复兴时期和西罗马帝国后期的宗教作品.
2,天主教的世界观中强调以艺术性的方式诠释世界,艺术家们通过对艺术性本身的一种强烈追求而产生的作品.此类作品有强烈的个人人生哲学的表达.
3,结合前2者.以Shawn的低水平至今还没有发现到这样的黑暗艺术作品.
everyone dreams a beautiful angel.I got my angel now:)
we are never looking back,even though we cant see the light of heaven,but we were not resoluted fallen to hell.
we human beings are pilgarlics.we can not find God by reason of limitation.人类不可能靠有限的理性去探寻无限的上帝,背离真理就如用脚踢刺,撞得头破血流,然后上帝向我们说bye-byte.
we are swallowed up by skyscrapers.we living the world of lies,hypocrsy,nominal "fashion",material desire............we have to asking for forgiveness.
Beautiful?
Culture uses art to dream the death of beautiful woman.quote from who?
as you see,a perfect metal girl
is she sexy?u tell me
the light,hope is always out there.
simplicity and elegant!
i hate the fu*king environment pullution,is that means?
we are pieces played by this world system,evolution system which written in Arostole's book.the system never care about your life whether has meaningful or not.
beauty,right?
look at mirror,your heart there?
sisters hood~none of my business
beautiful bride
see through your heard in dark
linux?
hell?the place,that we cant imagine what really it is by our fallen-reasoning
can you face your heart,honestly.To asking what you afraid of and what is your purpose of your life?
pretty fresh a little bit
the city(world) is big.the world doesnt care about your purpose of your life.but you have to responsible for it.
what the frenk'in means?
i dont know.......
the movie---Into the Wild,that you should see it
Gothic girls
Gothic Cathedral
.........
I wanna live here.
medieval?
someday future,you will be alone.
Monday, May 04, 2009
some notes
I was "trapped" in somewhere which is a gift from Lord Jesus.Im just here,to hacking.make a preparation for cultural mission that for glorify Him.Im going no where for next 6 months.stay here...be here...forget what i know at first.what's the purpose of my life?I have to answer it,thats why im here.Im searching the Tao(logos) from any fields what i can understand.math,computing,philosophy...oohh yeah~reformed theology is the best one.Thank to Von neumann,Alonzo Church,Alan Turning,Soren Kierkegarrd,Blaise Pascal,John Calvin,St Augestine,author of Hebrews(in new testament)......The Trinity God--Holy FATHER HOly SON HOly SpIrit.
People has necessary needs that not love,not money,not fame,even not the faith,but give me truth.
Happy hacking!my brothers!
首先谈谈哲学观对于我们认知事物的影响,认知科学的基础就是找出异同关系,道在最早时处于混沌状态,道要可道的第一步就是化分领域的界限,比如科学(sicence),哲学(philosophy),etc.而第二步则是探讨非科学(non-sicence),非哲学(non-philosophy),etc的这种"非我"的形态.从本质上,也是一种信息的传递,而在这一方法中又有四个必须面对的问题:
1,主体.进行认知过程的人.
2,客体.被进行认知过程的人进行认知的事物(包含上帝,自己,人和物质).
3,环境.进行认知的人必须被限定的范围内.
4,媒介.通过人的五官等媒介进行信息传递.
系统,即广义的硬件和广义的软件的复合;在认知系统的过程中就会有更加直接的方法可
以参考:
以计算主义在面对DNA配对关系问题为例,
1,观察.对DNA配对的本身进行观察.
2,实验.用物理的仪器对DNA进行实验.
3,推理.通过观察和实验建立有效的计算模型,他们假设了一个前提,即如果人类有一台计算
能力为2的78次方的"终极量子计算机",那这个问题是可解决的,反之既然.
4,计算.由于这个问题的计算量是3的500次方,因此放弃计算.
之后谈到了数学中的分类,大类主要分为:集合论,组合数学,数理逻辑,图论,代数结构.集合
论主要是研究确定行止的对象.而数理逻辑中又分为了几个主要的分支:
1,证明论;
2,公理集合论;
3,递归论;
4,模型论
之后谈到了数学的一些方法,比如分析,拓扑和概率.当然变分变法变是最有趣的一个思想试验,
我们无法观测到这个世界的本质一样,即蚂蚁以二维的方式无法观测到生活在三维空间的人类,而人类也无法理解更高层的世界.这个我想需要更多的了解了数学史可以有更加深入的思考.
之后谈到了中国先秦哲学<易经>对于现代数学的类比,道是无形的,道看似无为,却又无所不为.但站在人类有限理性的角度去认知道的本身是一件很难的事情,所以我们只能认识到那有限的"道,可道"(logy),却无法看清楚"非,常,道"(logos),在这种境况下古代的先哲们也有自己的方法去了解这个世界,即异同和对比的方法,简单的来讲,也就是先认知到混沌中的边界:阴和阳.
之后以此为基础去推导出这个宇宙的规律如下:
阳是physical,阴是metaphysical.
阳:阳,古字(正),可知.
阴:阳,古字(常),常态.
阳:阴,古字(奇),不可测度,cant measurable.
阴:阴,古字(浑),不可知.
阴和阳再与以上的结果对比,最后就产生了八卦:
乾,古字(天),集合A,辖域.
坤,古字(地),集合B隶属于集合A.
天地乃时空的描述.<老子>上讲"人法地,地法天,天法道,道法自然",也就是说站在人最低级的
位置,只需要地就可以作为人的尺度,而人透过对天地的认识建立了时空观,在希伯来旧约圣经
里谈到"地"时也指的是低级的价值和刻度,如"不要思念地上的事","人终归于尘土"即非永恒性的事物,而在犹太人的文化中探寻永恒性是重要的.
兑,古字(泽)
艮,古字(山)
道如流水行云,山和水的特性就想如此,和拓扑有类比的关系,外表变化无偿,而内部固定不变,
我们可以看到水是有形的,而它的形又不断的变化,但是它的本质是不会发生变化的,这种变化
就尤如阳和阴的转换,阳是主动的,而阴则是被动的.
震,古字(雷)
巽,古字(风)
雷和风代表这能量,前者的能量存在方式是离散的,至少以人的尺度来认知是这样,而风的能量
则是连续性的,此二者代表了能量的传递方式.
离,古字(日)
坎,古字(月)
日和月表示了信息的本身,日即太阳的周期从人的基本观察是每日一次,而月亮是每月一次,这
或许是命名的原因.在信息论当中,信息的改变频率越高,熵则越大,即信息量越大.新约圣经希伯来书讲到:"神既在古时借着众先知,多次多方的晓谕列祖,就在这末世,借着他儿子晓谕我们,又早已立他为承受万有的,也曾借着他创造诸世界.Hebrew 1:1--2".这里的"多方"英文是"various ways",而"多次"则是"many times",主动性的是"神",被动者是"列祖"对应"我们",媒介则是"众先知"对应"他儿子"(指耶酥基督),时间的刻度是"古时"对应"末世".various ways有点类似C++里的GP,更类似于lambda calculus,一个lambda的左结合可以接收任何的信息(广义上的lambda).
How does a mathematician describing the relationship?
1,words.eg,man and woman:a couple
pro:描述确切,用于写作.
con:不直观
2,graph theory.
pro:直观,用于授课.
con:元素较多后描述比较复杂
3,matrix.
pro:在计算机中表达方便,也易于在计算机中进行计算,用于写程序.
con:不直观,元素较多后描述复杂.
集合论中的关系,泛序关系
reflexive relation(自反关系):x R x,一个元素与自己的关系.
只要存在的元素就肯定有自反关系,对自我存在的一种关系的描述是
很重要的,比如人类就具备这种关系,经过了数千年的存在主义(Existentialism)哲学探讨至今基本分为2种:
1,主体性的观察的存在,即只要你能够明白(understand),认知(know)和相信(faith)的就是存在,不能明白,认知和相信的就是对主动认知的主体(人类)的不存在.
2,客观性的存在,即实在存在(existing theory),客观真理是存在的,客观真理是不由主动观察的主体(人类)的意志而变化,比如宇宙中最基本微粒的碰撞所形成的今天这个物质世界的事件在人类能够观察以前就已经存在.
不过以上2者到最终都必须面对一个极其困难但又是至关重要的问题,即存在的意义是什么?或者说存在的意义是谁赋于的?
symmetric relation(对称关系):x R y => y R x
比如兄弟关系,x是y的兄弟,而y肯定也是x的兄弟.
asymmetric relation(非对称关系):x R y
<和>都是属于这种关系,即x<> x=y
1>=1,1<=1,比如MD5的加密也是属于反对称关系,MD5先把原有的明文转化成密文,也生成一个效验sum,原文和密文其本质都是一样,但密文不能通过明文来进行比较,只能通过效验sum来比对. identity relation(恒等关系): 对角线上的所有的点. transitive relation(传递性关系):(x R y,y R z) => z R x
1<2<3,1<3> #t
(define func (lambda (n) (* n n)))
(eqv? x (lambda (n) (* n n))) => #f
(eqv? "hello" "hello") => #t
等价聚类的结果:商集
商化:U/R
积化:从不相交的集合组成新的set.
eg,{N} {1,2,3,4...}/7
1*7+3=10
2*7+3=17
3*7+3=24
=> {10,17,24...}/同余同关系R
分类对策:cond
eg:
(define pnz (lambda (x)
(cond
((> x 0) "positive")
((<> "is 0"
良序集合:有头元素的全序集合是良序集合(well-ordered set)
泛序关系:广泛的次序
eg:
'(5 (4 . (3 . ()))
(2 . (1 . ())))
=>(5 (4 3) (2 1))
we have done some type-transform test in computer.one of important is
that string->list then list-> if we want to convert string into vector.
逻辑Logic
关于历史上出现过的logic探讨:
1,古代中国的墨子对名和实的探讨,公孙龙对白马是马的一个名字的探讨.韩非子的"自相矛盾"的典故.
2,古代印度的因名学派对"宗,喻,名"的探讨.
3,古代希腊的亚里士多德(Aristotle)的逻辑学中的三段论进行了阐述,即大前提+小前提=结论.逻辑学遵守3个规律:
1,同一律,专注在同一个事情,不能偷换概念.
2,矛盾律,不能自相矛盾.
3,排中律,不能似是而非.eg,即不是男的也不是女的.
斯多葛学派的创始人是Zeno,他们最大的贡献是提出了命题和演绎逻辑.
逻辑学探讨的3个方面:
1,基础逻辑,探讨人的思维的规律.
2,原逻辑,探讨逻辑本身.
3,应用逻辑,比如电子上的数字逻辑.
逻辑的分类大体上分为:形式逻辑和辩证逻辑
形式逻辑又大体分为:演绎逻辑(Aristotle,Zeno)和归纳逻辑(Francis Bacon)
演绎逻辑大体分为:传统演绎逻辑和数理逻辑(用集合论来看待关系的演化)
逻辑的方法
1,概念
很多概念组成了2,判断
很多判断组成了3,推理
推理在遵守3律的情况下有3中形式:
1,演绎,即大前提+小前提=结果
2,归纳推理,一组同质的对象的观察.eg,如果观察100只大象都有鼻子,判断大象是有鼻子的.
3,类比推理,观察2类对象的性质.
The first paradox in math
逻辑的规则,在毕达哥拉斯看来万物的本源就是数,即所有的数可以用2个正数比
对(有理数).
此悖论是Hippasus(希伯斯)提出.
一个正方形,边为1,对角线为square root of 2(根号2),但是1~2+1~2!=~/2
eg,
反证法:
假设square root of 2 is rational number.
~/2 = p/q (p,q属于z)
z=p^2/q^2
p^2=2q^2
p^2是偶数
p*p是偶数
p是偶数
p=2r (r属于z)
p^2=4r^2
4r^2=2q^2=>2r^2=q^2
q也是偶数
q=2m (m属于z)
p=2r
p/q=2r/2m (可以归约)
所以~/2不是有理数
谈到了dedekind cut,即一条数轴上有无数多个数,用x把2边的书切分开,x可能是有理数,也可能不是.
1,x*x<2>2
可以逐步逼近的方式来求平方根.eg:
(define q3 (lambda (n x)
(cond
((= (* x x) n) x)
((> (* x x) n) (- x 0.001))
((< (* x x) n) (q3 n (+ x 0.001)))))) (q3 2 1.0)=>1.141
(q3 3 1.4)=>1.732
(q3 3 1.5)=>1.732
(q3 4 1.0)=>2
数理逻辑和可计算性理论有很大的关系.
lambda-calculus,作者是Alonzo Church
从数学的角度看:
A,y=x^2+2x+1
B,y=(x+1)^2
A=B
从存在性的角度看以上正确,但从构造性的角度看则不然,如下:
A,y=x*x+2*x+1
B,y=(x+1)*(x+1)
eg:
A,(+ (* x x)
(* 2 x)
1)
B,(* (x+1) (x+1))
所以轮到lambda出场了:
lambda-exp ::= {constant}
|{varibale}
|{lambda-exp1} {lambda-exp2}
|lambda {variable} . {lambda-exp}
两个lambda-exp有2种方式求值:
1,normal ordered:"fully expand and then reduce"
evaluate the lambda-exp1 at first
2,application ordered:"evaluate the arguments and then apply"
evaluate the parameter at first.
eg,a procedure which from sicp can provide a test for make sure whether the
interpreter is normal ordered or application ordered.
(define (p) (p))
(define (test x y)
(if
(= x 0) 0
y))
(test 0 (p))
=>if dead loop,it's application ordered.
app is (lambda (0 (p)))
=>0,it's normal ordered.
if we have a procedure which living in a Interpreter,it would be
maintained by sybolic table like below:
(define square (lambda (x) (* x x)))
---------------------------
|square|lambda(x) (* x x) |
|--------------------------
| |
what is algorithm?Aha,algorithm!
在有限的步骤内完成问题的求解.
real problem->philosophy thinking->math model->computing model->coding
glossary:indefinitely small=im
im>0,|x-A|
无穷小 2 无穷大
套区间,有自然数的特性.
induction:
1+2+3+...+n= n(n+1)/2
1,if n=1, 1= 1(1+1)/2
2,if n=k, 1+2+3+..+k= k(k+1)/2
3,n=k+1, 1+2+3+..k+(k+1),
k(k+1)/2+2(k+1)/2= k(k+1)+2(k+1)/2
=(k+1)(k+2)/2=> n(n+1)/2
组合:C(n r),r<=0,n中选择r个元素. 排列:P(n r),r<=0 P(n r) C(n r) * r! C(n r) = n!/(n-r)! 1,2,3...r........n ------------------>
|__r___| |_(n-r)__|
eg:
(define tail-fac (lambda (x)
(let loop ((n x) (acc 1))
(if
(= n 0) 1
(if
(= n 1) acc
(loop (- n 1) (* n acc)))))))
(define fac (lambda (n)
(if
(= n 0) 1
(* n (fac (- n 1))))))
(define fib (lambda (n)
(cond
((= n 0) 0)
((= n 1) 1)
(else
(+ (fib (- n 1)) (fib (- n 2)))))))
(define tail-fib (lambda (x)
(let fib ((n x) (acc1 0) (acc2 1))
(if
(= n 0) 0
(if
(= n 1) acc2
(fib (- n 1) acc2 (+ acc1 acc2)))))))
the recognize process:material->sybolic system->new recognition
自然数,是人类认知最直接的数,19世纪的德国数学家Leopold Kronecker曾经讲"God made the integers; all else is the work of man" (Bell 1986,p. 477).上帝创造了自然数,其他数都是人造的.自然数在圣经中也有严肃而有趣的联系,圣经中描述的三位一体(trinity)的上帝,三个位格分别是圣父,圣子和圣灵,在犹太人的先知赞美上帝时呼喊"圣哉!圣哉!圣哉!"也是3次,耶酥基督对于自我的存在性的实在和意义的宣称"我是道路,真理与生命".也是3,圣经中关于3的描述还不止于此,但关于在描述方向时就不是3而是4,4个方向:东,南,西,北;同时也有四季:春,夏,秋,冬.而表示绝对创造者本身的3和作为被造相对者的人类产生关系时,即3+4=7,一个礼拜有7天,罗马帝国曾经尝试把一个礼拜搞成5天,结果把人们搞的都不想做事情(和前新教伦理有关系),斯大林也尝试把一个礼拜搞成10天,结果弄的不少苏联人得了累的要死.7天是最适合人类的,圣经中7的描述也有很多,包括对教会,节日(7年释放一次奴隶).同时7在希伯来文化中也代表一个完整的过程.自然数7到今天也影响着我们,一个礼拜仍然是7天,Intel的员工都盼望着7年一次的长假,etc.我们对自然数的确是有先验式的敏感,所以很多方法论也由此而生,eg:尝试把数学上的描述都能够简化到用自然数系.
the basic Primitive recursion function:
1,Constant function:The 0-ary constant function 0 is primitive
recursive.(if n =1)
2,Successor function:The 1-ary successor function S, which returns the
successor of its argument (see Peano postulates), is primitive
recursive. That is, S(k) = k + 1.
3,Projection function:For every n≥1 and each i with 1≤i≤n, the
n-ary projection function Pin, which returns its i-th argument, is
primitive recursive.
General Function:
1,前继,n!(fac)
2,后续,(n-1)!(fac (- n 1))
3,测零,(= n 0)
4,不动点算子,1
eg:
(define a (lambda (n)
(if (= n 0) 1
(* n (fac (- 1))))))
Church-Turning thesis
1,Church's thesis: "Every effectively calculable function (effectively
decidable predicate) is general[1] recursive" (Kleene 1952:300)
可计算函数都可以用一般递归函数构造.
2,Turing's thesis: "Turing's thesis that every function which would
naturally be regarded as computable is computable under his
definition, i.e. by one of his machines, is equivalent to Church's
thesis by Theorem XXX." (Kleene 1952:376)
一切递归函数可以用一般递归函数(1..4)来构造
reduce-law:
alpha:λx.exp-->λy.exp [y/x]
beta: <λ-exp1><λ-exp2>--> <λx.exp1> [/x]
eta:(λx.exp)y--> λ-exp
bound variable:
((lambda (n) (* n n)) 6)=>36
(let ((n 6)) (* n n))=>36
block structure里只能通过arguments作为外部能见的接口.
regular-exp cant be reduced.
Church-Rosser TH I
is x--(reduce)->y,so x->z->y.存在性
Church-Rosser TH II
x--->y.构造性
Ackerman function
{n+1 if m=0
A(m,n)={A(m-1,1) if m>0 and n=0
{A(m-1,A(m,n-1)) if m>0 and n>0
(define ackermann (lambda (m n)
(cond
((= m 0) (+ n 1))
((and (> m 0) (= n 0)) (ackermann (- m 1) 1))
((and (> m 0) (> n 0)) (ackermann (- m 1)
(ackermann m (- n 1)))))))
ackermann(1,5)
(a 0 (a 1 4))
(a 0 (a 0 (a 1 3)))
(a 0 (a 0 (a 0 (a 1 2))))
(a 0 (a 0 (a 0 (a 0 (a 1 1)))))
(a 0 (a 0 (a 0 (a 0 (a 0 (a 1 0))))))
(a 0 (a 0 (a 0 (a 0 (a 0 (a 0 1))))))
(a 0 (a 0 (a 0 (a 0 (a 0 2)))))
(a 0 (a 0 (a 0 (a 0 3))))
(a 0 (a 0 (a 0 4)))
(a 0 (a 0 5))
(a 0 6)
7
scheme中lambda表达式的形参表有3种接收参数的`方式:
1,定长,eg:
(define square (lambda (n) (* n n)))
(square 5)=>25
2,全定长,eg:
(define foo (lambda x x))
(foo 1 2 3)=>(1 2 3)
3,半定长,eg:
(define f (lambda (x . y) (* x x)))
(f 10 20 30)=>100
(define f (lambda (x y . z)
(begin
(display (+ x y))
(newline)
(car z))))
(f 20 30 10 20 30)=>50
10
此方式在C语言中的printf函数是很好的体现.
tail-recursive version of n!
(define tail-fac (lambda (x)
(let fib((n x) (result 1))
(if (= n 0) result
(fib (- n 1) (* result n))))))
odd? or even?
(letrec ((odd? (lambda (n)
(if (= n 0) #f
(even? (- n 1)))))
(even? (lambda (n)
(if (= n 0) #t
(odd? (- n 1))))))
(odd? 98))
=>#f
count n...1 or count n...1
(define Nto1 (lambda (n)
(let count((x n))
(if (= x 0) x
(begin
(display x)
(newline)
(count (- x 1)))))))
(define 1toN (lambda (n)
(let count((x 1))
(if (<= n x) x
(begin (display x)
(newline)
(count (+ x 1)))))))
;Exercise 1.3. Define a procedure that takes three numbers as arguments and ;returns the sum of the squares of the two larger numbers.
(define square (lambda (x) (* x x)))
(define sum-of-square (lambda (a b)
(+ (square a) (square b))))
(define sum-2-square (lambda (x y z)
(cond
[(and (<= x y) (<= x z)) (sum-of-square y z)]
[(and (<= y x) (<= y z)) (sum-of-square x z)]
[(and (<= z x) (<= z y)) (sum-of-square x y)] )))
(define sum-2-square2 (lambda (x y z)
(cond
((and (>= x z) (>= y z)) (sum-of-square x y))
((and (>= x y) (>= z y)) (sum-of-square x z))
((and (>= y x) (>= z x)) (sum-of-square y z)))))
;Exercise 1.12. The following pattern of numbers is called Pascal's triangle.
; 1
; 1 1
; 1 2 1
; 1 3 3 1
; 1 4 6 4 1
;The numbers at the edge of the triangle are all 1, and each number inside the triangle is the sum of
;the two numbers above it.35 Write a procedure that computes elements of Pascal's triangle by means
;of a recursive process.
(define pascal (lambda (x y)
(cond
((= x y) 1)
((= x 1) 1)
((= x 2) 1)
((= y 1) 1)
(else
(+ (pascal (- x 1) y) (pascal (- x 1) (- y 1)))))))
;Exercise 1.30. The sum procedure above generates a linear recursion. The procedure can be
;rewritten so that the sum is performed iteratively. Show how to do this by filling in the missing
;expressions in the following definition:
;(define (sum term a next b)
; (define (iter a result)
; (if
;
; (iter )))
; (iter ))
(define (inc n) (+ n 1))
(define (idents x) x)
(define (sum-int a b)
(sum idents a inc b))
(define (sum2 term a next b)
(let iter((a a) (result 0))
(if (> a b)
result
(iter (next a) (+ result (term a))))))
(define (inc n) (+ n 1))
(define (idents x) x)
(define (fac n)
(product2 idents 1 inc n))
;recursive
(define product (lambda (term a next b)
(if (> a b)
1
(* (term a) (product term (next a) next b)))))
;iterative
(define product2 (lambda (term a next b)
(let loop((a a) (result 1))
(if (> a b)
result
(loop (next a) (* result (term a)))))))
People has necessary needs that not love,not money,not fame,even not the faith,but give me truth.
Happy hacking!my brothers!
首先谈谈哲学观对于我们认知事物的影响,认知科学的基础就是找出异同关系,道在最早时处于混沌状态,道要可道的第一步就是化分领域的界限,比如科学(sicence),哲学(philosophy),etc.而第二步则是探讨非科学(non-sicence),非哲学(non-philosophy),etc的这种"非我"的形态.从本质上,也是一种信息的传递,而在这一方法中又有四个必须面对的问题:
1,主体.进行认知过程的人.
2,客体.被进行认知过程的人进行认知的事物(包含上帝,自己,人和物质).
3,环境.进行认知的人必须被限定的范围内.
4,媒介.通过人的五官等媒介进行信息传递.
系统,即广义的硬件和广义的软件的复合;在认知系统的过程中就会有更加直接的方法可
以参考:
以计算主义在面对DNA配对关系问题为例,
1,观察.对DNA配对的本身进行观察.
2,实验.用物理的仪器对DNA进行实验.
3,推理.通过观察和实验建立有效的计算模型,他们假设了一个前提,即如果人类有一台计算
能力为2的78次方的"终极量子计算机",那这个问题是可解决的,反之既然.
4,计算.由于这个问题的计算量是3的500次方,因此放弃计算.
之后谈到了数学中的分类,大类主要分为:集合论,组合数学,数理逻辑,图论,代数结构.集合
论主要是研究确定行止的对象.而数理逻辑中又分为了几个主要的分支:
1,证明论;
2,公理集合论;
3,递归论;
4,模型论
之后谈到了数学的一些方法,比如分析,拓扑和概率.当然变分变法变是最有趣的一个思想试验,
我们无法观测到这个世界的本质一样,即蚂蚁以二维的方式无法观测到生活在三维空间的人类,而人类也无法理解更高层的世界.这个我想需要更多的了解了数学史可以有更加深入的思考.
之后谈到了中国先秦哲学<易经>对于现代数学的类比,道是无形的,道看似无为,却又无所不为.但站在人类有限理性的角度去认知道的本身是一件很难的事情,所以我们只能认识到那有限的"道,可道"(logy),却无法看清楚"非,常,道"(logos),在这种境况下古代的先哲们也有自己的方法去了解这个世界,即异同和对比的方法,简单的来讲,也就是先认知到混沌中的边界:阴和阳.
之后以此为基础去推导出这个宇宙的规律如下:
阳是physical,阴是metaphysical.
阳:阳,古字(正),可知.
阴:阳,古字(常),常态.
阳:阴,古字(奇),不可测度,cant measurable.
阴:阴,古字(浑),不可知.
阴和阳再与以上的结果对比,最后就产生了八卦:
乾,古字(天),集合A,辖域.
坤,古字(地),集合B隶属于集合A.
天地乃时空的描述.<老子>上讲"人法地,地法天,天法道,道法自然",也就是说站在人最低级的
位置,只需要地就可以作为人的尺度,而人透过对天地的认识建立了时空观,在希伯来旧约圣经
里谈到"地"时也指的是低级的价值和刻度,如"不要思念地上的事","人终归于尘土"即非永恒性的事物,而在犹太人的文化中探寻永恒性是重要的.
兑,古字(泽)
艮,古字(山)
道如流水行云,山和水的特性就想如此,和拓扑有类比的关系,外表变化无偿,而内部固定不变,
我们可以看到水是有形的,而它的形又不断的变化,但是它的本质是不会发生变化的,这种变化
就尤如阳和阴的转换,阳是主动的,而阴则是被动的.
震,古字(雷)
巽,古字(风)
雷和风代表这能量,前者的能量存在方式是离散的,至少以人的尺度来认知是这样,而风的能量
则是连续性的,此二者代表了能量的传递方式.
离,古字(日)
坎,古字(月)
日和月表示了信息的本身,日即太阳的周期从人的基本观察是每日一次,而月亮是每月一次,这
或许是命名的原因.在信息论当中,信息的改变频率越高,熵则越大,即信息量越大.新约圣经希伯来书讲到:"神既在古时借着众先知,多次多方的晓谕列祖,就在这末世,借着他儿子晓谕我们,又早已立他为承受万有的,也曾借着他创造诸世界.Hebrew 1:1--2".这里的"多方"英文是"various ways",而"多次"则是"many times",主动性的是"神",被动者是"列祖"对应"我们",媒介则是"众先知"对应"他儿子"(指耶酥基督),时间的刻度是"古时"对应"末世".various ways有点类似C++里的GP,更类似于lambda calculus,一个lambda的左结合可以接收任何的信息(广义上的lambda).
How does a mathematician describing the relationship?
1,words.eg,man and woman:a couple
pro:描述确切,用于写作.
con:不直观
2,graph theory.
pro:直观,用于授课.
con:元素较多后描述比较复杂
3,matrix.
pro:在计算机中表达方便,也易于在计算机中进行计算,用于写程序.
con:不直观,元素较多后描述复杂.
集合论中的关系,泛序关系
reflexive relation(自反关系):x R x,一个元素与自己的关系.
只要存在的元素就肯定有自反关系,对自我存在的一种关系的描述是
很重要的,比如人类就具备这种关系,经过了数千年的存在主义(Existentialism)哲学探讨至今基本分为2种:
1,主体性的观察的存在,即只要你能够明白(understand),认知(know)和相信(faith)的就是存在,不能明白,认知和相信的就是对主动认知的主体(人类)的不存在.
2,客观性的存在,即实在存在(existing theory),客观真理是存在的,客观真理是不由主动观察的主体(人类)的意志而变化,比如宇宙中最基本微粒的碰撞所形成的今天这个物质世界的事件在人类能够观察以前就已经存在.
不过以上2者到最终都必须面对一个极其困难但又是至关重要的问题,即存在的意义是什么?或者说存在的意义是谁赋于的?
symmetric relation(对称关系):x R y => y R x
比如兄弟关系,x是y的兄弟,而y肯定也是x的兄弟.
asymmetric relation(非对称关系):x R y
<和>都是属于这种关系,即x
1>=1,1<=1,比如MD5的加密也是属于反对称关系,MD5先把原有的明文转化成密文,也生成一个效验sum,原文和密文其本质都是一样,但密文不能通过明文来进行比较,只能通过效验sum来比对. identity relation(恒等关系): 对角线上的所有的点. transitive relation(传递性关系):(x R y,y R z) => z R x
1<2<3,1<3> #t
(define func (lambda (n) (* n n)))
(eqv? x (lambda (n) (* n n))) => #f
(eqv? "hello" "hello") => #t
等价聚类的结果:商集
商化:U/R
积化:从不相交的集合组成新的set.
eg,{N} {1,2,3,4...}/7
1*7+3=10
2*7+3=17
3*7+3=24
=> {10,17,24...}/同余同关系R
分类对策:cond
eg:
(define pnz (lambda (x)
(cond
((> x 0) "positive")
((<> "is 0"
良序集合:有头元素的全序集合是良序集合(well-ordered set)
泛序关系:广泛的次序
eg:
'(5 (4 . (3 . ()))
(2 . (1 . ())))
=>(5 (4 3) (2 1))
we have done some type-transform test in computer.one of important is
that string->list then list-> if we want to convert string into vector.
逻辑Logic
关于历史上出现过的logic探讨:
1,古代中国的墨子对名和实的探讨,公孙龙对白马是马的一个名字的探讨.韩非子的"自相矛盾"的典故.
2,古代印度的因名学派对"宗,喻,名"的探讨.
3,古代希腊的亚里士多德(Aristotle)的逻辑学中的三段论进行了阐述,即大前提+小前提=结论.逻辑学遵守3个规律:
1,同一律,专注在同一个事情,不能偷换概念.
2,矛盾律,不能自相矛盾.
3,排中律,不能似是而非.eg,即不是男的也不是女的.
斯多葛学派的创始人是Zeno,他们最大的贡献是提出了命题和演绎逻辑.
逻辑学探讨的3个方面:
1,基础逻辑,探讨人的思维的规律.
2,原逻辑,探讨逻辑本身.
3,应用逻辑,比如电子上的数字逻辑.
逻辑的分类大体上分为:形式逻辑和辩证逻辑
形式逻辑又大体分为:演绎逻辑(Aristotle,Zeno)和归纳逻辑(Francis Bacon)
演绎逻辑大体分为:传统演绎逻辑和数理逻辑(用集合论来看待关系的演化)
逻辑的方法
1,概念
很多概念组成了2,判断
很多判断组成了3,推理
推理在遵守3律的情况下有3中形式:
1,演绎,即大前提+小前提=结果
2,归纳推理,一组同质的对象的观察.eg,如果观察100只大象都有鼻子,判断大象是有鼻子的.
3,类比推理,观察2类对象的性质.
The first paradox in math
逻辑的规则,在毕达哥拉斯看来万物的本源就是数,即所有的数可以用2个正数比
对(有理数).
此悖论是Hippasus(希伯斯)提出.
一个正方形,边为1,对角线为square root of 2(根号2),但是1~2+1~2!=~/2
eg,
反证法:
假设square root of 2 is rational number.
~/2 = p/q (p,q属于z)
z=p^2/q^2
p^2=2q^2
p^2是偶数
p*p是偶数
p是偶数
p=2r (r属于z)
p^2=4r^2
4r^2=2q^2=>2r^2=q^2
q也是偶数
q=2m (m属于z)
p=2r
p/q=2r/2m (可以归约)
所以~/2不是有理数
谈到了dedekind cut,即一条数轴上有无数多个数,用x把2边的书切分开,x可能是有理数,也可能不是.
1,x*x<2>2
可以逐步逼近的方式来求平方根.eg:
(define q3 (lambda (n x)
(cond
((= (* x x) n) x)
((> (* x x) n) (- x 0.001))
((< (* x x) n) (q3 n (+ x 0.001)))))) (q3 2 1.0)=>1.141
(q3 3 1.4)=>1.732
(q3 3 1.5)=>1.732
(q3 4 1.0)=>2
数理逻辑和可计算性理论有很大的关系.
lambda-calculus,作者是Alonzo Church
从数学的角度看:
A,y=x^2+2x+1
B,y=(x+1)^2
A=B
从存在性的角度看以上正确,但从构造性的角度看则不然,如下:
A,y=x*x+2*x+1
B,y=(x+1)*(x+1)
eg:
A,(+ (* x x)
(* 2 x)
1)
B,(* (x+1) (x+1))
所以轮到lambda出场了:
lambda-exp ::= {constant}
|{varibale}
|{lambda-exp1} {lambda-exp2}
|lambda {variable} . {lambda-exp}
两个lambda-exp有2种方式求值:
1,normal ordered:"fully expand and then reduce"
evaluate the lambda-exp1 at first
2,application ordered:"evaluate the arguments and then apply"
evaluate the parameter at first.
eg,a procedure which from sicp can provide a test for make sure whether the
interpreter is normal ordered or application ordered.
(define (p) (p))
(define (test x y)
(if
(= x 0) 0
y))
(test 0 (p))
=>if dead loop,it's application ordered.
app is (lambda (0 (p)))
=>0,it's normal ordered.
if we have a procedure which living in a Interpreter,it would be
maintained by sybolic table like below:
(define square (lambda (x) (* x x)))
---------------------------
|square|lambda(x) (* x x) |
|--------------------------
| |
what is algorithm?Aha,algorithm!
在有限的步骤内完成问题的求解.
real problem->philosophy thinking->math model->computing model->coding
glossary:indefinitely small=im
im>0,|x-A|
无穷小 2 无穷大
套区间,有自然数的特性.
induction:
1+2+3+...+n= n(n+1)/2
1,if n=1, 1= 1(1+1)/2
2,if n=k, 1+2+3+..+k= k(k+1)/2
3,n=k+1, 1+2+3+..k+(k+1),
k(k+1)/2+2(k+1)/2= k(k+1)+2(k+1)/2
=(k+1)(k+2)/2=> n(n+1)/2
组合:C(n r),r<=0,n中选择r个元素. 排列:P(n r),r<=0 P(n r) C(n r) * r! C(n r) = n!/(n-r)! 1,2,3...r........n ------------------>
|__r___| |_(n-r)__|
eg:
(define tail-fac (lambda (x)
(let loop ((n x) (acc 1))
(if
(= n 0) 1
(if
(= n 1) acc
(loop (- n 1) (* n acc)))))))
(define fac (lambda (n)
(if
(= n 0) 1
(* n (fac (- n 1))))))
(define fib (lambda (n)
(cond
((= n 0) 0)
((= n 1) 1)
(else
(+ (fib (- n 1)) (fib (- n 2)))))))
(define tail-fib (lambda (x)
(let fib ((n x) (acc1 0) (acc2 1))
(if
(= n 0) 0
(if
(= n 1) acc2
(fib (- n 1) acc2 (+ acc1 acc2)))))))
the recognize process:material->sybolic system->new recognition
自然数,是人类认知最直接的数,19世纪的德国数学家Leopold Kronecker曾经讲"God made the integers; all else is the work of man" (Bell 1986,p. 477).上帝创造了自然数,其他数都是人造的.自然数在圣经中也有严肃而有趣的联系,圣经中描述的三位一体(trinity)的上帝,三个位格分别是圣父,圣子和圣灵,在犹太人的先知赞美上帝时呼喊"圣哉!圣哉!圣哉!"也是3次,耶酥基督对于自我的存在性的实在和意义的宣称"我是道路,真理与生命".也是3,圣经中关于3的描述还不止于此,但关于在描述方向时就不是3而是4,4个方向:东,南,西,北;同时也有四季:春,夏,秋,冬.而表示绝对创造者本身的3和作为被造相对者的人类产生关系时,即3+4=7,一个礼拜有7天,罗马帝国曾经尝试把一个礼拜搞成5天,结果把人们搞的都不想做事情(和前新教伦理有关系),斯大林也尝试把一个礼拜搞成10天,结果弄的不少苏联人得了累的要死.7天是最适合人类的,圣经中7的描述也有很多,包括对教会,节日(7年释放一次奴隶).同时7在希伯来文化中也代表一个完整的过程.自然数7到今天也影响着我们,一个礼拜仍然是7天,Intel的员工都盼望着7年一次的长假,etc.我们对自然数的确是有先验式的敏感,所以很多方法论也由此而生,eg:尝试把数学上的描述都能够简化到用自然数系.
the basic Primitive recursion function:
1,Constant function:The 0-ary constant function 0 is primitive
recursive.(if n =1)
2,Successor function:The 1-ary successor function S, which returns the
successor of its argument (see Peano postulates), is primitive
recursive. That is, S(k) = k + 1.
3,Projection function:For every n≥1 and each i with 1≤i≤n, the
n-ary projection function Pin, which returns its i-th argument, is
primitive recursive.
General Function:
1,前继,n!(fac)
2,后续,(n-1)!(fac (- n 1))
3,测零,(= n 0)
4,不动点算子,1
eg:
(define a (lambda (n)
(if (= n 0) 1
(* n (fac (- 1))))))
Church-Turning thesis
1,Church's thesis: "Every effectively calculable function (effectively
decidable predicate) is general[1] recursive" (Kleene 1952:300)
可计算函数都可以用一般递归函数构造.
2,Turing's thesis: "Turing's thesis that every function which would
naturally be regarded as computable is computable under his
definition, i.e. by one of his machines, is equivalent to Church's
thesis by Theorem XXX." (Kleene 1952:376)
一切递归函数可以用一般递归函数(1..4)来构造
reduce-law:
alpha:λx.exp-->λy.exp [y/x]
beta: <λ-exp1><λ-exp2>--> <λx.exp1> [
eta:(λx.exp)y--> λ-exp
bound variable:
((lambda (n) (* n n)) 6)=>36
(let ((n 6)) (* n n))=>36
block structure里只能通过arguments作为外部能见的接口.
regular-exp cant be reduced.
Church-Rosser TH I
is x--(reduce)->y,so x->z->y.存在性
Church-Rosser TH II
x--->y.构造性
Ackerman function
{n+1 if m=0
A(m,n)={A(m-1,1) if m>0 and n=0
{A(m-1,A(m,n-1)) if m>0 and n>0
(define ackermann (lambda (m n)
(cond
((= m 0) (+ n 1))
((and (> m 0) (= n 0)) (ackermann (- m 1) 1))
((and (> m 0) (> n 0)) (ackermann (- m 1)
(ackermann m (- n 1)))))))
ackermann(1,5)
(a 0 (a 1 4))
(a 0 (a 0 (a 1 3)))
(a 0 (a 0 (a 0 (a 1 2))))
(a 0 (a 0 (a 0 (a 0 (a 1 1)))))
(a 0 (a 0 (a 0 (a 0 (a 0 (a 1 0))))))
(a 0 (a 0 (a 0 (a 0 (a 0 (a 0 1))))))
(a 0 (a 0 (a 0 (a 0 (a 0 2)))))
(a 0 (a 0 (a 0 (a 0 3))))
(a 0 (a 0 (a 0 4)))
(a 0 (a 0 5))
(a 0 6)
7
scheme中lambda表达式的形参表有3种接收参数的`方式:
1,定长,eg:
(define square (lambda (n) (* n n)))
(square 5)=>25
2,全定长,eg:
(define foo (lambda x x))
(foo 1 2 3)=>(1 2 3)
3,半定长,eg:
(define f (lambda (x . y) (* x x)))
(f 10 20 30)=>100
(define f (lambda (x y . z)
(begin
(display (+ x y))
(newline)
(car z))))
(f 20 30 10 20 30)=>50
10
此方式在C语言中的printf函数是很好的体现.
tail-recursive version of n!
(define tail-fac (lambda (x)
(let fib((n x) (result 1))
(if (= n 0) result
(fib (- n 1) (* result n))))))
odd? or even?
(letrec ((odd? (lambda (n)
(if (= n 0) #f
(even? (- n 1)))))
(even? (lambda (n)
(if (= n 0) #t
(odd? (- n 1))))))
(odd? 98))
=>#f
count n...1 or count n...1
(define Nto1 (lambda (n)
(let count((x n))
(if (= x 0) x
(begin
(display x)
(newline)
(count (- x 1)))))))
(define 1toN (lambda (n)
(let count((x 1))
(if (<= n x) x
(begin (display x)
(newline)
(count (+ x 1)))))))
;Exercise 1.3. Define a procedure that takes three numbers as arguments and ;returns the sum of the squares of the two larger numbers.
(define square (lambda (x) (* x x)))
(define sum-of-square (lambda (a b)
(+ (square a) (square b))))
(define sum-2-square (lambda (x y z)
(cond
[(and (<= x y) (<= x z)) (sum-of-square y z)]
[(and (<= y x) (<= y z)) (sum-of-square x z)]
[(and (<= z x) (<= z y)) (sum-of-square x y)] )))
(define sum-2-square2 (lambda (x y z)
(cond
((and (>= x z) (>= y z)) (sum-of-square x y))
((and (>= x y) (>= z y)) (sum-of-square x z))
((and (>= y x) (>= z x)) (sum-of-square y z)))))
;Exercise 1.12. The following pattern of numbers is called Pascal's triangle.
; 1
; 1 1
; 1 2 1
; 1 3 3 1
; 1 4 6 4 1
;The numbers at the edge of the triangle are all 1, and each number inside the triangle is the sum of
;the two numbers above it.35 Write a procedure that computes elements of Pascal's triangle by means
;of a recursive process.
(define pascal (lambda (x y)
(cond
((= x y) 1)
((= x 1) 1)
((= x 2) 1)
((= y 1) 1)
(else
(+ (pascal (- x 1) y) (pascal (- x 1) (- y 1)))))))
;Exercise 1.30. The sum procedure above generates a linear recursion. The procedure can be
;rewritten so that the sum is performed iteratively. Show how to do this by filling in the missing
;expressions in the following definition:
;(define (sum term a next b)
; (define (iter a result)
; (if
;
; (iter )))
; (iter ))
(define (inc n) (+ n 1))
(define (idents x) x)
(define (sum-int a b)
(sum idents a inc b))
(define (sum2 term a next b)
(let iter((a a) (result 0))
(if (> a b)
result
(iter (next a) (+ result (term a))))))
(define (inc n) (+ n 1))
(define (idents x) x)
(define (fac n)
(product2 idents 1 inc n))
;recursive
(define product (lambda (term a next b)
(if (> a b)
1
(* (term a) (product term (next a) next b)))))
;iterative
(define product2 (lambda (term a next b)
(let loop((a a) (result 1))
(if (> a b)
result
(loop (next a) (* result (term a)))))))
Sunday, April 12, 2009
trip of HongKong
感謝主,此次HK之行的目標都已達到,見到了唐牧師,還有機會跟他交流了一刻鐘,他對待年輕人還是非常的嚴格,跟歸正信仰有衝突的地方他依然是一針見血地指出,不會給你留任何面子.Shawn從心底敬佩這樣的人,為了真理可以不順從這個世界的標準,Shawn或許也注定是這樣的命運.唐牧師每週二在HK尖 沙咀浸信會堂講約翰福音查經,雖然已經看他的video接近2年,這次算是face to face來聽他講道,在講解一些例子的時候可以看出唐牧師引用丹麥神學家和存在主義大哲學家Soren Kierkegarrd的方法論的同時,也不斷地用聖經的經文來進行反證,畢竟Kierkegarrd再厲害也只是人本的思考.
這次也買到了Wild at heart(我心狂野)這本好書,當然還有聖經的研讀版本(採用了歸正宗神學的解釋,美中不足是採用的新譯本).在這裡夠買神學和哲學的書籍倒是很多.去 旺角的那家基督教書店買書,那裡空氣簡直太痛苦了,鼻敏感又來了,看到地鐵站標了當時的空氣指數:93.由於計算方法跟中國大陸和國際衛生組織的都不一 樣,反正就是93已經算很高了,差不多10um以內的微粒都有180ug/m3.HK畢竟跟大部分亞洲城市(bangalore除外)一樣,很物質化,這是Shawn不喜歡的,Shawn對這裡的FOSS community(HK LUG)也很失望,比起北京(BLUG)差距太遠,交通(地鐵幾乎可以到大部分地區)和購物(到處都是商店,品質大部分還不錯)雖然不錯,但相信生活在這 個城市的hacker應該不會太多,真不知道這裡有多少人在思考人生意義(lifeview,worldview).大部分HK人應該已經忘記了聖公會, 就像大部分上海人忘記了天主教一樣.Shawn真的希望亞洲多一些加爾文主義,那怕只是一些在對人生進行嚴肅思考的傢伙也好.
Stephen Tong gave us a free speech here.(free speech but not as free beer)
Shawn,Stephen Tong(thousands of theology phd has been created in USA,but just a few people that could called "the hero of kingdom of God".I think Tong is one of them.),my wife
to HK Central中環
Victoria Harbour
i hate air pollution
在任何大城市的中心地段都有回教的建築,這值得我們思考
the night view of HK from the Peak
Lantau Island ( on Cable car)
hacking on the beach is a good idea,isnt it?
Next stop:悟道2009.I will stick to looking for Tao from The Holy Bible.(also Tao Te Ching)
這次也買到了Wild at heart(我心狂野)這本好書,當然還有聖經的研讀版本(採用了歸正宗神學的解釋,美中不足是採用的新譯本).在這裡夠買神學和哲學的書籍倒是很多.去 旺角的那家基督教書店買書,那裡空氣簡直太痛苦了,鼻敏感又來了,看到地鐵站標了當時的空氣指數:93.由於計算方法跟中國大陸和國際衛生組織的都不一 樣,反正就是93已經算很高了,差不多10um以內的微粒都有180ug/m3.HK畢竟跟大部分亞洲城市(bangalore除外)一樣,很物質化,這是Shawn不喜歡的,Shawn對這裡的FOSS community(HK LUG)也很失望,比起北京(BLUG)差距太遠,交通(地鐵幾乎可以到大部分地區)和購物(到處都是商店,品質大部分還不錯)雖然不錯,但相信生活在這 個城市的hacker應該不會太多,真不知道這裡有多少人在思考人生意義(lifeview,worldview).大部分HK人應該已經忘記了聖公會, 就像大部分上海人忘記了天主教一樣.Shawn真的希望亞洲多一些加爾文主義,那怕只是一些在對人生進行嚴肅思考的傢伙也好.
Stephen Tong gave us a free speech here.(free speech but not as free beer)
Shawn,Stephen Tong(thousands of theology phd has been created in USA,but just a few people that could called "the hero of kingdom of God".I think Tong is one of them.),my wife
to HK Central中環
Victoria Harbour
i hate air pollution
在任何大城市的中心地段都有回教的建築,這值得我們思考
the night view of HK from the Peak
Lantau Island ( on Cable car)
hacking on the beach is a good idea,isnt it?
Next stop:悟道2009.I will stick to looking for Tao from The Holy Bible.(also Tao Te Ching)
Friday, March 13, 2009
the first 3 chapters's excersises of htdp
I begun to read the htdp about 1 week ago.It's a amazing book that give you a way to explain what is computing by simplicity.The implementation of the computing cases are used by a little old computer language which is scheme that invented by Gerald Sussman who is a great computer science professor in MIT.Lisp is the second oldest language in computer field which designed by John McCarthy who is a student of Alonzo Church that he is a author of lambda calculus.Scheme is one of the best dialect of lisp.
How to Design Program?
perhaps people got their answers.As a newbie monkey coder thought that htdp would give you a big help.You have to forget what you knew.A lots sucks infos in your mind aNd you need blow it away.Like Sussman said"it's not about computer and program.it's all about computing."When I was a student in college,people just talk about j2EE,.net and microsfot something.That almostly bullshit!We need looking for the truth from computing world.htdp and sicp would provide a chance to know that truth,make a choice?
btw:words from a friend(non-christian) suddenly came into my mind"Even for our next generations kids,we have to hold the Free Software hood."
I was picks some interesting excersises,let's see:
;; The first three lines of this file were inserted by DrScheme. They record metadata
;; about the language level of this file in a form that our tools can easily process.
#reader(lib "htdp-advanced-reader.ss" "lang")((modname fah) (read-case-sensitive #t) (teachpacks ((lib "convert.ss" "teachpack" "htdp"))) (htdp-settings #(#t constructor repeating-decimal #t #t none #f ((lib "convert.ss" "teachpack" "htdp")))))
;Exercise 2.2.1. Define the program Fahrenheit->Celsius,6 which consumes a temperature measured in Fahrenheit and produces the Celsius equivalent. Use a chemistry or physics book to
;look up the conversion formula.
(define Fahrenheit->Celsius (lambda
(Fahrenheit)
(* (/ 5 9) (- Fahrenheit 32))))
; Contract: area-of-ring : number number -> number
; Purpose: to compute the area of a ring whose radius is
; outer and whose hole has a radius of inner
; Example: (area-of-ring 5 3) should produce 50.24
; Definition: [refines the header]
(define area (lambda (r)
(* 3.14 (* r r))))
(define area-of-ring (lambda (outer inner)
(- (area outer)
(area inner))))
;Exercise 2.2.4. Define the program convert3. It consumes three digits, starting with the least
;significant digit, followed by the next most significant one, and so on. The program produces the
;corresponding number. For example, the expected value of
; (convert3 1 2 3)
;is 321. Use an algebra book to find out how such a conversion works.
(define convert3 (lambda (x y z)
(+ (* x 1) (* y 10) (* z 100))))
Exercise 3.1.4. After studying the cost structure of a show, the owner discovered several ways
of lowering the cost. As a result of his improvements, he no longer has a fixed cost. He now
simply pays $1.50 per attendee.
; profit : number -> number
; to compute the profit as the difference between revenue and costs
; at some given ticket-price
(define profit (lambda (ticket-price)
(- (revenue ticket-price)
(cost ticket-price))))
;; revenue : number -> number
;; to compute the revenue, given ticket-price
(define revenue (lambda (ticket-price)
(* (attendees ticket-price) ticket-price)))
;; cost : number -> number
;; to compute the costs, given ticket-price
(define cost (lambda (ticket-price)
(* 1.5 (attendees ticket-price))))
;; attendees : number -> number
;; to compute the number of attendees, given ticket-price
(define attendees (lambda (ticket-price)
(+ 120
(* (/ 15 0.1) (- 5 ticket-price)))))
;Exercise 3.3.1. The United States uses the English system of (length) measurements. The rest
;of the world uses the metric system. So, people who travel abroad and companies that trade with
;foreign partners often need to convert English measurements to metric ones and vice versa.
;Here is a table that shows the six major units of length measurements of the English system:
; English metric
; 1 inch = 2.54 cm
; 1 foot = 12 in.
; 1 yard = 3 ft.
; 1 rod = 5(1/2) yd.
; 1 furlong = 40 rd.
; 1 mile =8 fl.
;Develop the functions inches->cm, feet->inches, yards->feet, rods->yards, furlongs->rods, and miles->furlongs.
(define inch-cm 2.54)
(define foot-inch 12)
(define yard-feet 3)
(define rod-yard 5.5)
(define furlong-rod 40)
(define mile-furlong 8)
;;functions definition
(define inches->cm (lambda (inches)
(* inches inch-cm)))
(define feet->inches (lambda (feet)
(* feet foot-inch)))
(define yards->feet (lambda (yards)
(* yards yard-feet)))
(define rods->yards (lambda (rods)
(* rods rod-yard)))
(define furlongs->rods (lambda (furlongs)
(* furlongs furlong-rod)))
(define miles->furlongs (lambda (miles)
(* miles mile-furlong)))
;Then develop the functions feet->cm, yards->cm, rods->inches, and miles->feet.
(define feet->cm (lambda (feet)
(inches->cm
(feet->inches feet))))
(define yards->cm (lambda (yards)
(inches->cm
(feet->inches
(yards->feet yards)))))
(define rods->inches (lambda (rods)
(feet->inches
(yards->feet
(rods->yards rods)))))
(define miles->feet (lambda (miles)
(yards->feet
(rods->yards
(furlongs->rods
(miles->furlongs miles))))))
;Exercise 3.3.5. Develop the program height, which computes the height that a rocket reaches
;in a given amount of time. If the rocket accelerates at a constant rate g, it reaches a speed of g · t
;in t time units and a height of 1/2 * v * t where v is the speed at t.
;a constant for acceleration
(define g 5)
;speed of g * t
(define speed (lambda (t)
(* g t)))
;height of /1/2 * v * t
(define height (lambda (t)
(* 0.5 (speed t) t)))
How to Design Program?
perhaps people got their answers.As a newbie monkey coder thought that htdp would give you a big help.You have to forget what you knew.A lots sucks infos in your mind aNd you need blow it away.Like Sussman said"it's not about computer and program.it's all about computing."When I was a student in college,people just talk about j2EE,.net and microsfot something.That almostly bullshit!We need looking for the truth from computing world.htdp and sicp would provide a chance to know that truth,make a choice?
btw:words from a friend(non-christian) suddenly came into my mind"Even for our next generations kids,we have to hold the Free Software hood."
I was picks some interesting excersises,let's see:
;; The first three lines of this file were inserted by DrScheme. They record metadata
;; about the language level of this file in a form that our tools can easily process.
#reader(lib "htdp-advanced-reader.ss" "lang")((modname fah) (read-case-sensitive #t) (teachpacks ((lib "convert.ss" "teachpack" "htdp"))) (htdp-settings #(#t constructor repeating-decimal #t #t none #f ((lib "convert.ss" "teachpack" "htdp")))))
;Exercise 2.2.1. Define the program Fahrenheit->Celsius,6 which consumes a temperature measured in Fahrenheit and produces the Celsius equivalent. Use a chemistry or physics book to
;look up the conversion formula.
(define Fahrenheit->Celsius (lambda
(Fahrenheit)
(* (/ 5 9) (- Fahrenheit 32))))
; Contract: area-of-ring : number number -> number
; Purpose: to compute the area of a ring whose radius is
; outer and whose hole has a radius of inner
; Example: (area-of-ring 5 3) should produce 50.24
; Definition: [refines the header]
(define area (lambda (r)
(* 3.14 (* r r))))
(define area-of-ring (lambda (outer inner)
(- (area outer)
(area inner))))
;Exercise 2.2.4. Define the program convert3. It consumes three digits, starting with the least
;significant digit, followed by the next most significant one, and so on. The program produces the
;corresponding number. For example, the expected value of
; (convert3 1 2 3)
;is 321. Use an algebra book to find out how such a conversion works.
(define convert3 (lambda (x y z)
(+ (* x 1) (* y 10) (* z 100))))
Exercise 3.1.4. After studying the cost structure of a show, the owner discovered several ways
of lowering the cost. As a result of his improvements, he no longer has a fixed cost. He now
simply pays $1.50 per attendee.
; profit : number -> number
; to compute the profit as the difference between revenue and costs
; at some given ticket-price
(define profit (lambda (ticket-price)
(- (revenue ticket-price)
(cost ticket-price))))
;; revenue : number -> number
;; to compute the revenue, given ticket-price
(define revenue (lambda (ticket-price)
(* (attendees ticket-price) ticket-price)))
;; cost : number -> number
;; to compute the costs, given ticket-price
(define cost (lambda (ticket-price)
(* 1.5 (attendees ticket-price))))
;; attendees : number -> number
;; to compute the number of attendees, given ticket-price
(define attendees (lambda (ticket-price)
(+ 120
(* (/ 15 0.1) (- 5 ticket-price)))))
;Exercise 3.3.1. The United States uses the English system of (length) measurements. The rest
;of the world uses the metric system. So, people who travel abroad and companies that trade with
;foreign partners often need to convert English measurements to metric ones and vice versa.
;Here is a table that shows the six major units of length measurements of the English system:
; English metric
; 1 inch = 2.54 cm
; 1 foot = 12 in.
; 1 yard = 3 ft.
; 1 rod = 5(1/2) yd.
; 1 furlong = 40 rd.
; 1 mile =8 fl.
;Develop the functions inches->cm, feet->inches, yards->feet, rods->yards, furlongs->rods, and miles->furlongs.
(define inch-cm 2.54)
(define foot-inch 12)
(define yard-feet 3)
(define rod-yard 5.5)
(define furlong-rod 40)
(define mile-furlong 8)
;;functions definition
(define inches->cm (lambda (inches)
(* inches inch-cm)))
(define feet->inches (lambda (feet)
(* feet foot-inch)))
(define yards->feet (lambda (yards)
(* yards yard-feet)))
(define rods->yards (lambda (rods)
(* rods rod-yard)))
(define furlongs->rods (lambda (furlongs)
(* furlongs furlong-rod)))
(define miles->furlongs (lambda (miles)
(* miles mile-furlong)))
;Then develop the functions feet->cm, yards->cm, rods->inches, and miles->feet.
(define feet->cm (lambda (feet)
(inches->cm
(feet->inches feet))))
(define yards->cm (lambda (yards)
(inches->cm
(feet->inches
(yards->feet yards)))))
(define rods->inches (lambda (rods)
(feet->inches
(yards->feet
(rods->yards rods)))))
(define miles->feet (lambda (miles)
(yards->feet
(rods->yards
(furlongs->rods
(miles->furlongs miles))))))
;Exercise 3.3.5. Develop the program height, which computes the height that a rocket reaches
;in a given amount of time. If the rocket accelerates at a constant rate g, it reaches a speed of g · t
;in t time units and a height of 1/2 * v * t where v is the speed at t.
;a constant for acceleration
(define g 5)
;speed of g * t
(define speed (lambda (t)
(* g t)))
;height of /1/2 * v * t
(define height (lambda (t)
(* 0.5 (speed t) t)))
my gentoo
Linux has a lot of distros around the world.The first time I used Linux is Red hat 9,then I was turning into debian.I have use Fedora in past 2 years.Becuase it's pretty easy to use which is it doesnt needed spend more time for compile the source code by youself.
Today is a big day.I have try out install the most difficult linux i ever heard---gentoo.A friend told me that it is a real hacker's distro.Although it's none of business about whether you are a hacker and which linux distro you using.ANd it still worthy to try.Im installed the gentoo in VirtualBox which is a virtual machine software developed by Sun Microsystem(also under GPLv2).I was watching a movie which named of Revolution OS while it compiling the gentoo kernel.what a enjoy life!
Here's a screenshot:
gentoo is cool,about should i turn to it(nake host)?I have to think about it.Before make a decision about which distro i will use.The htdp's excersise has the higher priority I have to take it out!May Lord bless!
Today is a big day.I have try out install the most difficult linux i ever heard---gentoo.A friend told me that it is a real hacker's distro.Although it's none of business about whether you are a hacker and which linux distro you using.ANd it still worthy to try.Im installed the gentoo in VirtualBox which is a virtual machine software developed by Sun Microsystem(also under GPLv2).I was watching a movie which named of Revolution OS while it compiling the gentoo kernel.what a enjoy life!
Here's a screenshot:
gentoo is cool,about should i turn to it(nake host)?I have to think about it.Before make a decision about which distro i will use.The htdp's excersise has the higher priority I have to take it out!May Lord bless!
Wednesday, February 18, 2009
mzscheme with CGI
I have write a simple CGI today,that was my first time writen and successful running on my laptop.This is my notes that you probably could take a look.It's quite easy more than imagine.
you need 2 tools if you want to write a CGI in scheme:apache and plt-scheme.
Firstable,download the apache server here.Then go Installation that follow steps and run the command on terminal:
tar -zxvf httpd-2.0.63.tar.gz
mv httpd-2.0.63 apache
cd apache
./configure --prefix=/usr/local/apache2 --enable-module=so
make
make install
"--enable-module=so" means that your apache will support DSO capabibliy.
ok.There's a last thing you have to do that it's configurate your httpd.conf file:
AddHandler cgi-script .cgi .scm
Now you got your own~Then you can go to install mzscheme.(read the installation document)
put a file which named of hello.scm in /usr/local/apache2/cgi-bin,the hello.scm file's src:
#!/bin/sh
":"; exec /usr/local/plt/bin/mzscheme -rq $0 "$@"
(display "content-type: text/plain")
(newline)
(newline)
(display "Hello,newbie Schemer!")
Now,use your browser to visit: http://127.0.0.1/cgi-bin/hello.scm
Reference:
CGI programming in Scheme by Hong Feng
Teach Yourself Scheme in Fixnum Days by Dorai Sitaram
you need 2 tools if you want to write a CGI in scheme:apache and plt-scheme.
Firstable,download the apache server here.Then go Installation that follow steps and run the command on terminal:
tar -zxvf httpd-2.0.63.tar.gz
mv httpd-2.0.63 apache
cd apache
./configure --prefix=/usr/local/apache2 --enable-module=so
make
make install
"--enable-module=so" means that your apache will support DSO capabibliy.
ok.There's a last thing you have to do that it's configurate your httpd.conf file:
AddHandler cgi-script .cgi .scm
Now you got your own~Then you can go to install mzscheme.(read the installation document)
put a file which named of hello.scm in /usr/local/apache2/cgi-bin,the hello.scm file's src:
#!/bin/sh
":"; exec /usr/local/plt/bin/mzscheme -rq $0 "$@"
(display "content-type: text/plain")
(newline)
(newline)
(display "Hello,newbie Schemer!")
Now,use your browser to visit: http://127.0.0.1/cgi-bin/hello.scm
Reference:
CGI programming in Scheme by Hong Feng
Teach Yourself Scheme in Fixnum Days by Dorai Sitaram
Tuesday, February 17, 2009
things with eternality are good for your spiritual life
今天Shawn要探讨有关永恒性和灵性的话题,这个问题每当Shawn思考上帝就会发笑,宏大的让Shawn的思绪感到迷茫,但如此重要的问题必须进行讨论,因为这是关乎我们对上帝的回应以至于决定是否能进一步的探寻人生意义和生命本质的可能性.谈论关乎在物质界本不能靠着堕落的理性完全的明白的奥秘之事是很反合性的(paradoxical),Shawn思考的错误难免,如果有错误违背了圣经的地方,请弟兄们以归正宗神学的方式指出.
其实关于永恒性和灵性关系的问题是在和一些追求本质的朋友(包括一位弟兄)讨论世界世俗化和教会世俗化的题目开始的,讨论这样的问题让人感到绝望,感觉到这个世界是堕落的,违反道德律和自然律的,但是为什么被称为"地上暂时的家"的教会也跟着世界在不断的世俗化呢?关于这个问题本身Shawn曾经也是持很悲观的态度,但在去年一年中看到了很多非信徒对待圣经的严谨程度超乎了Shawn的想象,而上帝有时候也使用非信徒完成基督徒不愿意做的事情.
Shawn开始思考是什么决定了一个人对待人生的态度的严肃性,用现代主义的德国大哲学家康德(Immanuel Kant)的思想来表述就是:认真的对待永恒不变的星空(自然律)和内心深处测不透的良心(道德律).用伟大的中国前秦哲学家老子的思想来表述就是:顺道而行!那么决定一个人对待4大关系的态度的是理性吗?不对,大学里有一些教授还跟一些年轻的女学生鬼混在一起,他们理性如此的棒而道德如此的败坏.
那是感性?断乎不是,法国的大思想家帕斯卡尔(Pascal)讲到过消遣之危险,人都需要有感性情感的满足,所以人们有了各种各样party和club来满足他们的情感,这里Shawn讲一个故事:Brad是一个普通的中产阶层的职业经理人,忙碌的工作后想要找地方去消遣relax一下,但觉得只有去教会是成本最低的,因为那里的人都很nice,而且还免费的可乐(diet coke)和匹萨(pizza),去那里精神上好像也得到了满足,所以他几乎每周都去教会,4年后,Brad因为公司的上市赚了很多钱,他现在有很多朋友和很多消遣的选择,从经以后他再也没有去教会了.像Brad这种人去教会的应该很少,但抱有这样心态的弟兄姐妹去聚会的却很多,我们必须要搞明白是什么吸引我们去教会,如果不是上帝的道的话那很危险,像Brad这种人去参加教会活动感性情感可以得到满足吗?Yes,但他们因此对待人生意义的探讨严谨起来了吗?No
那是什么决定你的人生态度?为什么那些非信徒对待真理的态度会那么的严谨?灵性,可以解释成你与上帝的关系,灵性是高于理性和感性的,今天的一些教会用花言巧语拉人入教,或者用开party的方式让人到教会来,以满足他们的感性情感的需求,到教会来扩大社交而可以在生意上有发展,以满足他们的头脑理性的需求.这样的确可以让教会看起来有很多人,但是像Brad那种心态是上帝所不喜悦的.
这里Shawn请你必须注意一点:能够造就灵性的绝对是要具有永恒性的事物.那么哪些是具有永恒性的呢?
1,圣经的本意,字句让人死,精意让人活.(他叫我们能承当这新约的执事，不是凭著字句，乃是凭著精意。因为那字句是叫人死，精意是叫人活（注：“精意”或作“圣灵”林后3:6）
2,一些巴洛克时代的音乐.为什么讲音乐是具有永恒性的?这个话题对Shawn来讲太难以解释,如果从Shawn自己来讲,老婆从我们开始交往就让SHawn戒烟(quit smoking),但一直没有去做的心志,但因为有一段时间迷恋上了Geoge Friedrich Handel的Water Music Wassermusik和Johann Pachelbel的Canon and Gigue in D major for 3 violins and Basso Continuo,那段时间几乎每天晚上回家后就开始反复的听,那种音乐把你带向一个赋有诗意的世界,那个世界与这个世界是不一样的世界,在暂时中享受永恒界的片刻,让你感受到灵感不是来自物质界比如smoking.唐崇荣牧师曾经讲过Handel-Messiah是灵性最高的音乐,关于这一点Shawn愚笨还无法听出.
3,计算(数学),计算的魅力无庸置疑,这个宇宙的无时无刻都在计算之中,音乐能够传到我们的耳朵也是因为某些看不见的算法组成,超越二元(比如波粒二象性和费米子玻色子对称)的宇宙观在东西方文化里都有出现,当然那是属于形而上的.而这个物质的宇宙不能完全的去观测这个宇宙的构成也是自然,解构主义在某中程度上解释了这一点:方法论不能解构方法论本身.当然东方的老子在道德经里也是有记载:人,地,天都有其他参照物作为自己的尺度,而唯有道是以自己作为尺度.而圣经第一次清楚的记录超越二元对称的上帝---三位一体的真神,是在创世纪的亚伯拉罕献以撒,如有兴趣请阅读圣奥古斯丁(st.Augestine)最重要的著作之一:The Trinity(论三位一体).如果计算本身是不能在物质界被解构的,那么Shawn相信计算是具有永恒性的.RMS讲"People will program for Love.".康德曾经谈到即时物质的世界都被毁灭,只有音乐和数学会漂浮上地面.
上面所谈到的圣经的精义可以肯定是具有永恒性的,那是上帝的话语,但是对于音乐和计算Shawn个人坚信是具备永恒性的.只有永恒性才可以造就灵性,但生活在今天的我们到底有多大程度上受到过具有永恒性事情的影响是值得思考的.
Shawn能够用言语描述的就这些了,希望能对弟兄姐妹和追求真理的朋友们有帮助.
愿荣耀归于圣父,圣子,圣灵三位一体的真神!
其实关于永恒性和灵性关系的问题是在和一些追求本质的朋友(包括一位弟兄)讨论世界世俗化和教会世俗化的题目开始的,讨论这样的问题让人感到绝望,感觉到这个世界是堕落的,违反道德律和自然律的,但是为什么被称为"地上暂时的家"的教会也跟着世界在不断的世俗化呢?关于这个问题本身Shawn曾经也是持很悲观的态度,但在去年一年中看到了很多非信徒对待圣经的严谨程度超乎了Shawn的想象,而上帝有时候也使用非信徒完成基督徒不愿意做的事情.
Shawn开始思考是什么决定了一个人对待人生的态度的严肃性,用现代主义的德国大哲学家康德(Immanuel Kant)的思想来表述就是:认真的对待永恒不变的星空(自然律)和内心深处测不透的良心(道德律).用伟大的中国前秦哲学家老子的思想来表述就是:顺道而行!那么决定一个人对待4大关系的态度的是理性吗?不对,大学里有一些教授还跟一些年轻的女学生鬼混在一起,他们理性如此的棒而道德如此的败坏.
那是感性?断乎不是,法国的大思想家帕斯卡尔(Pascal)讲到过消遣之危险,人都需要有感性情感的满足,所以人们有了各种各样party和club来满足他们的情感,这里Shawn讲一个故事:Brad是一个普通的中产阶层的职业经理人,忙碌的工作后想要找地方去消遣relax一下,但觉得只有去教会是成本最低的,因为那里的人都很nice,而且还免费的可乐(diet coke)和匹萨(pizza),去那里精神上好像也得到了满足,所以他几乎每周都去教会,4年后,Brad因为公司的上市赚了很多钱,他现在有很多朋友和很多消遣的选择,从经以后他再也没有去教会了.像Brad这种人去教会的应该很少,但抱有这样心态的弟兄姐妹去聚会的却很多,我们必须要搞明白是什么吸引我们去教会,如果不是上帝的道的话那很危险,像Brad这种人去参加教会活动感性情感可以得到满足吗?Yes,但他们因此对待人生意义的探讨严谨起来了吗?No
那是什么决定你的人生态度?为什么那些非信徒对待真理的态度会那么的严谨?灵性,可以解释成你与上帝的关系,灵性是高于理性和感性的,今天的一些教会用花言巧语拉人入教,或者用开party的方式让人到教会来,以满足他们的感性情感的需求,到教会来扩大社交而可以在生意上有发展,以满足他们的头脑理性的需求.这样的确可以让教会看起来有很多人,但是像Brad那种心态是上帝所不喜悦的.
这里Shawn请你必须注意一点:能够造就灵性的绝对是要具有永恒性的事物.那么哪些是具有永恒性的呢?
1,圣经的本意,字句让人死,精意让人活.(他叫我们能承当这新约的执事，不是凭著字句，乃是凭著精意。因为那字句是叫人死，精意是叫人活（注：“精意”或作“圣灵”林后3:6）
2,一些巴洛克时代的音乐.为什么讲音乐是具有永恒性的?这个话题对Shawn来讲太难以解释,如果从Shawn自己来讲,老婆从我们开始交往就让SHawn戒烟(quit smoking),但一直没有去做的心志,但因为有一段时间迷恋上了Geoge Friedrich Handel的Water Music Wassermusik和Johann Pachelbel的Canon and Gigue in D major for 3 violins and Basso Continuo,那段时间几乎每天晚上回家后就开始反复的听,那种音乐把你带向一个赋有诗意的世界,那个世界与这个世界是不一样的世界,在暂时中享受永恒界的片刻,让你感受到灵感不是来自物质界比如smoking.唐崇荣牧师曾经讲过Handel-Messiah是灵性最高的音乐,关于这一点Shawn愚笨还无法听出.
3,计算(数学),计算的魅力无庸置疑,这个宇宙的无时无刻都在计算之中,音乐能够传到我们的耳朵也是因为某些看不见的算法组成,超越二元(比如波粒二象性和费米子玻色子对称)的宇宙观在东西方文化里都有出现,当然那是属于形而上的.而这个物质的宇宙不能完全的去观测这个宇宙的构成也是自然,解构主义在某中程度上解释了这一点:方法论不能解构方法论本身.当然东方的老子在道德经里也是有记载:人,地,天都有其他参照物作为自己的尺度,而唯有道是以自己作为尺度.而圣经第一次清楚的记录超越二元对称的上帝---三位一体的真神,是在创世纪的亚伯拉罕献以撒,如有兴趣请阅读圣奥古斯丁(st.Augestine)最重要的著作之一:The Trinity(论三位一体).如果计算本身是不能在物质界被解构的,那么Shawn相信计算是具有永恒性的.RMS讲"People will program for Love.".康德曾经谈到即时物质的世界都被毁灭,只有音乐和数学会漂浮上地面.
上面所谈到的圣经的精义可以肯定是具有永恒性的,那是上帝的话语,但是对于音乐和计算Shawn个人坚信是具备永恒性的.只有永恒性才可以造就灵性,但生活在今天的我们到底有多大程度上受到过具有永恒性事情的影响是值得思考的.
Shawn能够用言语描述的就这些了,希望能对弟兄姐妹和追求真理的朋友们有帮助.
愿荣耀归于圣父,圣子,圣灵三位一体的真神!
Thursday, January 15, 2009
revised version of figure on last wrote
Sorry buddy~I have make a mistake that it's a figure which I upload on my last article.The right figure is below.As a man who loved Philosophy,you should really think about it seriously.
Thursday, January 01, 2009
summary 2007---2008
Jan 2007,Shawn开始了对jsp和servlet的学习,但跟2006年学习.net一样,大概持续到了2007年3月份就停止了,Shawn在2004年底开始接触programming的原因是因为读了Master OF Doom---一本让Shawn回忆起童年趣事的书,1994年10月开始玩id的游戏到2004年10月刚好10年的时间,上帝的安排很奇妙!Shawn一开始学习程序设计是为了作出一些游戏的mod,到了2005年下半年发现mod很难赚钱,而对自由的追求一直在Shawn的inside里有了印记.而后放弃了游戏mod的开发的学习,而转入去学习"时髦"的.net,但Shawn当时对microsoft总觉得不爽,所以之后为了跟ms"保持距离"而投入了java的阵营,在2007年2月那段时间里每天都在思考程序设计到底为了什么,那时Shawn已经信主超过2年,从内心有一种呼召(the Call),那段时间每天60支cigarattes,感谢上帝!2007年3月份
Shawn读了那本ESR的The Art of Unix Programming,上帝总是借着非信徒的手来让Shawn明白一些圣经的总原则.之后就是毕业后的选择:money or freedom.你们应该知道Shawn的选择:)
2007年6月,对于Shawn来讲是一个人生的转折,第一次接触到了Reformed Theology(归正神学),上帝在此之前的3年里不断预备了Shawn的心,信主的头2年研读了一些关于数学和物理跟圣经之间的关系,第3年阅读了Jaspers对哲学的诠释和关于Pascal的一些文献.最后归正神学让Shawn一直不断的进行归正,那时Shawn才开始逐渐明白世界博弈的复杂性.
2007年中,Jeff花时间给Shawn讲解linux kernel,让Shawn对low-level tech有所了解.2007是沉闷的一年,一直到了年末Shawn阅读了硅谷禁书和黑客伦理,所以Shawn向上帝pray并且对于文化使命作出承诺,具体是什么了解Shawn的战友们都清楚.
2008年1月5日,Shawn辞职开始创业,合伙人xy是个干劲十足的家伙,没有他的冲劲Shawn也无法真的迈出这一步,虽然和xy的合作不长仅8个月,也带来了一些麻烦,但还是感谢主的安排!
2008年地震后,HF正式成立,本想2008年年末开始,但万军之耶和华的命令是不可怠慢的,正如希伯来书所讲"落在永生上帝的手里,真是可怕!",这里Shawn还是提醒主内的弟兄姐妹,上帝的属性不光只有爱,父神那大而可畏的右手让渺小的人类感到恐惧.
2008年Shawn的收获是开始意识到诠释宇宙的4层模型(数学->物理->哲学<=>归正神学)和方法论的重要性.
Shawn感谢上帝在2007年通过ESR让Shawn明白了作为个人去寻求人生意义和文化使命的关系,2008年又通过RMS让Shawn明白了为什么自由软件的自由必须放在伦理和道德的层面来讨论.这2位都不是基督徒,但所作的事情强过于很多基督徒,很可惜,当年的基督徒都不愿意站出来做圣经的文化使命,而上帝就使用了一个非信徒,一位伟大的战士---Richard M.Stallman
现实生活中,Shawn也看到了像ginrut这样的非信徒---为了追求人生的意义,研读神哲学方法论,对真理的探寻的严谨程度超过了Shawn认识的大部分基督徒.也有像defTsp这样的对自由软件超乎常人的热爱,可以待在一个地方研究基础的数学,Functional programming(lisp),AI超过3年的家伙.这只能更加的说明上帝的恩典是白白赐予基督徒,从人本来看,今天的大多弟兄太差劲.
在这篇总结里Shawn打算赞扬这些得着普遍恩惠(common grace)而对上帝作出了回应的非信徒,但也必须批判那些假冒伪善的基督徒,一个弟兄和一个姐妹维持了超过8年的男女朋友关系,当Shawn问他为什么还不结婚,他讲是"上帝还没有预备好",而他所解释的预备是"要有买房子,够办婚礼和家庭支出一年,总共超过20W的人民币",Shawn当时就在思想如果一个基督徒结婚需要用一笔cash来恒量上帝是否预备好,这绝对不是出于圣经的教导,可惜这样一个家伙还是信主很多年被很多人当成"虔诚信徒"的人.Shawn跟老婆的第一次约会Shawn是借钱去的,怕什么,有上帝照着,彪悍的人生不需要解释.
新年已经来到,switchfoot讲"this is a new year and another fight",希望下一次Long Now Fundation的clock响得早一点,最多9次之后我们可以见到那布谷鸟的来到,那是一只不死鸟之火凤凰吗?如果你是hacker你应该明白Shawn在讲什么.
The list is below,which I posted threads on solidot.org:
U2主唱Bono获得诺贝尔和平大使
*G*oogl*e*是天网
大胡子RMS 中国行
避免毁灭性的妥协--RMS
禁止同性婚姻的加州8号提案被通过
10项最伟大的hacks
世界上最小的具有人类特点的机器人
康奈尔大学FPGA课程2008上线了
视频游戏锻造你的创造性
blogspot再次解封？
宽窄巷子 China Lane,Chengdu
my wife
hungry,dude?
I lived near by this street for 1 year when I was a kid.
The centre of chengdu city天府广场
in facto,I always thought that vampire city is here
Happy New Year!This is a New battleField!
btw:happy is yuppie word.
Shawn读了那本ESR的The Art of Unix Programming,上帝总是借着非信徒的手来让Shawn明白一些圣经的总原则.之后就是毕业后的选择:money or freedom.你们应该知道Shawn的选择:)
2007年6月,对于Shawn来讲是一个人生的转折,第一次接触到了Reformed Theology(归正神学),上帝在此之前的3年里不断预备了Shawn的心,信主的头2年研读了一些关于数学和物理跟圣经之间的关系,第3年阅读了Jaspers对哲学的诠释和关于Pascal的一些文献.最后归正神学让Shawn一直不断的进行归正,那时Shawn才开始逐渐明白世界博弈的复杂性.
2007年中,Jeff花时间给Shawn讲解linux kernel,让Shawn对low-level tech有所了解.2007是沉闷的一年,一直到了年末Shawn阅读了硅谷禁书和黑客伦理,所以Shawn向上帝pray并且对于文化使命作出承诺,具体是什么了解Shawn的战友们都清楚.
2008年1月5日,Shawn辞职开始创业,合伙人xy是个干劲十足的家伙,没有他的冲劲Shawn也无法真的迈出这一步,虽然和xy的合作不长仅8个月,也带来了一些麻烦,但还是感谢主的安排!
2008年地震后,HF正式成立,本想2008年年末开始,但万军之耶和华的命令是不可怠慢的,正如希伯来书所讲"落在永生上帝的手里,真是可怕!",这里Shawn还是提醒主内的弟兄姐妹,上帝的属性不光只有爱,父神那大而可畏的右手让渺小的人类感到恐惧.
2008年Shawn的收获是开始意识到诠释宇宙的4层模型(数学->物理->哲学<=>归正神学)和方法论的重要性.
Shawn感谢上帝在2007年通过ESR让Shawn明白了作为个人去寻求人生意义和文化使命的关系,2008年又通过RMS让Shawn明白了为什么自由软件的自由必须放在伦理和道德的层面来讨论.这2位都不是基督徒,但所作的事情强过于很多基督徒,很可惜,当年的基督徒都不愿意站出来做圣经的文化使命,而上帝就使用了一个非信徒,一位伟大的战士---Richard M.Stallman
现实生活中,Shawn也看到了像ginrut这样的非信徒---为了追求人生的意义,研读神哲学方法论,对真理的探寻的严谨程度超过了Shawn认识的大部分基督徒.也有像defTsp这样的对自由软件超乎常人的热爱,可以待在一个地方研究基础的数学,Functional programming(lisp),AI超过3年的家伙.这只能更加的说明上帝的恩典是白白赐予基督徒,从人本来看,今天的大多弟兄太差劲.
在这篇总结里Shawn打算赞扬这些得着普遍恩惠(common grace)而对上帝作出了回应的非信徒,但也必须批判那些假冒伪善的基督徒,一个弟兄和一个姐妹维持了超过8年的男女朋友关系,当Shawn问他为什么还不结婚,他讲是"上帝还没有预备好",而他所解释的预备是"要有买房子,够办婚礼和家庭支出一年,总共超过20W的人民币",Shawn当时就在思想如果一个基督徒结婚需要用一笔cash来恒量上帝是否预备好,这绝对不是出于圣经的教导,可惜这样一个家伙还是信主很多年被很多人当成"虔诚信徒"的人.Shawn跟老婆的第一次约会Shawn是借钱去的,怕什么,有上帝照着,彪悍的人生不需要解释.
新年已经来到,switchfoot讲"this is a new year and another fight",希望下一次Long Now Fundation的clock响得早一点,最多9次之后我们可以见到那布谷鸟的来到,那是一只不死鸟之火凤凰吗?如果你是hacker你应该明白Shawn在讲什么.
The list is below,which I posted threads on solidot.org:
U2主唱Bono获得诺贝尔和平大使
*G*oogl*e*是天网
大胡子RMS 中国行
避免毁灭性的妥协--RMS
禁止同性婚姻的加州8号提案被通过
10项最伟大的hacks
世界上最小的具有人类特点的机器人
康奈尔大学FPGA课程2008上线了
视频游戏锻造你的创造性
blogspot再次解封？
宽窄巷子 China Lane,Chengdu
my wife
hungry,dude?
I lived near by this street for 1 year when I was a kid.
The centre of chengdu city天府广场
in facto,I always thought that vampire city is here
Happy New Year!This is a New battleField!
btw:happy is yuppie word.
Thursday, December 04, 2008
the Great music
I spent days and nights for listen music that are below list:
Johann Pachelbel Canon and Gigue in D major for 3 violins and Basso Continuo
Dvorak 7th Symphony
Dvorak 9th Symphony(one of my favorite)
Handel Water Music Wassermusik
Handel-Messiah that it's not easy to understand but I will keep listen.
These music are really awsome.It's not just like some boy band,girl band that people called music.These real music that all created by Christians.
Where is the great musician who working for glorify God today?
ignorance if you guys answer "I dont know"
apathy if you guys answer "I dont care"
FATHER,please mercy to our logos.
Predigerkirche, the Erfurt church where Pachelbel worked for 12 years since 1678.
Johann Pachelbel Canon and Gigue in D major for 3 violins and Basso Continuo
Dvorak 7th Symphony
Dvorak 9th Symphony(one of my favorite)
Handel Water Music Wassermusik
Handel-Messiah that it's not easy to understand but I will keep listen.
These music are really awsome.It's not just like some boy band,girl band that people called music.These real music that all created by Christians.
Where is the great musician who working for glorify God today?
ignorance if you guys answer "I dont know"
apathy if you guys answer "I dont care"
FATHER,please mercy to our logos.
Thursday, November 13, 2008
Faith,Suffering and Victory
Suffering come around my life when I accepted Lord Jesus Christ.Why?There is a good sentence could encourging your mind in old hebrew saying (הכל לטובה) and the right pronunciation is "ha-kol le-to-va".It's means that everything will work out in the end in english.You have to suffering while you are trying to build your faith.But your life definitely gonna be changed after you accepted Lord which means D-Day.The V-Day is the New Zion that we can thinking things that cant think which beyond our rational mind.
Some Christians always tell their friends about they guys life are good and no suffering,just because of they guys accepted Lord.This is not good.They guys talk about it but not by Bible "And he that taketh not his cross, and followeth after me, is not worthy of me.Matt 10:38".
I began to interest myself in Eestern Orthodox Theology recently.Orthodox theology also emphases that suffering is neccessary if you want to build a reformed faith.On the other hand,hum..about my personal experirence.The concept of vampyre(probably people usually to say "vampire") is a little bit of mystery about dark art.ok,forget it!
btw:this girl's body painting is about Linux.It's cool,right?about Linux User Group,we need girls like this:
Some Christians always tell their friends about they guys life are good and no suffering,just because of they guys accepted Lord.This is not good.They guys talk about it but not by Bible "And he that taketh not his cross, and followeth after me, is not worthy of me.Matt 10:38".
I began to interest myself in Eestern Orthodox Theology recently.Orthodox theology also emphases that suffering is neccessary if you want to build a reformed faith.On the other hand,hum..about my personal experirence.The concept of vampyre(probably people usually to say "vampire") is a little bit of mystery about dark art.ok,forget it!
btw:this girl's body painting is about Linux.It's cool,right?about Linux User Group,we need girls like this:
Thursday, October 09, 2008
beautiful pain to think
国庆假日一连7天都是重感冒,几乎待在家都没怎么出门.感谢主让Shawn病倒可以思考平时"太忙"没有来得及思考的问题.思想的结果就是文化使命的难度超越了Shawn以前的认识.
文化使命和福音使命必须绑定在一起做,通称为The Great mission(大使命).圣父上帝在旧约时代与亚伯拉罕,以撒,雅各立约,犹太人从此有了祭祀,所有的祭祀都在预表耶酥基督的到来,新约时代通过圣子上帝耶稣基督钉死十字架然后复活,因凡是信靠耶酥基督的圣父上帝就差遣圣灵上帝进入人的里面.但是这里有一个地方需要注意的是主耶酥基督的救赎不光是针对人的,也是针对自然的,因为创世纪第3章讲因为人的罪性而地受了咒诅.基督徒讲太多狭义的福音(针对非信徒的),但是我们讲广义福音的时候太少(针对基督徒的).
文化使命的目的就是让所有因为罪性而败坏的领域回到那符合圣经标准的"原本"状态.
以前一直很难理解唐崇荣牧师为什么讲他1973年开始选择了最难的侍奉主的道路---通过完备的福音(文化使命和福音使命).这里Shawn从一个基督徒原意做文化使命的角度来分析,以软件行业为例子:
今天的软件大多是专利软件,这剥夺了用户的权利,所以出现了一种与之抗衡的自由软件,但由于自由软件社区的家伙有些人是实用主义者,所以他们退出了把自由上升到论理道德层面来看待的立场,而去选择了一个折中路线---开源软件社区.原意把软件业归回到"原本"样貌的基督徒Shawn相信他们会去选择加入自由软件社区.
ok,那么我们现在来看看基督徒和非信徒的几类人的看法:
基督徒:
1,战友,像今天Mr.Fu这样的弟兄,虽然战友很少但感谢主,先知以利亚在软弱时向上帝报怨讲以色列人把上帝的仆人全部杀死了只剩下他一个人,伟大的先知也只是人,人就有软弱的时候,但上帝讲"国中还有7000人是未向巴力屈膝的",Shawn相信主为我们预备了那7000战友.
2,相信归正神学解释圣经出错概率是最小的弟兄姐妹,虽然他们不会直接帮上忙,但他们会为做文化使命的弟兄姐妹祷告,祷告的力量很强大!
3,反对做文化使命的弟兄姐妹,虽然文化使命是出自圣经但同样有很多基督徒反对,但Shawn仍然把他们看成弟兄姐妹,只要他们相信耶酥基督的救赎,因信称义和三位一体的神这3个基要真理.
4,无所谓的弟兄姐妹,这类人其实有2种,一类是受过高等教育,这里的高等教育Shawn指的不是一定在学校上,包括学习MIT Open Course的家伙们,总之就是具有比较强的理性思考能力的弟兄姐妹,如果他们对文化使命抱着无所谓的态度,Shawn也只能向他们比中指:)还是为他们祷告吧!还有一类是不具备很强理性思考能力的弟兄姐妹,比如农村教会的弟兄姐妹,上帝给了他们多少恩赐他们努力发挥就算荣耀上帝了,这就好比一位清洁工弟兄,只要他信靠主耶酥基督,他只要把地打扫干净他就已经在工作中荣耀上帝了,主会说他是又勤劳又良善的仆人,但如果巴非特没有捐赠380亿美元,那主或许会对他讲"又懒又臭的仆人"
非信徒
1,战友,上帝曾经通过非信徒来提醒Shawn的懒惰,一位非信徒朋友给Shawn解释三位一体,而且比以前遇到的所有弟兄姐妹更详细,Shawn很羞愧~第2周就订阅了奥古斯丁的论三位一体,至少目前做自由软件的战友有很多非信徒,在他们身上Shawn看到了上帝的那一特别的属性---永恒性,这个属性带领人类去追求本质,探索人生意义.
2,被金钱洗脑的家伙们,这类人选择做软件行业不是为了兴趣,更不适为了信仰,一帮被中国教育往头脑里面灌屎的家伙.....求主怜悯........
做文化使命很难,或许在神学,哲学,艺术(绘画和音乐)领域稍微容易一些,至少我们还记得st.Augestine,Pascal,Bach这些人,但有多少人记得William Wilberforth,他当年在政治领域做文化使命奋斗了一身最终解放了黑人奴隶.在查考了历史之后只要有些理性分析能力的人都会得出结论:做文化使命是吃力不讨好.但上帝在地上让非信徒一再提醒我们,基督徒能退缩吗?Brothers and sisters,let's making a better world......
主耶酥基督讲"我就是道路,真理和生命".主没有讲"我是真理"或者"我是生命".Shawn想提醒一下弟兄姐妹如果您决定要做文化使命你一定要去思想主为什么会这样讲?
道路可以看成方法论(Methodology),在西方人眼中methodology这个词有些类似中国传统的"道"的含义,圣父上帝在整个旧约都在预备道路,为以色列人,为犹大人,为全人类的救赎预备道路,从旧约就可以看到在错综复杂的博弈当中仍然彰显上帝的荣耀,圣子上帝耶稣基督在新约时代道成肉身来到世界,他具备完全的神性和人性,主耶酥基督作为真理的本体来不断反证我们所理解和学习到的methodology是否正确,主拣选我们后在我们不断的寻求当中我们不断成长,因为有圣灵上帝的带领,所以我们逐渐的活出了生命,那是越来越像耶稣基督的样式.Shawn的意思不是说非要这么化分三位一体神的工作领域,三个不同的位格但又是一位神,他们时刻同在.
不能像一些极端的灵恩宗派只注重生命,但这三者必须都具备才可能活出耶稣基督的样式.关于methodology这里Shawn列举2个人:
1,St.Augestine圣奥古斯丁,奥古斯丁19岁开始研读哲学和雄辩术,但他信主已经是32岁,他很注重在他的领域里积累基础方法论,奥古斯丁在46岁时完成人生3大作品的第1部---那部读的Shawn三次泪下的忏悔录The Confessions,65岁完成了他一身当中质量最高的论三位一体The Trinity,72岁完成了上帝之城The City of God.
2,Shawn很尊重的洪峰老师,1990年洪峰老师22岁开始通过数学,哲学,计算机科学,信息论,最终以泛系方法论(Pansystems methodology)的"举一泛万,系万归一"的方式历经12年终于在2002年基础方法论构建完成.
方法论是由你每天对待每一件事情的态度而积累而成,你可以抱着hacking的态度去做每一件事情,也可以循规蹈矩的去做.这很难,但值得一试,敌人很强大,但创造那强大敌人的创造天地的主与你同在,你还惧怕什么,Shawn的弟兄姐妹们,主的恩典够我们用!!!
那6天的思考还不止这些,还包括AI的其中一个分支领域---Machine Learning.在拜读了Peter Norvig的作品后再继续谈吧!
最后Shawn有一个申明:如果讲圣经的地方讲错了,请不要给Shawn留情面的直接指出来,但是Shawn只接受归正神学的解经.
文化使命和福音使命必须绑定在一起做,通称为The Great mission(大使命).圣父上帝在旧约时代与亚伯拉罕,以撒,雅各立约,犹太人从此有了祭祀,所有的祭祀都在预表耶酥基督的到来,新约时代通过圣子上帝耶稣基督钉死十字架然后复活,因凡是信靠耶酥基督的圣父上帝就差遣圣灵上帝进入人的里面.但是这里有一个地方需要注意的是主耶酥基督的救赎不光是针对人的,也是针对自然的,因为创世纪第3章讲因为人的罪性而地受了咒诅.基督徒讲太多狭义的福音(针对非信徒的),但是我们讲广义福音的时候太少(针对基督徒的).
文化使命的目的就是让所有因为罪性而败坏的领域回到那符合圣经标准的"原本"状态.
以前一直很难理解唐崇荣牧师为什么讲他1973年开始选择了最难的侍奉主的道路---通过完备的福音(文化使命和福音使命).这里Shawn从一个基督徒原意做文化使命的角度来分析,以软件行业为例子:
今天的软件大多是专利软件,这剥夺了用户的权利,所以出现了一种与之抗衡的自由软件,但由于自由软件社区的家伙有些人是实用主义者,所以他们退出了把自由上升到论理道德层面来看待的立场,而去选择了一个折中路线---开源软件社区.原意把软件业归回到"原本"样貌的基督徒Shawn相信他们会去选择加入自由软件社区.
ok,那么我们现在来看看基督徒和非信徒的几类人的看法:
基督徒:
1,战友,像今天Mr.Fu这样的弟兄,虽然战友很少但感谢主,先知以利亚在软弱时向上帝报怨讲以色列人把上帝的仆人全部杀死了只剩下他一个人,伟大的先知也只是人,人就有软弱的时候,但上帝讲"国中还有7000人是未向巴力屈膝的",Shawn相信主为我们预备了那7000战友.
2,相信归正神学解释圣经出错概率是最小的弟兄姐妹,虽然他们不会直接帮上忙,但他们会为做文化使命的弟兄姐妹祷告,祷告的力量很强大!
3,反对做文化使命的弟兄姐妹,虽然文化使命是出自圣经但同样有很多基督徒反对,但Shawn仍然把他们看成弟兄姐妹,只要他们相信耶酥基督的救赎,因信称义和三位一体的神这3个基要真理.
4,无所谓的弟兄姐妹,这类人其实有2种,一类是受过高等教育,这里的高等教育Shawn指的不是一定在学校上,包括学习MIT Open Course的家伙们,总之就是具有比较强的理性思考能力的弟兄姐妹,如果他们对文化使命抱着无所谓的态度,Shawn也只能向他们比中指:)还是为他们祷告吧!还有一类是不具备很强理性思考能力的弟兄姐妹,比如农村教会的弟兄姐妹,上帝给了他们多少恩赐他们努力发挥就算荣耀上帝了,这就好比一位清洁工弟兄,只要他信靠主耶酥基督,他只要把地打扫干净他就已经在工作中荣耀上帝了,主会说他是又勤劳又良善的仆人,但如果巴非特没有捐赠380亿美元,那主或许会对他讲"又懒又臭的仆人"
非信徒
1,战友,上帝曾经通过非信徒来提醒Shawn的懒惰,一位非信徒朋友给Shawn解释三位一体,而且比以前遇到的所有弟兄姐妹更详细,Shawn很羞愧~第2周就订阅了奥古斯丁的论三位一体,至少目前做自由软件的战友有很多非信徒,在他们身上Shawn看到了上帝的那一特别的属性---永恒性,这个属性带领人类去追求本质,探索人生意义.
2,被金钱洗脑的家伙们,这类人选择做软件行业不是为了兴趣,更不适为了信仰,一帮被中国教育往头脑里面灌屎的家伙.....求主怜悯........
做文化使命很难,或许在神学,哲学,艺术(绘画和音乐)领域稍微容易一些,至少我们还记得st.Augestine,Pascal,Bach这些人,但有多少人记得William Wilberforth,他当年在政治领域做文化使命奋斗了一身最终解放了黑人奴隶.在查考了历史之后只要有些理性分析能力的人都会得出结论:做文化使命是吃力不讨好.但上帝在地上让非信徒一再提醒我们,基督徒能退缩吗?Brothers and sisters,let's making a better world......
主耶酥基督讲"我就是道路,真理和生命".主没有讲"我是真理"或者"我是生命".Shawn想提醒一下弟兄姐妹如果您决定要做文化使命你一定要去思想主为什么会这样讲?
道路可以看成方法论(Methodology),在西方人眼中methodology这个词有些类似中国传统的"道"的含义,圣父上帝在整个旧约都在预备道路,为以色列人,为犹大人,为全人类的救赎预备道路,从旧约就可以看到在错综复杂的博弈当中仍然彰显上帝的荣耀,圣子上帝耶稣基督在新约时代道成肉身来到世界,他具备完全的神性和人性,主耶酥基督作为真理的本体来不断反证我们所理解和学习到的methodology是否正确,主拣选我们后在我们不断的寻求当中我们不断成长,因为有圣灵上帝的带领,所以我们逐渐的活出了生命,那是越来越像耶稣基督的样式.Shawn的意思不是说非要这么化分三位一体神的工作领域,三个不同的位格但又是一位神,他们时刻同在.
不能像一些极端的灵恩宗派只注重生命,但这三者必须都具备才可能活出耶稣基督的样式.关于methodology这里Shawn列举2个人:
1,St.Augestine圣奥古斯丁,奥古斯丁19岁开始研读哲学和雄辩术,但他信主已经是32岁,他很注重在他的领域里积累基础方法论,奥古斯丁在46岁时完成人生3大作品的第1部---那部读的Shawn三次泪下的忏悔录The Confessions,65岁完成了他一身当中质量最高的论三位一体The Trinity,72岁完成了上帝之城The City of God.
2,Shawn很尊重的洪峰老师,1990年洪峰老师22岁开始通过数学,哲学,计算机科学,信息论,最终以泛系方法论(Pansystems methodology)的"举一泛万,系万归一"的方式历经12年终于在2002年基础方法论构建完成.
方法论是由你每天对待每一件事情的态度而积累而成,你可以抱着hacking的态度去做每一件事情,也可以循规蹈矩的去做.这很难,但值得一试,敌人很强大,但创造那强大敌人的创造天地的主与你同在,你还惧怕什么,Shawn的弟兄姐妹们,主的恩典够我们用!!!
那6天的思考还不止这些,还包括AI的其中一个分支领域---Machine Learning.在拜读了Peter Norvig的作品后再继续谈吧!
最后Shawn有一个申明:如果讲圣经的地方讲错了,请不要给Shawn留情面的直接指出来,但是Shawn只接受归正神学的解经.
Friday, September 26, 2008
Freezing Dawn
a frenk'in cool friend who enthusiasm with metal which introduced a frenk'in cool mv(about WarCraft) from a frenk'in cool band!
btw:I was unhappy because of LHC's startup failed.OK,dog~dont talk about happy is yuppie word!
btw:I was unhappy because of LHC's startup failed.OK,dog~dont talk about happy is yuppie word!
Tuesday, September 09, 2008
GNU is 25 years old!
A friend of mine who loved free software with enthusiasm,he told me about Freedom Fry — "Happy birthday to GNU".Thank to RMS and punk rock guys who contributed to Free software community!
With keyborad in our fingers and design in our hearts!And in the words of Shawn the R0ck:"We roll tonight to the keyborad bite,and for those about freedom...free software...open hardware~anything about hacking...I salute you."
With keyborad in our fingers and design in our hearts!And in the words of Shawn the R0ck:"We roll tonight to the keyborad bite,and for those about freedom...free software...open hardware~anything about hacking...I salute you."
Subscribe to:
Posts (Atom)
