m*********n
发帖数: 540 | 1
第一次听说。有机会有时间的话看看也无妨啊。
但这本书也跟圣经一样，是历经几千年，几十个不同年代的作者写成的吗？ |
|
M******n
发帖数: 43051 | 2 古代两河流域的文学创作是十分丰富的，其中最著名的是《吉尔伽美什》（The Epic
of Gilgamesh）。它是人类历史上的第一部史诗，早在四千多年前就已在苏美尔人（
Sumerian）中流传，经过千百年的加工提炼，终于在古巴比伦王国时期（公元前19世纪
-前16世纪）用文字形式固定下来，成为一部巨著。 |
|
|
|
|
|
|
l*****a
发帖数: 38403 | 8 神话呗， 第四部分看过圣经的基督徒一定会觉得很熟悉 |
|
o**1
发帖数: 6383 | 9 所谓的表达一致，这个表达其实就是你的理解。
你认为圣经是表达的这个，那个人认为是表达的那个。
所以你说表达一致，其实也就是你理解的表达。 |
|
|
E*****m
发帖数: 25615 | 11
不好意思，寫了但是還不是很滿意，既然你問了，我就先貼吧。 |
|
|
E*****m
发帖数: 25615 | 13 有人比我慘嗎？50 多篇！
2 -0.10 [TrustInJesus版]的标题为[破解耶穌山頂寶訓 (二) 耶穌要人不怕
被人當惡人]的文章被删除 2011-06-26 19:22:39
3 -0.10 [TrustInJesus版]的标题为[破解耶穌山頂寶訓 (一) 耶穌開頭說的
是xxxx]的文章被删除 2011-06-26 19:22:33
4 -0.10 [TrustInJesus版]的标题为[解釋（哥德爾版）本體論證明上帝存在]
的文章被删除 2011-06-26 19:22:26
5 -0.10 [TrustInJesus版]的标题为[基督徒的潛規則(五) 耶和華<耶穌<保羅
<自己]的文章被删除 2011-06-26 19:22:09
6 -0.10 [TrustInJesus版]的标题为[神樂意看到大家吵神學問題]的文章被删
除 2011-06-26 19:21:52
7 -0.10 ... 阅读全帖 |
|
j*******7
发帖数: 6300 | 14 3、无神论者最坚强的哲学基础
离了上帝，人也失落；拒绝启示，理性也盲然。不止是数学，人生的任何一环，包
括道德和艺术，如果不在上帝的权威，不在上帝话语的权威下建立，终将无踏足之地。
Godel定理及后现代派的自白，都从反面证实了：拒绝上帝的世界，虽因上帝的普遍恩
典而能存在发展，但人绝对找不出万事万物的可靠基础，他们只能矛盾地生活（既不信
神又不信某种规则和理性）。我们遗憾，在现代主义流行的时候，主流的神学家们和以
前的以色列人一样，“在那地住久了，生子生孙，就雕刻偶像，败坏自己”（申命记13
:6），他们“厌弃了救人脱离一切灾难的神”（撒母耳记上10:19），反去拥抱现代主
义（理性主义），造成不信派的肆虐。现在现代主义不再流行，后现代主义成为显学。
于是又有神学家，“厌烦纯正道理，耳朵发痒，就随从自己的情欲，增添好些师傅；并
且掩耳不听真道，偏向荒渺的言语”（提摩太后书4:3-4）。他们迫不及待地学习后现
代，造成新的背道。
基督徒决不固步自封，神学更应当不断有丰富的发展，神是无限又全能全善的，怎
么可能像一潭死水不动不涌？可是发展要来自不变的神和他永恒的启示，而不是流... 阅读全帖 |
|
j*******7
发帖数: 6300 | 15 ─Vern S. Poythress文章的摘录
章云雄
一般福音派基督徒常以科学证据的中立性出发，为基督教辩护；其实，连做为自然科学
基础的数学本身都不是中立的。普卓思(Vern S. Poythress)是西敏斯特神学院的释经
学教授，拥有哈佛大学数学系的博士学位，他曾经写过一篇有关数学的文章(“A
Biblical View of Mathematics” in Foundations of Christian Scholarship:
Essays in the Van Til Perspective. Vallecito, California: Ross House Books,
1976)处理以下两项关键性的问题：(一) 对基督徒与非基督徒而言，数学这个学科是否
是中立的(即不受宗教信仰影响)？ (二) 如果不是中立的，什麽是基督徒的数学观？
（一）
宗教信仰与数学有关吗？普教授很肯定地答道：当然有关！人对算术、证明的标准、数
学公理是否存在等问题的理解，都受到他的信仰的影响。就算术而言，不是所有的人都
接受2＋2＝4的！一个人必须先接受多元的世界观，才能接纳这道数学公... 阅读全帖 |
|
G***l
发帖数: 355 | 16 ID: Godel
NJU系/院： Math
曾住宿舍： PuKou - 15, GuLou - 5
现在地： TX, graduate soon, maybe move
爱好： All the indoor activities
其它（自由添加）：聪明帅适合做朋友 |
|
G***l
发帖数: 355 | 17 ID: Godel
NJU系/院： Math
曾住宿舍： PuKou - 15, GuLou - 5
现在地： TX, graduate soon, maybe move
爱好： All the indoor activities
其它（自由添加）：聪明帅适合做朋友 |
|
h******d
发帖数: 157 | 18 cong~ professor Teng，他上次的演讲很好。
Computing |
|
c*******r
发帖数: 238 | 19 这个奖含金量怎么样？跟FULKERSON PRIZE比如何？
Computing |
|
x******r
发帖数: 367 | 20 It is one of the most prestigious award in theoretical computer science. |
|
N***b
发帖数: 268 | 21 除了老犹太，就算阿三的多了，看来三哥计算机领域还是比华人强些。 |
|
H*********r
发帖数: 659 | 22 have to admit there are a lot Indians very strong in pure computer science
and
optimization... |
|
N***b
发帖数: 268 | 23 这是为甚麽呢，虽然我不是小沈阳，我还是要问
science |
|
l***i
发帖数: 632 | 24 better math training mah...
it's very disappointing that the math education is so poor in the
undergraduate CS programmes at most universities in China |
|
s*****g
发帖数: 5159 | 25 Say you have five numbers, x1, x2, ..., x5。
let p1, p2, p3 .... be prime number in sequential increasing number.
x = p1^x1+p2^x2+......
This is a one-one perfect mapping.
Google Godel number. |
|
f*********g
发帖数: 632 | 26 Princeton, 20 March 1956
Dear Mr. von Neumann:
GÄodel Book|Wigderson - rev. 2010-0708 5
With the greatest sorrow I have learned of your illness.
The news came to me as quite unexpected. Morgenstern
already last summer told me of a bout of weakness you once
had, but at that time he thought that this was not of any
greater significance. As I hear, in the last months you
have undergone a radical treatment and I am happy that this
treatment was successful as desired, and that you are now
doing ... 阅读全帖 |
|
f*********g
发帖数: 632 | 27 只有点击看的，没有回帖的，真郁闷啊。
难道大家都没兴趣说两句？ |
|
|
|
m****t
发帖数: 570 | 30 CS牛顿级别的是Turing，Godel？
活着的有牛顿级别的吗？ |
|
m****t
发帖数: 570 | 31 CS牛顿级别的是Turing，Godel？
活着的有牛顿级别的吗？ |
|
g****t
发帖数: 31659 | 32 图灵有啥数学？就是抄church, godel的初等实现？ |
|
g****t
发帖数: 31659 | 33 图灵有啥数学？就是抄church, godel的初等实现？ |
|
l*s
发帖数: 783 | 34 ☆─────────────────────────────────────☆
Cklein (Calvin Klein) 于 (Mon Aug 6 20:03:32 2012, 美东) 提到:
从事IT将近20年, .NET出生前就开始研究.NET, 我可以大言不惭的说我是.NET 牛人了.
可是对.NET的近期发展很是失望.
.Net 2.0 在语言上已是顶峰. LinQ 是一个VERY NICE数据库工具.
时至今日, 我的标准配置还是:
.Net 3.5 SP1, Linq2Sql, ASP.NET, WCF
其它后来所有的新版本, 新FEATURE, 感觉都有点脱裤子放屁. .NET4.0 我研究了很长
时间, 还是觉得没有必要升级. 没有任何新的东西.升级风险很大, 得不偿失.
EF也做的越来越臃肿, 复杂. LINQ 2 SQL足够了.
MVC也扯淡. ASP.NET本来不是MVC的东西, 硬要用这个基础做一个MVC出来. 要做干脆另
起炉灶, 现在搞得不伦不类, 太像业余选手. 还搞不同的SCRIPTING ENGINE, 感觉象业
余的OPENSOURCE... 阅读全帖 |
|
n*w
发帖数: 3393 | 35 I was talking to response Godel's. it's Ignorance to say any language is all
syntactic sugar. |
|
g*****g
发帖数: 34805 | 36 来自主题: Programming版 - 王垠忏悔录 He spent 10 years on Ph.D. Not a single paper, couldn't graduate, changed
schools twice, yet he claimed he's too good for it.
OK, fine, maybe this guy is Linus and research is not for him, but he needs
to prove it. He's in this startup in SF and we never heard from him since.
Awful student, average programmer, big time attention whore.
http://blog.csdn.net/janpylx/article/details/7825547
1. 我是什么？
在提出自己的看法之前，我想先说明的问题是，我对此有资格发言吗？答案是毋庸置疑
的。我已经比一般人看透了很多的东西，所以对此我不需要再谦虚。
很多人发现我还没有毕业的时候，想到的的首要问题是：“王垠，你... 阅读全帖 |
|
g****t
发帖数: 31659 | 37 我个人观点:
凡是学过点数理逻辑的,80%以上会觉得functional programming
很有意思.实用性只是一个方面.一个东西有意思,有魅力,就会持久长存.实用性迟早会
爆发出来的.
Lambda Calculus是第一个解决可机算数问题的模型.Church其实至少是和图灵同一个
level的天才.
图灵机最接近实用,实用性结果已经看到.
Godel递归函数啥的最数学,基本不可能使用.
Lambda Calculus其实很难归类,所以我觉得潜力很大. |
|
c******t
发帖数: 133 | 38 谢谢大家的解答！确实如pptwo所说，我自己写的有问题，所以vector，string之类的
sort是可以用两个pointer来作为参数的。list的sort本来就不一样，我搞错了。
也谢谢Godel和domini的指导，我再好好学习一下。 |
|
g****t
发帖数: 31659 | 39 FP是Turing的导师Church发明的,是和图灵机正交的一个计算模型.
这两者的等价,是非常非常不显然的.甚至可以说是极端晦涩的一个问题.
Godel先开始都没看出来.在你这儿,FP怎么成了针对理想图灵机设计的了...
人FP最早是个理论工具.Lisp的发明者非常震惊于Lisp能被硬件实现的.
前不久,好像图灵诞辰100周年,有大牛去princeton各种讲话,
slides网上都有.你可以查查看。
机。 |
|
g****t
发帖数: 31659 | 40 你随便找本书，看怎么讲universal Turing machine的。你的知识太贫乏了。
Turing机之前，已经有了lambda calculus,
也就是lisp等语言的鼻祖。Godel的计算模型也早就有了。这些和图灵机都是等价的。
另外据说当时还有几个别的计算模型。
但universal Turing machine是新的东西。是没有任何前人预料到的。 |
|
|
g****t
发帖数: 31659 | 42 Turing Complete 说明这个语言是等价于TM的,所以也是等价于church, Godel的。
跟Universal TM是两回事。这就好比
(a)你发明了c
(b)你用c写了世界上第一个BIOS
这是两件事。 |
|
g****t
发帖数: 31659 | 43 Church,turing,Godel 的文章，没有用到高等数学。
中学生可以懂。但你要学一点数理逻辑，知道谓词演算什么的，
就是类似于几个if else别把逻辑条件给弄晕了即可 |
|
g****t
发帖数: 31659 | 44 http://www.jianshu.com/p/b94a2b19ebcc
这篇不错。我基本同意。教科书首先都是商品，写的是作者让你看的东西.
网上Godel，Church，Turing的文章都可以找到，看什么教科书呢。
我在国内念书的时候，图书馆没有这些人的论文，只好看克莱因的教课书
老王还有另一篇引用了弗雷格。我觉得他说的
也靠谱。PL其实就是电路.这条是对的。现在的啥responsive design
就是Simulink。 |
|
n******e
发帖数: 699 | 45 我这里开指甲店的
从各方面都秒杀他
你可能会说 指甲店
没有学术水平 不能拿诺贝尔
也不会 葵花宝典
可他到哪还是个low end 程序猿
这SB 的文章 有啥学术水平
我看他 连一片peer review的文章都没
要不然 早就可eb1 早拿到路卡了
就一穷屌死出生的 土鳖
这版上的大多是这样
[在 guvest (我爱你老婆Anna) 的大作中提到：]
:http://www.jianshu.com/p/b94a2b19ebcc
:这篇不错。我基本同意。教科书首先都是商品，写的是作者让你看的东西.
:网上Godel，Church，Turing的文章都可以找到，看什么教科书呢。
:我在国内念书的时候，图书馆没有这些人的论文，只好看克莱因的教课书
:老王还有另一篇引用了弗雷格。我觉得他说的
:也靠谱。PL其实就是电路.这条是对的。现在的啥responsive design
:就是Simulink。 |
|
g****t
发帖数: 31659 | 46 鎴戜互鍓嶅康杩囪寖鐣磋鐨勬暀鏉愶紝杈句笉鍒扮湅鐮旂┒璁烘枃鐨勬按骞炽
(1)
Godel涓嶅畬鍏ㄥ畾鐞嗗ぇ姒傚涓嬶細
This was studied by Andr茅 Joyal in 1973 with the goal of proving G枚del's
Incompleteness Theorems in a categorical fashion. However, Andr茅 never
published anything and many people have tried without success to obtain any
notes from him. I went to his office in Montr茅al in 1991 to get them, but
just came away with a copy of Lawvere's thesis.
浣嗘棤璁轰粈涔堢郴缁燂紝鍙浣犳湁鐨簹璇鸿嚜鐒舵暟绯荤粺锛実odel 閮芥槸
閫傜敤鐨勩閫夋嫨鍏悊锛屾帓涓緥锛屽疄鏁拌繛缁粺杩欎簺鍊掕繕濂姐
(2)
鑼冪暣璁烘垜鏄寜寮变竴鐐圭殑闆嗗悎璁烘潵鐞嗚В鐨勩... 阅读全帖 |
|
g****t
发帖数: 31659 | 47 我15年前在国内看过。这些是凭记忆和感觉写的。
图灵,Godel论文集交大图书馆都有。
: 这些玩意你都看过 ？读过原来的著作？
|
|
g****t
发帖数: 31659 | 48 Godel 1931年讲的是数学证明的数学研究。
Church-Turing 1936讲的是计算的数学研究。
我对人的未来是非常悲观的。
机器只要对智能的理解超过人就可以了。
这相当于对“智能”加一层continuation 或者call back。
机器无须走解决问题这条路，只需要看起来很厉害就行了。
: 二十年前学的这些东东。忘光了。
: 唯一记得的是哥德尔不完全定理的证明思路是把证明过程映射到递归可枚
举集，
从而得
: 出不完备的结论。
: 所以近一百年前就判了图灵机产生智能的死刑。
: 可笑现在还有无穷多的人做梦能成
|
|
g****t
发帖数: 31659 | 49 我15年前在国内看过。这些是凭记忆和感觉写的。
图灵,Godel论文集交大图书馆都有。
: 这些玩意你都看过 ？读过原来的著作？
|
|
g****t
发帖数: 31659 | 50 Godel 1931年讲的是数学证明的数学研究。
Church-Turing 1936讲的是计算的数学研究。
我对人的未来是非常悲观的。
机器只要对智能的理解超过人就可以了。
这相当于对“智能”加一层continuation 或者call back。
机器无须走解决问题这条路，只需要看起来很厉害就行了。
: 二十年前学的这些东东。忘光了。
: 唯一记得的是哥德尔不完全定理的证明思路是把证明过程映射到递归可枚
举集，
从而得
: 出不完备的结论。
: 所以近一百年前就判了图灵机产生智能的死刑。
: 可笑现在还有无穷多的人做梦能成
|
|
