25/11/12 18:55:34.12 ApXRJQVo.net
普通の数論…分子手数方向を見てる
この異常数論…分母手数方向見る物
16:poem
25/11/12 18:58:59.02 ApXRJQVo.net
教えて貰ったΠ01言明ってどちらなんだ？
17:poem
25/11/12 19:04:36.83 ApXRJQVo.net
PorNP問題、つまり多項式時間を単項式時間で、というのも
1という数字1つすらデータの読み出しに多項式時間掛かってるから
数字の時点で多項式時間だから
数字の時点で単項式時間は実現できない
だから数字の時点で、真の単項式時間からは多項式時間であり、真の分母手数からは分子手数
1+1＝2の式の仕組み自体は分母手数、単項式時間の仕組みだが
計算行為が多項式時間、分子手数
つまり
数字の時点で、受動性は分母手数、能動性は分子手数、が不可避
なので
P＝NPだと不可要件の内の矛盾要件に当たるため、何億手とか必要不可欠な要件
18:poem
25/11/12 19:07:11.91 ApXRJQVo.net
数字の時点で
受動性が分母手数、能動性が分子手数
だから
1+1＝2を見る証明を作る場合
受動性が分子手数、能動性が分母手数
の話になる
数論は能動性に目線が向いてるから数論できる
受動性に目線が向いてる物がこの異常な何か
19:poem
25/11/12 19:08:21.68 ApXRJQVo.net
まあ、まだ自分これ、進展させられない、実力はまだ
20:poem
25/11/12 19:10:10.38 ApXRJQVo.net
プリンキピアはtubeでチラッと1+1＝2の証明に苦慮したと観たけど
プリンキピアで1+1＝2の証明が既に生まれてたら、PorNP問題が既に今の理解より進んでなきゃ矛盾する
21:poem
25/11/12 19:11:09.91 ApXRJQVo.net
そもプリンキピアは能動性の分子手数を書いてる普通の数論であって
22:poem
25/11/12 19:12:31.32 ApXRJQVo.net
PorNP問題をP≠NPでなくP＝NPにする為には、学問の方が今の所欠如してる点
23:１３２人目の素数さん
25/11/12 20:08:09.69 RvNDiUwY.net
あほくさ
何がペアノだよ
1世紀前のアカデミックな話題がいまに通用するわけないじゃんか
ペアノなんて所詮はユークリッド
24:１３２人目の素数さん
25/11/12 20:25:27.40 pxtTmWLA.net
ユークリッドは通用しているのではないか
25:１３２人目の素数さん
25/11/12 21:43:14.58 CRly1teB.net
まあ算術の公理系は色々あるからPAである必要はないが、じゃあ>>23さんは何使ってるんですか
26:１３２人目の素数さん
25/11/12 21:52:17.48 W5lSoBAa.net
ペアノの公理とペアノ算術は別物
27:１３２人目の素数さん
25/11/13 20:52:38.99 gCZUxt3x.net
ペアノよりポエムの時代や
28:poem
25/11/13 21:29:30.90 cwgqwecX.net
ぽぇ？
29:１３２人目の素数さん
25/11/13 22:26:11.93 x0icUDTc.net
ペアノの公理の数学的帰納法の原理はNの部分集合を量化してるので一階の言語じゃ書けない
一階に書き下したのがペアノ算術
数学的帰納法をまるごととっぱらったのがロビンソン算術
30:１３２人目の素数さん
25/11/20 14:32:07.50 ljpb7Uzn.net
俺が終止符を打つ！
URLﾘﾝｸ(vvrl.cc)
（パスワード4545）
31:poem
25/12/08 22:05:52.65 4XP/SFbz.net
人間の胚の成長因子の伝達経路が
ｽﾚﾘﾝｸ(sci板:20番)/
─
今わかったことが雑記形式になるので宜しくお願い─販売値も無料の簡単だったね！
ｽﾚﾘﾝｸ(sci板)
─
🚨性的な新出情報が始まります─🚨色々わかったね！
ｽﾚﾘﾝｸ(emperor板:104番)-120/
─
月読アイと月読ショウタ
ｽﾚﾘﾝｸ(emperor板:131番)-134/
─
主役化ヘイト→(の大衆は)→太郎化ヘイト→(も空撃ち)
ｽﾚﾘﾝｸ(emperor板:257番)-258/
─
なるほど論理の兼ね合いジャンルか～倒産と代頭について～
ｽﾚﾘﾝｸ(emperor板:86番)-89/
─
巷｢異世界には科学が発達難しい理屈があるのか？｣問
ｽﾚﾘﾝｸ(emperor板:147番)-148/
─
集団内外の
ｽﾚﾘﾝｸ(emperor板:117番)-118/
32:１３２人目の素数さん
25/12/20 00:40:22.77 V0iJcVLrx
>>1
厳密な証明が簡単な理由でしかないな
33:１３２人目の素数さん
25/12/24 10:50:33.58 CtjMaRga.net
ロビンソン算術を前提とする。
S(0):=1,S(1):=2と定義する。
1+1
=1+S(0)・・・定義
=S(1+0)・・・第5公理
=S(1)・・・第4公理
=2・・・定義
34:１３２人目の素数さん
25/12/24 10:58:20.08 MBAXu6Ch.net
一階述語論理の形式化にページ数かかるんじゃないの
知らんけど
35:１３２人目の素数さん
25/12/24 17:40:09.70 yDgIhetR.net
>>27
ほえー。
ペアノよりウンコの時代だ。
つ💩
連投しすぎるとこうなるよ☆