Skip to content

Commit

Permalink
Site updated: 2024-11-03 18:10:00
Browse files Browse the repository at this point in the history
  • Loading branch information
@rmolives
rmolives committed Nov 3, 2024
1 parent 98b6f78 commit f25272d
Show file tree
Hide file tree
Showing 8 changed files with 784 additions and 2 deletions.
226 changes: 226 additions & 0 deletions 2024/11/01/145302615a36/index.html
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,226 @@
<!DOCTYPE html>
<html lang="en">

<head>

<!-- Minima -->
<!-- Hexo theme created by @adisaktijrs -->

<!-- Basic Page Needs
–––––––––––––––––––––––––––––––––––––––––––––––––– -->
<meta charset="utf-8">


<title>直觉主义逻辑探究</title>

<link rel="canonical" href="https://rmolives.com/2024/11/01/145302615a36/">

<meta name="description" content="直觉主义逻辑（intuitionistic logic）是荷兰数学家和逻辑学家Arend Heyting在1930年提出的一个旨在刻画Brouwer直觉主义数学所用的推理规则的逻辑系统。其强调否定的意义逻辑与经典逻辑有所不同，其区分了实在上的假和道理上的假，指出直觉主义逻辑上的否定是道理上的假，是一">


<meta name="keywords" content="RMOLIVE,诺诺,博客">

<meta name="author" content="RMOlive">

<meta property="og:image" content="https://rmolives.comundefined">

<meta property="og:site_name" content="諾諾の魔法ノート" />
<meta property="og:type" content="article" />
<meta property="og:title" content="直觉主义逻辑探究" />

<meta property="og:description" content="直觉主义逻辑（intuitionistic logic）是荷兰数学家和逻辑学家Arend Heyting在1930年提出的一个旨在刻画Brouwer直觉主义数学所用的推理规则的逻辑系统。其强调否定的意义逻辑与经典逻辑有所不同，其区分了实在上的假和道理上的假，指出直觉主义逻辑上的否定是道理上的假，是一">

<meta property="og:url" content="https://rmolives.com/2024/11/01/145302615a36/" />

<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:title" content="直觉主义逻辑探究">

<meta name="twitter:description" content="直觉主义逻辑（intuitionistic logic）是荷兰数学家和逻辑学家Arend Heyting在1930年提出的一个旨在刻画Brouwer直觉主义数学所用的推理规则的逻辑系统。其强调否定的意义逻辑与经典逻辑有所不同，其区分了实在上的假和道理上的假，指出直觉主义逻辑上的否定是道理上的假，是一">


<meta name="twitter:image" content="https://rmolives.comundefined">

<meta name="twitter:url" content="https://rmolives.com/2024/11/01/145302615a36/" />

<!-- Mobile Specific Metas
–––––––––––––––––––––––––––––––––––––––––––––––––– -->
<meta name="viewport" content="width=device-width, initial-scale=1">

<!-- Preload fonts
–––––––––––––––––––––––––––––––––––––––––––––––––– -->
<link rel="preload" href="../fonts/dm-serif-display-v4-latin-regular.woff2" as="font" type="font/woff2" crossorigin>
<link rel="preload" href="../fonts/inter-v2-latin-regular.woff2" as="font" type="font/woff2" crossorigin>

<!-- CSS
–––––––––––––––––––––––––––––––––––––––––––––––––– -->

<link rel="stylesheet" href="/css/normalize.css">


<link rel="stylesheet" href="/css/skeleton.css">


<link rel="stylesheet" href="/css/custom.css">


<link rel="stylesheet" href="/css/prism-dark.css">


<link rel="stylesheet" href="/css/prism-line-numbers.css">

<!-- User css -->


<link rel="stylesheet" href="/css/user.css">



<!-- Favicon
–––––––––––––––––––––––––––––––––––––––––––––––––– -->
<link rel="icon" type="image/png" href="/img/rmolives.png">

<!-- Custom Theme Color Style
–––––––––––––––––––––––––––––––––––––––––––––––––– -->
<style>
a:not(.icon) {
text-decoration-color: #0FA0CE;
background-image: linear-gradient(
to bottom,
rgba(0, 0, 0, 0) 50%,
#0FA0CE 50%
);
}
blockquote {
border-left: 8px solid #0FA0CE;
}
.nanobar .bar {
background: #0FA0CE;
}
.button.button-primary:hover,
button.button-primary:hover,
input[type="submit"].button-primary:hover,
input[type="reset"].button-primary:hover,
input[type="button"].button-primary:hover,
.button.button-primary:focus,
button.button-primary:focus,
input[type="submit"].button-primary:focus,
input[type="reset"].button-primary:focus,
input[type="button"].button-primary:focus {
background-color: #0FA0CE;
border-color: #0FA0CE;
}
input[type="email"]:focus,
input[type="number"]:focus,
input[type="search"]:focus,
input[type="text"]:focus,
input[type="tel"]:focus,
input[type="url"]:focus,
input[type="password"]:focus,
textarea:focus,
select:focus {
border: 1px solid #0FA0CE;
}
</style>

<!-- Google Analytics (With Privacy Settings On)
–––––––––––––––––––––––––––––––––––––––––––––––––– -->


<meta name="generator" content="Hexo 7.3.0"></head>

<body>
<div class="container">
<div class="row">
<div>

<div class="row">
<div class="two columns" style="max-width: 50px">
<h1 class="mt-2 mode">
<div onclick=setDarkMode(true) id="darkBtn">🌑</div>
<div onclick=setDarkMode(false) id="lightBtn" class=hidden>☀️</div>
<script >
if (localStorage.getItem('preferredTheme') == 'dark') {
setDarkMode(true)
}
function setDarkMode(isDark) {
var darkBtn = document.getElementById('darkBtn')
var lightBtn = document.getElementById('lightBtn')
if (isDark) {
lightBtn.style.display = "block"
darkBtn.style.display = "none"
localStorage.setItem('preferredTheme', 'dark');
} else {
lightBtn.style.display = "none"
darkBtn.style.display = "block"
localStorage.removeItem('preferredTheme');
}
document.body.classList.toggle("darkmode");
}
</script>
</h1>
</div>

<div class="six columns ml-1">
<h1 class="mt-2">
諾諾の魔法ノート.
</h1>
</div>

<div class="twelve columns">
<div class="row">
<div class="nine columns left">
<a href="/">Home</a>


<a href="/about" class="ml">介紹</a>



<a href="/friends" class="ml">友達</a>




<a href="mailto:[email protected]" target="_blank" class="ml">Email</a>


</div>
</div>
<hr style="margin-bottom: 2.6rem">
</div>
</div>

<div class="trans">
<h2>直觉主义逻辑探究</h2>

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

<p><a class="classtest-link" href="/tags/%E6%95%B0%E5%AD%A6/" rel="tag">数学</a> — 2024年11月1日</p>



<div class="row mt-2">

</div>

</div>
</div>

</div>

</div>
<script src="/js/nanobar.min.js"></script>
<script>
var options = {
classname: 'nanobar',
id: 'myNanobar'
};
var nanobar = new Nanobar(options);
nanobar.go(30);
nanobar.go(76);
nanobar.go(100);
</script>

</body>

</html>
2 changes: 1 addition & 1 deletion about/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -194,7 +194,7 @@ <h1 class="mt-2">
<h2>介紹</h2>

<p>大家好啊，我是晓诺诺，或者可以叫我RMOlive。<br>是一名不称职的精神科医生，对语言学、计算机科学、神学感兴趣。</p>
<p>我的联系方式：<br> QQ：3070993723<br> Email: <a href="mailto:&#114;&#109;&#111;&#x6c;&#105;&#118;&#101;&#x73;&#64;&#119;&#x75;&#109;&#111;&#x65;&#46;&#111;&#114;&#x67;">&#114;&#109;&#111;&#x6c;&#105;&#118;&#101;&#x73;&#64;&#119;&#x75;&#109;&#111;&#x65;&#46;&#111;&#114;&#x67;</a></p>
<p>我的联系方式：<br> QQ：3070993723<br> Email: <a href="mailto:&#114;&#109;&#111;&#x6c;&#x69;&#x76;&#x65;&#115;&#x40;&#x77;&#x75;&#x6d;&#x6f;&#x65;&#x2e;&#111;&#114;&#103;">&#114;&#109;&#111;&#x6c;&#x69;&#x76;&#x65;&#115;&#x40;&#x77;&#x75;&#x6d;&#x6f;&#x65;&#x2e;&#111;&#114;&#103;</a></p>


<div class="row mt-2">
Expand Down
Loading

0 comments on commit f25272d

Please sign in to comment.