diff --git a/2024/11/01/145302615a36/index.html b/2024/11/01/145302615a36/index.html new file mode 100644 index 0000000..fa57603 --- /dev/null +++ b/2024/11/01/145302615a36/index.html @@ -0,0 +1,226 @@ + + + + + + + + + + + + + 直觉主义逻辑探究 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+
+ +
+
+

+
🌑
+ + +

+
+ +
+

+ 諾諾の魔法ノート. +

+
+ +
+
+
+ Home + + + 介紹 + + + + 友達 + + + + + Email + + +
+
+
+
+
+ +
+

直觉主义逻辑探究

+ +

直觉主义逻辑（intuitionistic logic）是荷兰数学家和逻辑学家Arend Heyting在1930年提出的一个旨在刻画Brouwer直觉主义数学所用的推理规则的逻辑系统。其强调否定的意义逻辑与经典逻辑有所不同，其区分了实在上的假和道理上的假，指出直觉主义逻辑上的否定是道理上的假，是一种强否定；经典逻辑上的否定是实在上的假，是一种弱否定。
直觉主义逻辑的真假依赖于我们的认知，真等于我们能证明它，假等于证明它会导致矛盾。而在直觉主义逻辑中，一个命题被解释为一个集合，其元素代表该命题的证明，因此一个假命题被解释为空集合，而一个真命题则是为非空集合。
在经典逻辑中，一个命题被认为或真或假，这独立于我们是否能证明它或反证它。另一方面，在直觉主义逻辑中，如上所说，真仅当我们有一个证明它的方法。因为我们没有证明或反证任意命题的方法，所以排中律并不在所有命题中成立，我们不能断定一个任意命题要么真要么假。
在直觉主义意义下，实数集中单个实数既不是在连续统之前，也不是在连续统生成之后一个一个地被构造出来，而是在构造连续统的同时构造每一个实数，反之，在构造每一个实数的同时也在构造连续统。可构造的实数可以无止境地进行下去，但我们实际上所得到的是实数的无穷小数展开式中的一部分，是通向无穷的一个初始片段，而不是真正的无穷。如此，直觉主义意义下的单个实数就既不是在连续统之前，也不是在连续统生成之后一个一个地被构造出来，而是在构造连续统的同时构造每一个实数，反之，在构造每一个实数的同时也在构造连续统。而实际上我们只是构造了每一个实数的有穷片段，从而直觉主义意义下的连续统本身与每一个直觉主义意义下的实数同时处于可行的、潜无穷的构造状态中。所以要构造实数或者构造连续统我们必须接受潜无穷而不接受实无穷。

+ +

— 2024年11月1日

+ + + +
+ +
+ +
+
+ +
+ +
+ + + + + + diff --git a/about/index.html b/about/index.html index b758492..bbad4f8 100644 --- a/about/index.html +++ b/about/index.html @@ -194,7 +194,7 @@

介紹

大家好啊，我是晓诺诺，或者可以叫我RMOlive。
是一名不称职的精神科医生，对语言学、计算机科学、神学感兴趣。

-

我的联系方式：
QQ：3070993723
Email: rmolives@wumoe.org

+

我的联系方式：
QQ：3070993723
Email: rmolives@wumoe.org

diff --git a/archives/2024/11/index.html b/archives/2024/11/index.html new file mode 100644 index 0000000..d8aaf60 --- /dev/null +++ b/archives/2024/11/index.html @@ -0,0 +1,246 @@ + + + + + + + + + + + + + All Posts - RMOlive + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+
+ +
+
+

+
🌑
+ + +

+
+ +
+

+ 諾諾の魔法ノート. +

+
+ +
+
+
+ Home + + + 介紹 + + + + 友達 + + + + + Email + + +
+
+
+
+
+ +
+ +

All Posts

+ + + + +
+
    + + +
+
+ + +
+ +
+ +
+
+ +
+ +
+ + + + + + diff --git a/archives/2024/index.html b/archives/2024/index.html index 0bd82ab..9199225 100644 --- a/archives/2024/index.html +++ b/archives/2024/index.html @@ -195,6 +195,22 @@

All Posts

+
+
+ +
+

2024年11月1日

+
+
+ + + 直觉主义逻辑探究 + + +
+
+
+
diff --git a/archives/index.html b/archives/index.html index ef1ed22..7ea7ae8 100644 --- a/archives/index.html +++ b/archives/index.html @@ -195,6 +195,22 @@

All Posts

+ +
diff --git a/friends/index.html b/friends/index.html index 92c9881..8653334 100644 --- a/friends/index.html +++ b/friends/index.html @@ -202,7 +202,7 @@

友達

  • 技术、科学、ACG向，不接受生活向和资源向
  • 内容无太大版权问题，且内容有水平（不是水文）
    • -

    如果满足以上客观要求，请将贵站的信息发至我的邮箱(rmolives@wumoe.org)，一般七天内就会处理的，无论结果都会回信哦～
    Tips: 回信后会包含本站的信息，到时候再添加也可以的

    +

    如果满足以上客观要求，请将贵站的信息发至我的邮箱(rmolives@wumoe.org)，一般七天内就会处理的，无论结果都会回信哦～
    Tips: 回信后会包含本站的信息，到时候再添加也可以的

    diff --git a/index.html b/index.html index b982140..5391296 100644 --- a/index.html +++ b/index.html @@ -203,6 +203,20 @@

    私は諾諾です.

    Recent Posts

    +
    + +
    +

    2024年11月1日

    +
    +
    + + + 直觉主义逻辑探究 + + +
    +
    +
    @@ -259,6 +273,20 @@

    Recent Posts

    +
    + +
    +

    2024年10月9日

    +
    +
    + + + 日本青年中所流行的偽中国語 + + +
    +
    +

    All Posts

    diff --git "a/tags/\346\225\260\345\255\246/index.html" "b/tags/\346\225\260\345\255\246/index.html" new file mode 100644 index 0000000..76d8b84 --- /dev/null +++ "b/tags/\346\225\260\345\255\246/index.html" @@ -0,0 +1,250 @@ + + + + + + + + + + + + + Posts Related to 数学 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
    +
    +
    + +
    +
    +

    +
    🌑
    + + +

    +
    + +
    +

    + 諾諾の魔法ノート. +

    +
    + +
    +
    +
    + Home + + + 介紹 + + + + 友達 + + + + + Email + + +
    +
    +
    +
    +
    + +
    + + + +

    Posts Related to — 数学

    + + + + + + +
    +
      + + +
    +
    + + +
    + +
    + +
    +
    + +
    + +
    + + + + + +