小站介绍

头版头条 ( 全部 )

话题作者回应更新时间
[置顶]  问题征集:你心目中最理想的数理逻辑教科书应... 来自 赛义甫 9 2019-01-05 03:50
说谎者悖论试解请赛义甫老师批评 来自 hanyupinyin 17 2019-08-30 09:09
飞矢不动悖论试解 来自 hanyupinyin 13 2019-08-18 20:16
芝诺悖论试解 来自 hanyupinyin 2019-08-18 20:07
一点感想 来自 赛义甫 5 2019-05-14 02:44
逻辑学,开源啦!—— 介绍一个逻辑学教科书... 来自 赛义甫 16 2019-04-13 12:39
薛定谔猫实验续 来自 hanyupinyin 2019-02-27 15:29
【书籍资料】栏目新加了【国外优秀教科书拔萃... 来自 赛义甫 2018-12-05 05:24
回答chglyq的问题 来自 赛义甫 2 2018-11-01 18:59
【数理逻辑进阶】准备开辟《证明论》话题 来自 赛义甫 3 2018-10-19 18:49
小站内容一直未更新向各位致歉 来自 赛义甫 3 2018-10-03 13:56
都来谈谈,觉得学了逻辑有什么用吧 来自 李高尚 33 2018-08-21 17:03
刚刚接手本站管理,谢谢小丘 来自 赛义甫 3 2018-08-01 19:00
增添了【逻辑与AI】栏目 来自 赛义甫 2018-06-20 16:25
小站在新的一年里推出的重点内容:GAMUT 来自 赛义甫 6 2018-03-08 09:01
已删除 来自 DSCH-G 7 2018-03-07 11:51
【逻辑和语言】与【逻辑与计算】栏目顺序对调 来自 赛义甫 2018-02-17 18:01
新建立投票站,希望朋友们踊跃投票 来自 赛义甫 1 2018-02-06 17:42
今天终于回来了 来自 赛义甫 2 2017-12-19 18:21
《谓词逻辑:一阶谓词逻辑的语义(一)》又重... 来自 赛义甫 2017-12-14 06:00
【逻辑与计算】栏目增添了[程序员园地]专栏 来自 赛义甫 2017-07-03 02:13
【名师名著】中【王浩】的照片被更新 来自 赛义甫 2017-03-16 19:43
想了解一下有多少人对拿编程语言学习逻辑感兴趣 来自 赛义甫 6 2017-03-08 14:09
问题集合区 来自 李高尚 13 2017-02-16 23:44
小站栏目又已重新调整 来自 赛义甫 2016-03-31 06:00
有人想做管理员么? 来自 李高尚 4 2015-07-13 11:55
关于定义自然数 来自 布朗熊糖果 3 2015-06-08 21:40
谈谈如何选书——我的一家之言 来自 赛义甫 2015-03-25 11:00
《党大还是法大不是伪命题,而是悖论问题》不... 来自 赛义甫 2015-02-24 14:35
【名词解释】栏目被删除 来自 赛义甫 2015-02-10 14:11

栏目内容调查 ( 全部 )

名词解释

话题作者回应更新时间
GAMUT系列 来自 赛义甫 1 2016-03-04 18:31
GAMUT 来自 赛义甫 2014-12-28 15:34

逻辑杂谈 ( 全部35条 )

赛义甫
赛义甫: 我的答复发表在【头版头条】中。 2018-08-24 23:54
 
chglyq
chglyq: 老师你好! 我在看 http://ishare.iask.sina.com.cn/f/7648114.html 【计算机科学的逻辑基础】这篇文章,其中第四页标题3下的第一句话: “使用计算机必须编程序,最初,程序是用机器指令编制,人们很快发现机器运行时实际上是对一个形式语言中的公式进行变换,于是开发了各种高级形式语言。” 请教一下老师, 1、如何理解:“机器运行时实际上是对一个形式语言中的公式进行变换”这句话? 2、能否举一个简单的例子说一下? 2018-08-24 11:00
 
[已注销]
[已注销]: 被一个人推荐而来这里,膜拜一下_(:з」∠)_感谢站长的笔记整理 2018-02-15 16:53
 
赛义甫
赛义甫: A thing is a thing not what is said of that thing 2017-09-19 10:24
 
吉光
吉光: 这里是不是已经无人问津了 2017-09-17 19:14
 
赛义甫
赛义甫: 我们训练机器更灵活、适应模糊、含混和马马虎虎,训练人类更严格、精确和一丝不苟;而这些都离不开逻辑。 2016-09-27 07:35
 
[已注销]
[已注销]: 有看佛教逻辑的吗,看不懂 2016-06-28 18:08
 
虚空无有我
虚空无有我: 性的三要素 1.性:即徼,即空无有三位一体。 天有三宝:日月星; 人有三宝:心身灵; 性有三宝:空无有。 空无有,是性的三要素。 2.空:即佛教的空,是故:色不异空,空不异色。 亦即老宅男康德的“物自体”。 还是性梦大师弗洛伊德的本我,潜意识。 符合本能原则,无善恶之分。 也是佛教八识中的第七识:末那识。 3.无:即龟毛黑格尔的主观精神。 亦即弗洛伊德的自我,前意识。 符合现实快乐原则,有善恶之分,但是不受善恶限制。 也是佛教八识中的五感识。 4.有:即黑格尔的客观精神。 2013-09-04 09:39
 
虚空无有我
虚空无有我: Who am I?我是谁? I am i; I am that I am! I am who I am! 咿(i),我无知! 嗳(i),我知道! 我,即无极, 竟然虚空无! 我不异⊙,⊙不异我; 我即是⊙,⊙即是我。 从哪里来? 从i来! 到哪里去? 到○中去! 2013-09-02 07:57
 
虚空无有我
虚空无有我: 觉而时行之,不亦妙乎? 世界不仁,以运动为刍狗。 给我一个支点(i),我可以撬动世界(⊙)。 令我感到惊讶的不是世界如何运动(?), 而是世界竟然运动(!)。 世界运动,诸法无有,幸福菩提。 唯⊙所现,唯运所变。 生存(ok指):有我虚空无;生活(v字指):无有我虚空;生命(爱的手语):空无有我虚。哈哈哈,世界(⊙指或五指伸开):虚空无有我。 2013-09-02 07:30
 
>

小站活动日志 ( 全部 )

写了新日记

线性代数的本质:向量篇
机器学习,本质上是数学理论的再应用。其中,线性代数不但是基础,而且许多内容直接就是线性代数的内容。本笔记的内容,根据https://www.3blue1brown.com/中,Essence of Linear Algebra的视频改编而成。由于大量的图片(未来将逐渐改...

写了新日记

能否通过离散数学学习数理逻辑?
数理逻辑公认的比较难学。但原因却不在于这门知识本身有多高深,而是有两个更本质的原因:第一,在我们以往从小学、中学到大学的所有知识积累中,很少有关于逻辑与数学二者相关性的训练,更没有数学与哲学相关性的训练,所以在这方面...

写了新日记

Richard Hodel:《数理逻辑导论》中推荐的参考书
Richard Hodel:《数理逻辑导论》中推荐的参考书 本书的末尾,给出了一份数理逻辑的参考书和阅读清单,个人觉得很有代表性,基本上覆盖了本书的主要话题并列出了关于同一话题的各家之言。现将这个书单开列如下: 【数理逻辑全般】: ...

写了新日记

【数理逻辑如何入门】:数理逻辑中的语言学入门(2.2) —— 【元语言】例示和类型
上篇笔记我们谈了三个相关的概念: 1. meta关系 2.【meta关系】与【元】的关系 3. 初步认识了【元语言】的概念 本篇笔记的话题将集中在【元语言】本身,通过一些实例展示更好地从感性认识上理解【元语言】的概念,然后讨论【元语言】...

写了新日记

转帖:弗雷格与希尔伯特的几何学基础之争 作者:钱立卿
弗雷格与希尔伯特的几何学基础之争 ——兼论胡塞尔对几何学起源的分析 作者:钱立卿 来源:《世界哲学》2015年第2期 引自:搜狐网 导言 康德在《纯粹理性批判》开篇就谈到了算术与几何命题的先天综合特征,尤其对于几何学来说,其综合...
2人
逻辑
逻辑学是哲学、数学、语言学和计算机科学的基础。本站将为所有同好提供一个展示、介绍各种逻辑知识以及语义论和相关逻辑语法的平台。欢迎豆友关注。

关注该小站的成员 ( 5031 )

  • Amazing_Jian
  • eighteenzi
  • pipi荨
  • swiftay
  • Enira
  • 贾斯丁 · 安静
  • 子非😀刘理仁
  • 哨子

关注该小站的成员也关注

本站由 李高尚 于2012年03月20日创建