从希尔伯特到胡塞尔:现象学,特别是形式数学现象学的初步导论

因此,盘旋在胡塞尔头脑中的数学理想完全是现代的,首先是莱布尼茨—这位孤独的思想家,在数个世纪中不被理解,最初在他天才的“数学和逻辑统一的观念”中已经预见过这一点,特别是在他的严格的逻辑形式化的普全数学和代数符号化的关系逻辑的观念中,亦即组合术的语言(combinatoriacharacteristica)。[4]直到十九世纪,通过...

【胜任力】第11期学员《导论》课程讨论发言展示(一)

掌握了MAIE模型、教案制核心概念,按要求完成实践作业,能运用病区协作,营养会诊,营养个案的基本工作方法和流程。知道自己工作中的不足与差距。胜任力中为什么,是什么,怎么办,给了我解惑。差距:1.营养知识水平有限,对临床营养合理营养支持参与程度和水平还有待进一步提高。2.工作思路不对,工作过于形式化,日常...

刘萌萌:科学革命对17世纪自然法观念转变的影响

这一心理动因在格老修斯那里是“自爱”,在霍布斯那里是“自利”,在普芬道夫那里是作为纯粹形式化的社会性的“群居倾向”,在托马修斯那里是“幸福”。霍布斯是运用这种方法的典范。他把人的“自利”和“自保”倾向作为出发点,并使其进一步“科学化”,为其奠定了自然哲学的基础。霍布斯宣称他的自然法学说和政治哲学可...

「教育强国」沈壮海 刘灿:多重视野中的大中小学思政课一体化建设...

特别是在2019年3月18日主持召开的学校思想政治理论课教师座谈会上,习近平系统阐述了大中小学思政课一体化建设的重要意义、现实状况和深化路径,为新形势下破解制约大中小学思政课一体化建设的难题,推动大中小学思政课一体化建设走深走实,提供了根本遵循、指明了行动方向、注入了强大动力。之后,大中小学思政课一体化建设...

你知道IC数学专业吗?

成功完成MSci荣誉学位后,你将能够:1、通过学习、使用大量复杂、相互关联的概念,理解核心材料和更专业的领域2、运用逻辑数学论证,演绎推理数学证明的形式化过程和数学理论的发展3、通过数学分析方法解决问题,认识到所做假设的重要性和违反假设的后果4、使用数学语言描述研究或行业相关情况,运用适当的方法解决问题5、解决...

3月语言学联合书单|什么是会话分析

本书是一部理论性强、涉及多种语言的材料和数亿字的汉语语料库的研究专著,遵照“形式-意义”关联原则,将“话语情态”限定在“说话人在语句中留下的、由语法化的形式(也即封闭类成员或有限对立的形式)表达的自我印记(也即语句中表达主观性和交互主观性的部分)”,分别对句类、情态助动词、情态副词和语气助词所表达...

广东第二!华师喜增53门省级一流课程!

本课程依托国家级“十二五”规划教材《教育技术学研究方法基础》(谢幼如、李克东编著),根据国家教育信息化建设与发展前沿,重构课程内容体系,创新研究方法应用,提供丰富情景案例,可供教育技术专业学生,中小学、职教和高校的教师以及从事教育信息化领域的相关人员学习使用。

人工智能的起源:六十年前,一场会议决定了今天的人机大战

麦卡锡后来发明的LISP语言中最重要功能Eval实际就是丘奇的lambda演算,而且他后半生致力于用数理逻辑把常识形式化,大家由此猜他可能也是丘奇的学生,但其实不是,他压根学的就不是逻辑。他的老师是失去双手的代数拓扑学家所罗门·莱夫谢茨(Lefschetz)。但麦卡锡对逻辑和计算理论一直有强烈兴趣,他1948年刚到普林斯顿读研究...

连接因果科学与深度学习的桥梁:因果表征学习读书会启动

主题1:因果表征学习导论1.BernhardSch??lkopf,FrancescoLocatello,StefanBauer,NanRosemaryKe,NalKalchbrenner,AnirudhGoyal,YoshuaBengio:TowardsCausalRepresentationLearning.CoRRabs/2102.11107(2021)论文链接:httpsarxiv/pdf/2102.11107.pdf...