数学基礎論・数理論理学　その19

数学基礎論・数理論理学　その19 at MATH

1:１３２人目の素数さん
23/10/06 22:38:03.74 tsskr+sA.net
数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
URLﾘﾝｸ(www.math.tohoku.ac.jp)
或いは岩波文庫「不完全性定理」 6.4 数学基礎論の数学化などを参照）

従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。

前スレ
数学基礎論・数理論理学　その18
ｽﾚﾘﾝｸ(math板)

128:127への反論　てか自作自演
24/04/02 05:37:10.99 2FvIqi1u.net
>>127　よ。早朝から、何を戯けた言霊を言ってるのぢゃ
>　マイナスはダメ∵①がそもそも変な宇宙言語だ
いやねーーー
∀x∈ℕ　には暗に、いや明らかに
x>0 という意味を含んでますよ。
ていうか、x≧0 という意味かもだ。
ま、インド人によりゼロが発明されて
もはや、ゼロは自然数なのぢゃから🧖
てか、∞は誰が発明したんだろう。
というか、ゼロとか∞は存在しませーーーーん

129:背理法モドキ
24/04/03 06:39:28.70 rWZDuv8i.net
エスプレッソ1杯は30ミリリットル⇒
そのカフェイン量は50ミリグラム

という命題らしき文がネット上に存在する
でこの命題は、一瞬で偽∵デタラメ　だ
∵質量保存則に反する
∴エスプレッソ1杯は30ミリリットル　は
　偽り　∵背理法

なんて、オレッて論理的なんだろう。
モピカし、オレッて超天才だ。💃
でも、ネット上は5ch以外は∀正しいハズ

いや！！　次の瞬間気づいた
自分は、
エスプレッソ1杯は30ミリリットル　を
エスプレッソ1杯は30ミリグラム　と読み違えたのだった。

以上　失礼しましたぁ　(⁠^⁠_⁠^⁠メ⁠)

130:１３２人目の素数さん
24/04/05 19:31:40.33 bFsGwpg5.net
超準解析って役に立つの？

2から表示