Augustin Louis
Augustin Louis的移动应用 · · · · · · ( 用过2 )
用过
Augustin Louis的评论 · · · · · · · · · · ( 评论7 )
- Proof, Constructive and Incompleteness Theory:A note on Chapter 6 and Martin Löf's lecture
-
-
Augustin Louis
评论:
Philosophical Logic
- A short summery of Frege's thought
-
-
Augustin Louis
评论:
The Foundations of Arithmetic
This short summery is concerned with his book The Foundations of Arithmetic , his papers Sense and Reference and Function and Concept,and his work Basic Laws of Arithmetic.These books explains his ...
Hypothesis non fingo.
Neque enim leges intellectui aut rebus damus
ad arbitrium nostrum, sed tanquam scribe
fideles ab ipsius nature voce lates et prolatas
excipimus et desribimus.
Veniet tempus, quo ista que nunc latent, in
lucem dies extrahat et longioris avi dligentia.
不作任何假设。
我们绝不按照自己的意图
把法则强加于心智或事物
而是如同忠实的抄录员，
从自然的启示中接受这些法则并记录它们。
这一天一定会来临，届时
那些现在对我们来说是隐蔽的东西终被揭示出来。
Georg Ferdinand Ludwig Philipp Cantor
Neque enim leges intellectui aut rebus damus
ad arbitrium nostrum, sed tanquam scribe
fideles ab ipsius nature voce lates et prolatas
excipimus et desribimus.
Veniet tempus, quo ista que nunc latent, in
lucem dies extrahat et longioris avi dligentia.
不作任何假设。
我们绝不按照自己的意图
把法则强加于心智或事物
而是如同忠实的抄录员，
从自然的启示中接受这些法则并记录它们。
这一天一定会来临，届时
那些现在对我们来说是隐蔽的东西终被揭示出来。
Georg Ferdinand Ludwig Philipp Cantor
Augustin Louis的广播 · · · · · · ( 全部 )
订阅Augustin Louis的收藏:
feed: rss 2.0