2021年6月+
-
形式主义者认为纯数学是“符号形式结构的科学”。卡尔纳普说:形式主义的观点是正确的,它认为系统的构建可以不考虑符号的意义、纯粹形式地实现。
Jun 16
-
函数的概念是由莱布尼茨引入的,它使空间计算的算术化成为可能。通过计算来分析一个图形的性质往往是困难的,即使代数计算已经完成,要找到非常方便的几何证明和结构就更困难了。但是这个新的特征(函数),跟随视觉图形,不能同时给出解决方案,结构和几何演示,以一个自然的方式和一个分析,即通过确定的程序。(威廉·莱布尼茨的哲学论文和文学(1989)。)
Jun 16
-
纯数学是逻辑的一个分支。《数学的本质》(1933)(路易·库蒂拉)
Jun 16
-
只有表达的描述(即逻辑中的任何句子)是可以预设的。——《逻辑哲学论纲》维特根斯坦(1921)。
Jun 16
-
钱虽然难赚,但是容易花啊。
Jun 16
-
康熙一生生了55个子女,活到成年的28个,夭亡率近50%;雍正子女成年前的死亡率约为60%,乾隆子女成年前的死亡率约为44%。
Jun 15
-
准备给“小杂烩”系列的版式做个小升级,前半部分定义为“light part”,后半部分定义为“dark part”。比较正能量、轻松、易于理解和学习的内容放在前面;比较批判性、阴暗、复杂且抽象程度高的内容放在后面——方便大家选择性阅读,也避伤害到小朋友。(a:vim,d:210615)(#vim,#小杂烩.)
Jun 15
-
言之凿凿,立论煌煌;其心可憎,其行可诛……
Jun 14
-
干公益的人要少谈公益和道德,这是在为自己挖坑。因为很多人会“公益”解读为“free”,同时把“道德”强调为“牺牲”,一边把你放在火上烤、刀下坑,一边把你作为价值观耗材再感动的消费一次,如果在和你利益相关时架着你坑。淳朴得如你身边的好人一样。(a:vim,d:210614)(#社会,#公益,#人性.)
Jun 14
-
极限施压玩儿脱记:某些女生与男生互动的方式:拉黑微信等着对方微信、电话求和,如同锁了门却留了狗洞:他钻过来,她会获得空前的满足,觉得对方爱她爱的不行;而他,会感到空前的侮辱。她通过逼迫对方用侮辱自己的方式向她表达爱——直到他的尊严归零,选择被训服或者离开。(白熊先森@知乎)
Jun 14
-
后备中产阶级
Jun 14
-
这年头,文化和反智经常肝胆相照,文明和野蛮经常如影随形,知识分子往往体现出一种受过系统训练过的愚蠢和傲慢,普通人也差不多,不过他们教化程度有限,表现出来的无知和自以为是会更朴素、天然、无公害一些。(a:vim,d:210613)(#人本思想,#社会,#知识分子.)
Jun 13
-
大学一男同学,与女友在外面同居,不久,他女朋友怀孕了。男同学慌了,求救于家里。家里人气到不行干脆不理他。父亲节那天,男同学想到这是这好机会,于是立马编写短信给他爹:“父亲节快乐”。不到5分钟,他爹回了两字:“同乐。”
Jun 12
-
一女生体育课迟到,被罚跑十圈,跑着跑着发现雨停了,才发现有个男生在为她撑伞。女生一下子脸就红了,对男生说:“我有男朋友了”!男生接道:“我知道,我要是不来,他就会来,我怎么忍心让他受这苦!
Jun 12
-
第34条规则(Rule 34):万物皆有色情内容,且没有任何例外。
Jun 11
-
对于抽象的人(或者人性),要保持足够的警醒和审视;而对于具体的人(或者凡人),则应该持有足够的尊重和理解。具体的人,无论是好是坏,与你有恩有仇,都是可以理解的处境动物和观念造物,可以同理同情。而抽象的人,只是纯粹的符号映射,对于偶像,多的任何情感性心理性的东西都是多余,观察就好。(a:vim,d:210610)(#人性,#生活.)
Jun 10
-
时间调整了好几天,终于确认要去山里一趟。帮小伙伴和武汉的校长们梳理一下思路,看看怎么支持城里的名校精英阶层的孩子怎么和山里的孩子一起开展素养教育。包括学校的教育管理层面的议题,也包括家校协作方面的问题。——虽然小学生不是我们的关注重点,不过校长和家长的沟通还是相通的。(a:vim,d:210610)(#公告,#教育,#乡村振兴.)++
Jun 10
-
契约精神有三重含义,一是契约严守,二是契约自由,三是契约正义。
Jun 09
-
张桂梅华坪女高出来的女生现在怎么样了?++
Jun 09
-
东北地区对女生的教育比较特殊。女生从小就会被各类亲戚问到:“你被欺负了怎么办?”回答越“狠”越受表扬,说话面面的就会被说“完犊子”。女孩们从小就准备好了这一刻,如果真碰到被欺负,占理的情况下,打不死你完全就是女生臂力不行。而男生从小被问的是:“你老妹被欺负了你这当哥的咋办?”(秋月白@知乎)++
Jun 09
-
中国的国有业务部门,包括政府、国企、事业单位等,都有两类职责需要完成:一类是业务性职责,一类是政策性职责。业务性职责是基础,是啥时候都会考虑的;而政策性职责,则类似战略性目标,一般是随时挂在嘴边,但不真当个事,但如果碰到真正的大事,政策性目标的重要性和优先级是可能远高于业务性目标的。(a:vim,d:210609)(#社会责任,#国情.)
Jun 09
-
在传统的家庭框架下,女方管钱比男方管钱能更好的分配和节省不必要。越是有钱的中产就越喜欢装作“怕老婆”“气管炎”“没有钱”,防止别人吃自己的“大户”,省的别人说自己“有钱不舍给大家花不够意思”云云。这是一个夫妻同心演戏的结果。和性别压迫、男权女权没啥关系。(甩锅大魔王@知乎)
Jun 09
-
数学专业老师和同学,能不能帮我科普一下:1篇AoS,1篇Stat,1篇EJS,加1篇顶尖review期刊的comment和1篇Bernoulli,在数学 专业是个什么水平?
Jun 09
-
创新的反义词,可以用“守成”,也可以用“内卷”?去除道德含义,主要是看创新的对象所处的内外部生态,各方博弈的平衡到什么份上了,已经到头的可以用“守成”,过程中的可以用“内卷”。共同的特点是,两个进程中的主流玩家都不太喜欢创新这件事。(a:vim,d:210608)(#创新,#改革.)
Jun 08
-
如何在不改变个性和思维方式的情况下,成为一个体面人:++
Jun 08
-
兼听不一定明,你还需要有对各方说法进行事实还原的意愿和能力,否则你仍然会被带着跑。更要命的是,人家也不一定故意要造假或者骗你,他们可能真这么理解,或者下意识的需要把情况往对自己最有利、最有安全感的方面上描述。然后现象就这么在一轮轮一层层的叙事中,啥也看不清楚,影响了你的最终判断和决策。(a:vim,d:210608)(#认知,#社会.)
Jun 08
-
哪里都是江湖。在做相关领域(或区域)的产业生态基线调查时,需要走访许多的机构和个人。他们之间往往有着千丝万缕的关系,以及非常复杂的相互态度和评价。获得的信息,往往是事实、想像、情绪、包装混在一起,乱成一锅。弄清楚真实情况,需要校正主观的干扰,回归基本面讨论。(a:vim,d:210608)(#行业调研,#咨询,#生态体系建设.)++
Jun 08
-
人与人的相遇,本来以为是一个很“哇塞”的人, 结果发现是一个很“卧槽”的人……
Jun 07
-
野原广志的1994年,35岁,乡下出身,早稻田毕业,180身高。企业中层,月薪30万日元。在东京卫星城买了栋一户建,欠银行贷款35年。妻子野原美芽29岁,女子大学毕业,全职主妇,有两个孩子一条狗。1994年的日本,还没有平成废宅,广场协议的负面影响还不那么明显,中产阶级们的生活,一片欣欣向荣。
Jun 07
-
按理说该睡觉了,可脑子极其的清醒,就是睡不着。而且白天迷迷糊糊到下午三四点才开始作事,现在睡真有些罪恶感……这生物钟调整还真有些难……(a:vim,d:210607)(#失眠,#闲话.)
Jun 07