🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

2 total messages Started by cafea605 Sat, 14 Oct 2006 21:43
新しい無限小解析学の基礎です
#1480
Author: cafea605
Date: Sat, 14 Oct 2006 21:43
40 lines
2884 bytes
<宣言>これから語る数学では無限は一種類であり可算とか非可算とかいった区別は存在させません!

まず、第一命題から従来とは一線を画しており、集合論によって数学を基礎づけるにあたっては、「数学のすべてを集合論によって内包させて証明する」というカントル以来の手法を放棄して、「数学の証明のために集合論という論理学を補助的に用いて説明する」という【非包含関係仮定】を用います。【公理】はすべて【規則】に置き換える、というのは用語だけの話でしょう・・。

集合の要素もまた集合であるが数学の構成要素は集合の要素でなくとも良いのです。


 ① 集合の要素は集合でなくてはならない。
 ② 例外以外の自然数nについてn={n}(Ⅰ類集合を意味する)
 ③ 例外は、{0}・{1}・{ω}の三種。(Ⅱ類集合です)
 ④ 0=|φ>-|φ>かつ1=|φ>+|φ>(0も1も無の一種)
 ⑤ ωの定義として「任意の自然数よりも大きい自然数」とする。
 ⑥ {ω}=(ω+1,ω+2,…ω^ω^ω,…) (ωよりも大きい)
 ⑦ これらを使って論証される自然数は集合の要素ではアリマセン!



ωの性質として「自分自身よりも大きな自然数」という条件が導かれ、それが【無限大インフレーション】と名付けた爆発を来たすこと、が分かりました。



 ωは「ω+1だけでなくて、より大きく表記されるすべて、と等しい大きさであるから、だから・・」無限大の大きさであり、かつ、また、唯一の無限大だ、という基礎なんですよ。



1)ωは「任意の自然数よりも大きな自然数」
2)ωも自然数だから「ωはωよりも大きな自然数」
・
・           (infration)
・
3)ωは唯一無二の無限大であり自然数



無限の定義として「自分自身よりも大きい」ってのはドウだろうか?




う~む、むむむむむ・・・・・!!!!! 
Re: 新しい無限小解析学の基礎です
#1482
Author: Shinji KONO
Date: Sun, 15 Oct 2006 03:34
20 lines
2021 bytes
河野真治 @ 琉球大学情報工学です。

In article <eScYg.13$0d.2@news-virt.s-kddi1.home.ne.jp>, "cafea605" <cafea605@hcn.zaq.ne.jp> writes
> <宣言>これから語る数学では無限は一種類であり可算とか非可
>算とかいった区別は存在させません!

V=L とか、狭義の直観主義とか言われる立場ですね。それでも、
かなりの範囲の数学を扱うことが可能だと知られています。

> 無限の定義として「自分自身よりも大きい」ってのはドウだろうか?

ある意味で正しいと思います。部分集合への単射があるとか、
そんな定義があった気がする。

まぁ、言葉は他の人と合わせた方がいいけどね。超準解析とか
いうならば...

---
Shinji KONO @ Information Engineering, University of the Ryukyus
河野真治 @ 琉球大学工学部情報工学科
Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads