数理逻辑吧 - RAT

14

2013-07-28

【水帖】开个水帖，大家有什么想说的话可以聊一聊

反正吧里没什么人气，无关话题都可以放在这里，估计不会乱

🧑鸿雁之什c

2

2013-07-24

big head

现在做逻辑和集合论的有哪些人比较NB？

🧑z13281732010

1

2013-07-16

开个水贴。。

吧里有西方哲学爱好者么？请加群292393695，本人QQ1224930322 求大神级哲学同道很久了，，

🧑lotti4

1

2013-07-14

并非。。。

请问诸位前辈，逻辑学中总是用到的“并非”一词，究竟是“并不一定”（仅仅取消必然性而不是否定）的意思，还是“不可能”（否定）的意思？、、、、

🧑lotti4

2

2013-06-28

突然有一个疑问

每个集合的元素都是可判定的，也就是说，对任何一个集合对任何一个元素都能判定那个元素是否属于那个集合。接着，按照幂集合的定义，自然数集的子集有ℵ₁个，而判……

🧑a3260366

3

2013-06-26

求问：如何证明“一阶逻辑”中的“量词否定等值式”

not ∀x F(x) →∃x not F(x) 网上看见的解释都是说这是直观的，我想知道具体怎么证明

🧑惊门z

0

2013-06-26

【讲座预告】6月28日Colin McLarty教授北师大讲座

北师大最近逻辑学讲座真多 Title: Foundations for Fermat's Last Theorem and related number ……

🧑鸿雁之什c

2

2013-06-24

任何集都能良序化吗？

🧑z13281732010

1

2013-06-21

【讲座预告】2013年北京市批判性思维讨论会

北京市逻辑学会、北京师范大学哲社学院学术活动学术活动主题：批判性思维讨论会主讲人：董毓，加拿大麦克马斯特（McMaster）大学逻辑和科学方法论博士……

🧑鸿雁之什c

1

2013-06-18

【讲座预告】Dr. Scott S. Cramer北师大集合论讲座

Title: Large cardinals and generalizing descriptive set theory Time: June 21,……

🧑鸿雁之什c

6

2013-06-13

求助。。。

题目答案请问诸位前辈，，，我实在理解不了最后一步到“deg(A)=deg(B)+1或deg(C)+1”时，怎么就立即得出了“即<连接符在A中出现的次数”？……

🧑lotti4

0

2013-06-13

新人报到

在下非计算机专业，非逻辑专业，是某所屌丝本科的某烂文科专业生，，准备考某所大学的西方哲学专业，，最近对维特根斯坦语言哲学很感兴趣，于是对数理逻辑也产生了兴……

🧑lotti4

4

2013-06-13

求助。。

前辈们，，我实在理解不了这里的“N包含于S”是怎么出来的，，，证明中假定的S定义中首先说明了n属于N了啊，，这样得出的S怎么会比N大？？、、、、我是初学狗……

🧑lotti4

1

2013-03-06

跪求告诉为什么进行善意推定和这个样子做的原理！

RT..

🧑猫仔大人

3

2013-01-09

G猜存在一个反例的逻辑后果

如果2n是不等于2p之和的偶数中的最小者，其逻辑后果有： 1.小于2n相差为2的连续偶数数列，从大到小，它们的个位数字以6，2，8，4，，0的排序在数列中……

🧑亦民科亦民科

3

2012-12-27

哥德尔不完全性定理之后的数理逻辑

谁能介绍一下在哥德尔不完全性定理之后数理逻辑有什么发展？近五十年数理逻辑有什么重大成果吗？

🧑kaituozhe196

3

2012-12-13

一道关于复言命题及其推理的题目

🧑zhangyu3198013

3

2012-12-13

求助

我看过一些公理集论和数理逻辑的书，发现集论里的书用逻辑，逻辑的书用集论。求教两者的关系。

🧑Georg😱

1

2012-11-15

院系选课：数理逻辑，数学建模，组合数学哪个好学？？

学长给点建议哈。。。

🧑kn101

2

2012-10-16

求一元一次方程的数理逻辑！！！！！！！！！！！！！！！！

把一些图书分给某班学生阅读如果每人分3本那么剩余20本如果每人分4本那么还缺25本这个班有多少学生？设这个班有x个学生，则 3x+20=4x-25 x=……

🧑蓝桃皇帝

2

2012-08-02

可否在逻辑上证明常数之间有某种深刻的联系？

比如费根鲍姆常数和普朗克常量之间是否存在某种关系，从而他们之间可以互相推知？

🧑云中倒影☜

4

2012-05-11

如何证明下面公式为重言式

🧑zhangyu3198013

4

2012-05-11

数学结构与存在的关系

万物皆数，这话是对的。按照数理逻辑推导出来的数学结构，如方程，恒等式，不等式，函数式等等，应该和存在有对应关系。不知这个猜测对否，请吧友赐教。

🧑亦民科亦民科