#AnnalsOfTheWesternShore #LeGuin #Voices
Begin to read the second book of Annals Of The Western Shore: Voices.
After the first chapter, I cannot ensure the gender of Memer(the protagonist). Not sure if it's a trick? Or just because I'm not familiar with the western names.
Begin to read the second book of Annals Of The Western Shore: Voices.
After the first chapter, I cannot ensure the gender of Memer(the protagonist). Not sure if it's a trick? Or just because I'm not familiar with the western names.
> 阿尔德人的神是烈焰之神阿忒斯，对他们来说，烈火焚身而死是伟大的事情。因此他们将书本和人犯投入水中，或者将他们带到海边的泥滩上，用铲子和长棍将他们推进去，肆意践踏，直到他们窒息而死，沉入深深的泥沼中。
我不能不怀疑三弦设计萨教的时候参考了勒古恩。
#LeGuin #AnnalsOfTheWesternShore #LeGuin
我不能不怀疑三弦设计萨教的时候参考了勒古恩。
#LeGuin #AnnalsOfTheWesternShore #LeGuin
#播客
https://open.spotify.com/episode/5plQCmgUoNjWG8yzfvWVi0
这期的无聊斋真的是「厉害了」，嘉宾是考古学博士（在北美做考古），而且据她说，她原来读的不是考古学，但是选修了一门考古学入门，听完第一节课就去找老师转专业了。
It's a rare gift, to know where you need to be, before you've been to all the places you don't need to be.
大法师 Nemmerle 如是说。
https://open.spotify.com/episode/5plQCmgUoNjWG8yzfvWVi0
这期的无聊斋真的是「厉害了」，嘉宾是考古学博士（在北美做考古），而且据她说，她原来读的不是考古学，但是选修了一门考古学入门，听完第一节课就去找老师转专业了。
It's a rare gift, to know where you need to be, before you've been to all the places you don't need to be.
大法师 Nemmerle 如是说。
Spotify
vol.524 刑侦验骨、挖洞勘测、荒野求生，当考古学家这么刺激吗？
无聊斋 · Episode
Forwarded from Hacker News 摘要
Telegraph
GitHub Issues几乎是世界上最好的笔记本
原标题：GitHub issues is almost the best notebook in the world Simon Willison的博客介绍了GitHub Issues作为笔记本的优点，称其几乎是世界上最好的笔记本。GitHub Issues免费且无限制，既可以用作公共笔记，也可以用作私人笔记。它提供全面的Markdown支持，几乎支持所有编程语言的语法高亮功能。此外，你可以直接将图像或视频拖放到笔记中。 GitHub Issues具有出色的链接能力，你可以在Markdown列表中粘贴其…
Forwarded from 飛蛾書庫
数学家的逻辑_A_G_哈密尔顿,骆如枫,陈慕昌,茹季札,黄万徽.pdf
7.9 MB
《数学家的逻辑》
作者: A.G.哈密尔顿 / Hamilton, A.G.
出版社: 商务印书馆
译者: 骆如枫 / 陈慕昌 / 茹季札 / 黄万徽
出版年: 1989
页数: 303
这本入门教材不仅为未来的逻辑学家而设计，也旨在对一般的数学工作者有所帮助。它基于A.G.哈密尔顿在斯特灵大学为三、四年级本科数学专业学生所开的讲座，目的是向学生或职业数学家介绍数理逻辑的技术与主要成果，即使他们的背景知识仅限于典型的一年级本科数学课程也没有关系。
本书在呈现内容时避免偏向某一特定方向、应用或发展，力图将数理逻辑置于数学的整体背景中，强调其对数学家的重要性。教材从基础层面出发，由非正式讨论逐步过渡到正式的数学与逻辑系统的严谨描述与运用。前几章内容包括命题演算与谓词演算；后续章节则涵盖哥德尔的不完全性定理，以及各种不可判定性与不可解性结果，包括对图灵机和抽象可计算性的探讨。
每一节最后都附有练习题，旨在帮助读者澄清和巩固所学内容，其中许多题目在书末提供了提示或解答。
#数学 #逻辑 #哈密尔顿
作者: A.G.哈密尔顿 / Hamilton, A.G.
出版社: 商务印书馆
译者: 骆如枫 / 陈慕昌 / 茹季札 / 黄万徽
出版年: 1989
页数: 303
这本入门教材不仅为未来的逻辑学家而设计，也旨在对一般的数学工作者有所帮助。它基于A.G.哈密尔顿在斯特灵大学为三、四年级本科数学专业学生所开的讲座，目的是向学生或职业数学家介绍数理逻辑的技术与主要成果，即使他们的背景知识仅限于典型的一年级本科数学课程也没有关系。
本书在呈现内容时避免偏向某一特定方向、应用或发展，力图将数理逻辑置于数学的整体背景中，强调其对数学家的重要性。教材从基础层面出发，由非正式讨论逐步过渡到正式的数学与逻辑系统的严谨描述与运用。前几章内容包括命题演算与谓词演算；后续章节则涵盖哥德尔的不完全性定理，以及各种不可判定性与不可解性结果，包括对图灵机和抽象可计算性的探讨。
每一节最后都附有练习题，旨在帮助读者澄清和巩固所学内容，其中许多题目在书末提供了提示或解答。
#数学 #逻辑 #哈密尔顿
#AnnalsOfTheWesternShore #LeGuin #Voices
Le Guin can always write some very cruel stories in a very calm tone. I'm glad that the cruelest part of this story had happened before the story started.
Le Guin can always write some very cruel stories in a very calm tone. I'm glad that the cruelest part of this story had happened before the story started.
#洞穴奇案
> 在联邦诉斯特莫尔(Commonwealth v. Staymore)的案例中，根据把汽车停放在特定区域超过两个小时构成犯罪的法律规定，被告是有罪的。被告力图移开他的车，但无能为力，因为街道被一个他没有参加也没有理由预测到的政治游行所阻断了。他的有罪判决被本法庭撤销了，尽管被告行为完全符合法令的字面规定。
福斯特法官的例子里面，Staymore 这个名字玩了个双关梗啊。
> 在联邦诉斯特莫尔(Commonwealth v. Staymore)的案例中，根据把汽车停放在特定区域超过两个小时构成犯罪的法律规定，被告是有罪的。被告力图移开他的车，但无能为力，因为街道被一个他没有参加也没有理由预测到的政治游行所阻断了。他的有罪判决被本法庭撤销了，尽管被告行为完全符合法令的字面规定。
福斯特法官的例子里面，Staymore 这个名字玩了个双关梗啊。