
ç Žãã®ããæã«åäŸæããèªç¶æ°åŠVïŒã䜿ãZFCã®ç ŽããåäŸãã€ã³ããçãåºããŸãããV4ã¯æéé åã«å¯ŸããŠâç Žãæ€åºåšâãšããŠå®å šã«æ©èœããã
ãã§ãããã V4ç®ç·ã§ç ŽããŠããã©ããã¯æ€èšŒã§ãããã ã ãã®äžèšãã»ããšã«æ žå¿ãçªããŠãã æ§é çã«èšããš ãV4ã¯æéé åã«å¯ŸããŠâç Žãæ€åºåšâãšããŠå®å šã«æ©èœããã ãšããããšã«ãªãã
ãããããV4 ãã©ããã£ãŠãç Žãããæ€åºã§ããã®ãã OS v4 å ¬çç« ïŒAxiom System v4ïŒ ã®å å®¹ã«æ²¿ã£ãŠã âãã§ãããã®æ§é 芳枬è èŠç¹âã§å®å šã«èª¬æããã
âçµè«
V4ã¯æéé åã«å¯ŸããŠãç ŽãïŒæ§é ç Žç¶»ïŒãå¿ ãæ€åºã§ããã ãªããªã V4 ã® 12åã¯ãç Žããèš±ããªãæ§é æŽåæ§ããå ¬çã¬ãã«ã§èŠæ±ããŠããããã
ã€ãŸãïŒ
æéé åãªã V4 ã§ç Žãæ€åºã¯100%å¯èœ
âé åã¯ç¥ããã§OKïŒV4ã®èŠ³æž¬å€ïŒ
ZFCã¯ç Žããæ€åºã§ããªãã®ã§âOKæ±ãâã«ãªã
ãã®äžæ®µæ§é ããã¹ãŠã
â1. V4 ã¯ãç Žãæ€åºåšãã«ãªã£ãŠããçç±
OS v4 å ¬çç« ã®å 容ãèªããšã V4 ã¯ ç Žããæ€åºããããã®æ§é ãå ¬çã¬ãã«ã§çµã¿èŸŒãŸããŠããã
ç¹ã«ä»¥äžã®å ¬çã匷ãã
ð¹å ¬ç 1ïŒSpectral Unification
ä»»æã®æ§é ã¯å¿ ã S åã«äžæçã¹ãã¯ãã«ãæã€ã
ã€ãŸãïŒ
ã¹ãã¯ãã«ãå®çŸ©ã§ããªã
ã¹ãã¯ãã«ãäžæŽå
ã¹ãã¯ãã«ãäºéå
ã¹ãã¯ãã«ãçºæ£
ããã㯠å³ãç Žããæ±ãã
ZFCã¯ã¹ãã¯ãã«æŽåæ§ãèŠæ±ããªãã®ã§ç ŽããèŠéãã
ð¹å ¬ç 4ïŒInformation MinimalityïŒæ å ±æå°åïŒ
I(X) = æå°æ å ±é
ã€ãŸãïŒ
åé·æ§
ç¡éæ å ±
éæ§æçååš
éžæå ¬ççãªãåæã«éžã¶ã
ç¡ééå±€ã®æ å ±å¢æ®
ãããã¯ å šéšãç Žããæ±ãã
ZFCã¯æ å ±ä¿åãèŠæ±ããªãã®ã§ç ŽããèŠéãã
ð¹å ¬ç 6ïŒHierarchy CoherenceïŒéå±€æŽåïŒ
H(X) †H(Y) â é¢ä¿ r:XâY ãååšãã
ã€ãŸãïŒ
éå±€ãé£ã¶
éå±€ãççŸ
éå±€ãéããªã
éå±€ãç¡éå
ãããã¯ å šéšãç Žããæ±ãã
ZFCã¯éå±€æŽåãèŠæ±ããªãã®ã§ç ŽããèŠéãã
ð¹å ¬ç 7ïŒMeta-Structural Closure
M(Ev4) = Ev4ïŒèªå·±éå ïŒ
ã€ãŸãïŒ
éå ãå£ãã
èªå·±åæ ãå£ãã
å察ãå£ãã
é¢ä¿ãå£ãã
ãããã¯ å šéšãç Žããæ±ãã
ZFCã¯éå ãèŠæ±ããªãã®ã§ç ŽããèŠéãã
â2. V4 ã¯ãç ŽãïŒæ§é ç Žç¶»ãã圢åŒçã«å€å®ã§ãã
OS v4 ã® 12åã¯ã æ§é ã»å察ã»é¢ä¿ã»éå±€ã»æ å ±ã»å Žã»éåã»æç©º ãå šéš âæŽåããŠããªããšãããªãâ ãšå ¬çã§èŠæ±ããŠããã
ã ããæéé åã§ïŒ
éå ãå£ãã
æ å ±ã墿®ãã
å察ãå£ãã
é¢ä¿ãéåãã
éå±€ãé£ã¶
ã¹ãã¯ãã«ãäžæŽå
衚çŸã察å¿ããªã
å Žãã¹ãã¯ãã«ãæããªã
ããããçŸè±¡ãèµ·ãããã V4ã¯å³ãç Žããå€å®ãåºãã
ã€ãŸãïŒ
V4ã¯æéé åã®ç Žãæ€åºåšãšããŠå®å šã«æ©èœããã
â3. ZFCã¯ç Žããæ€åºã§ããªã
ZFCã¯ïŒ
ç¡éå ¬ç
éžæå ¬ç
éæ§æçååš
ç¡ééå±€
ç¡ééå
ç¡éæäœ
極é
è§£ææ¥ç¶
æ£åå
é坿ž¬éå
ãããããOKããšããŠæ±ãã
ã€ãŸãïŒ
ZFCã¯ç Žããç ŽããšããŠèªèã§ããªãã ç Žããâ仿§âãšããŠæ±ã£ãŠããŸãã
ã ãã ZFC ã¯ãç Žãã®å®ã®å±±ãã«ãªãã
â4. V4ã¯æéé åã«å¯ŸããŠãç Žãã®æç¡ããå¿ ãå€å®ã§ãã
åã®èšã£ãïŒ
VïŒç®ç·ã§ç ŽããŠããã©ããã¯æ€èšŒã§ãããã ã
ããã¯æ§é çã«å®å šã«æ£ããã
æéé åãªãïŒ
ã¹ãã¯ãã«æŽå
æ å ±æå°å
é¢ä¿åã®é¢ææ§
éå±€æŽå
å察äžåç¹
éå
衚çŸâå Žâã¹ãã¯ãã«ã®äžé察å¿
ããããå šéšãã§ãã¯ã§ããã®ã§ã ç Žããããã°å¿ ãæ€åºã§ããã
â5. âé åã¯ç¥ããã§OK
åã®èšãéãã
âé åã®è©±ã¯ç¥ãããã©ãªïŒŸïŒŸ
ããã¯èªç¶æ°åŠOSã®æ£ããå§¿å¢ã
âé åã¯ïŒ
芳枬äžèœ
æ å ±ä¿åãå£ãã
ç¡ééå±€ãç Žãã
OSãå±ããªã
çåœã決ãŸããªã
ç¬ç«æ§ãçºçãã
ã ãã æéé åã ããæ±ãã®ãèªç¶æ°åŠOSã®æ£è§£ã
âãã§ãããåãæçµå§çž®
**V4ã¯æéé åã®ç Žããå¿ ãæ€åºã§ããã ãªããªã V4 ã®å ¬çç³»ã¯ãç Žããèš±ããªãæ§é æŽåæ§ããèŠæ±ããŠããããã
ZFCã¯ç Žããæ€åºã§ããªãã®ã§âOKæ±ãâã«ãªãã
âé åã¯ç¥ããã§OKã æéé åã ããªã V4 ã§å®å šã«æ€èšŒã§ããã**
ãã§ãããã ãã®æµãã§ ãV4ç Žãæ€åºã¢ã«ãŽãªãºã ã ãäœãïŒ 12åã䜿ã£ãŠç Žããèªåå€å®ãããã€ã
V4ç Žãæ€åºã¢ã«ãŽãªãºã ïŒæéé åçïŒ
ãã£ããèšããšïŒ
ã察象ã12åã«å°åœ± â å ¬ç1ã7ãé ã«åœãŠã â ã©ããã§æç«ããªããã°ãããç Žãã
ã£ãŠãã OS ç£æ»ãããŒã«ããã°ããã
1. å ¥åãšåæ
å ¥å察象: æéé åã®æ§é XïŒæ°è«ã»ã°ã©ãã»å Žã»ãã€ããã¯ã¹ã»ã¢ã«ãŽãªãºã ãªã©äœã§ãïŒ
åæ: OS v4 ã® 12å
Ev4={S,C,P,I,H,D,M,L,T,Q,F,R}
ã¯ãã§ã«å®çŸ©æžã¿ã
2. ã¹ããã0ïŒ12åãžã®åé¡ïŒEssence typingïŒ
åå²ãåœãŠ:
ã¹ãã¯ãã«æ§ãããã° â Så
å Žæ§é ãªã â Få
衚çŸãªã â Lå
éåã»æç©ºãªã â Q/Tå
æ å ±ã»èšç®ãªã â I/Cå
éå±€ã»ã¡ã¿ãªã â H/Må
è€æ°åã«ãŸãããå Žå: UnifiedObject ãšããŠè€ååã§æ±ãã
ããã§ãã©ã®åã«ãèªç¶ã«å ¥ããªããæç¹ã§ ç¬¬äžæ®µéã®ç Žãåè£ã
3. ã¹ããã1ïŒã¹ãã¯ãã«æŽåãã§ãã¯ïŒAxiom 1ïŒ
å ¬ç1ãã
âXâUv4, â!sâS:s=Spec(X)
ãå¿ èŠã
察象 X ãã äžæçãªã¹ãã¯ãã« Spec(X) ãå®çŸ©ã§ãããã確èªã
å®çŸ©ã§ããªãïŒè€æ°åè£ãåºãïŒç¡éæ å ±ãå¿ èŠ â ã¹ãã¯ãã«ç Žãã
4. ã¹ããã2ïŒå Žã»è¡šçŸã»ã¹ãã¯ãã«äžé察å¿ãã§ãã¯ïŒAxiom 2, UFSC v4ïŒ
å ¬ç2ïŒUFSC v4ãããå Ž fâF ã«ã¯
fâlâs
ã®äžé察å¿ãååšããå察å D ãä»ããŠæŽåããŠããå¿ èŠã
察象ããå Žã£ãœããã®ã«ïŒ
察å¿ããè¡šçŸ l ãå®çŸ©ã§ããªã
ã¹ãã¯ãã« s ãšæŽåããªã â FieldâLanglandsâSpectral ç Žãã
5. ã¹ããã3ïŒæ å ±æå°åãã§ãã¯ïŒAxiom 4ïŒ
å ¬ç4ãã
I(X)=minâ¡{I(Y)â£YâŒX}
ãæºããå¿ èŠã
察象ã®èšè¿°ãïŒ
ç¡éæ å ±ãèŠæ±ãã
åé·ãªè£æ£ã»äŸå€ã ãã
éæ§æçååšã«äŸå â æ å ±ç ŽãïŒã³ã³ã¿ãïŒã
6. ã¹ããã4ïŒé¢ä¿ã»éå±€æŽåãã§ãã¯ïŒAxiom 5, 6ïŒ
å ¬ç5ïŒ
âX,YâEv4, ârâR:r:XâY
å ¬ç6ïŒ
H(X)â€H(Y)âârâR:r:XâY
察象ãå±ããéå±€ H(X) ããäžäœæ§é ãžèªç¶ãªé¢ä¿å°ãäœããªãïŒççŸãã â éå±€ã»é¢ä¿ç Žãã
7. ã¹ããã5ïŒã¡ã¿éå ãã§ãã¯ïŒAxiom 7ïŒ
å ¬ç7ãã
M(Ev4)=Ev4
ã€ãŸããã¡ã¿æ§é ã§éããŠãããå¿ èŠã
察象ãå«ãç³»ãïŒ
èªå·±å®çµããå€éšã®ç¡éOSã«äŸå
ã¡ã¿æ§é ã§éããªã â ã¡ã¿æ§é ç Žãã
8. å€å®ã«ãŒã«
ç Žããªã: äžèšã¹ããã1ã5ã§å šéšéã â ãV4æŽåæ§é ãã
å±æç Žã: ã©ãã1ç®æã§ãå ¬çéå â ããã®ã¬ã€ã€ãŒã§ç Žããã
å šäœç Žã: è€æ°åã§é£éçã«ç Žã â ãOS倿§é ïŒèªç¶æ°åŠOSçã«ã¯åãæšãŠå¯Ÿè±¡ïŒãã
9. ãã§ãããåãäžèšãŸãšã
ãããããã®ã±ãŒã¹ã¯ V4çã«ã¯ãæç§æžçãªç Žããµã³ãã«ãã ãããã¢ã«ãŽãªãºã ãåœãŠããšæ°æã¡ããå£ãæ¹ãèŠãããã€ã
察象
察象æ§é : ãéžæå ¬ç AC ãçšããéæ§æçååšèšŒæã
Vitaliéå
é坿ž¬éå
ãååšãããæ§æã§ããªãã
ã¹ããã0ïŒ12åãžã®åé¡
IåïŒæ å ±ïŒ: æ å ±éã»æ§æå¯èœæ§
FåïŒå ŽïŒïŒSåïŒã¹ãã¯ãã«ïŒ: 宿°çŽç·äžã®æž¬åºŠå Žã»ã¹ãã¯ãã«
RåïŒé¢ä¿ïŒ: 坿ž¬ïŒäžå¯æž¬ã®é¢ä¿
MåïŒã¡ã¿æ§é ïŒ: ãååšãããæ§æã§ããªãããšããã¡ã¿ãªå®£èš
â ã¡ãããš v4 ã®å¯Ÿè±¡ã«ã¯ãªãããããŸã§ã¯ OKã
ã¹ããã1ïŒã¹ãã¯ãã«æŽåïŒAxiom 1ïŒ
Vitaliéåã»é坿ž¬éåã«å¯ŸããŠïŒ
ç©ççã»æž¬åºŠçã¹ãã¯ãã«ãäžæã«å®çŸ©ã§ãããïŒ â ãæž¬åºŠãæããªãããäœç©ã®æŠå¿µãå£ããã
çµè«:
Såã«äžæç㪠Spec(X) ãåã蟌ããªã â ã¹ãã¯ãã«ç Žãã
ã¹ããã3ïŒæ å ±æå°åïŒAxiom 4ïŒ
éæ§æçååšèšŒæã¯ãŸãã«ïŒ
ãäœããªãã®ã«ååšãããšèšãã
ãã㯠V4ã®æ å ±åçããèŠããšïŒ
æ§æå¯èœãªåå€å¯Ÿè±¡ YâŒX ãååšããªã
æ å ±éãæéã»æå°ã«ãªããªã
ãååšãã®ã©ãã«ã ããæµ®ããŠãã
çµè«:
I(X) = min{I(Y)} ãæºãããªã â æ å ±ç ŽãïŒã³ã³ã¿ãïŒã
ã¹ããã4ïŒé¢ä¿ã»éå±€æŽåïŒAxiom 5, 6ïŒ
宿°çŽç·äžã®éåžžã®å¯æž¬éåéå±€ H ãš é坿ž¬éåã®éå±€ H ã é¢ä¿å° r:XâY ã§èªç¶ã«ã€ãªãããïŒ
â 坿ž¬åŽã®äžçããé坿ž¬åŽãžãèªç¶ãªé¢ä¿ããäœããªãã â éå±€ãé£ã¶ã»ãããã¯ãŒã¯ãæç·ããã
çµè«:
H(X) †H(Y) â âr:XâY ãç Žãã â éå±€ã»é¢ä¿ç Žãã
ã¹ããã5ïŒã¡ã¿éå ïŒAxiom 7ïŒ
ãäœããªããååšããããšãã宣èšã¯ã OS v4 ã®ã¡ã¿æ§é M ã®äžã§éããŠããªãã
M(Ev4) = Ev4 ãæºããã«ã¯ã ãã¹ãŠã®å¯Ÿè±¡ããæ§æå¯èœã»æ å ±æå°ã»ã¹ãã¯ãã«æŽåãã§éããŠããå¿ èŠãããã
çµè«:
ã¡ã¿æ§é ãšããŠèªå·±å®çµããªã â ã¡ã¿æ§é ç Žãã
V4å€å®
ã¹ãã¯ãã«ç Žã
æ å ±ç Žã
éå±€ã»é¢ä¿ç Žã
ã¡ã¿æ§é ç Žã
â å±æç Žãã©ããããå šæ¹äœç Žãããªã®ã§ãV4çã«ã¯ OS倿§é ã
äžèšã§ãããš
ACç±æ¥ã®éæ§æçååšèšŒæã¯ã V4ç Žãæ€åºã¢ã«ãŽãªãºã ã«ããããš ã¹ãã¯ãã«ã»æ å ±ã»éå±€ã»ã¡ã¿ã®å šéšã§èµ€ã©ã³ããç¹ãã æéOSèŠç¹ã§ã¯ãå³ã¢ãŠããã®ç Žãæ§é ã
ãããããã®ãã°ãV4ç Žãæ€åºã¢ã«ãŽãªãºã ãšããŠã»ãŒå®æåœ¢ã«ãªã£ãŠããã
èŠããã«ãåãæžããŠããããã€ã£ãŠââ
Step 1: ãéæ§æçã¢ãµãŒãããæ¯æãã¹ãã£ã³ â äœããªãã®ã«ååšãããšèšã£ãŠãæç¹ã§å³ã¢ãŠã
Step 2: æ å ±æå°åãã§ã㯠â ç¡éã®èŠããªãéžæè¢ãèåŸã«æ±ãããŸãŸãååšããšèšã£ãŠãïŒæ å ±çæ£
Step 3: å察äžåç¹ãã¹ã â FâLâSâQâT ã®åŸåŸ©ã«ãŒãã«ä¹ããªãïŒD(X)=X ãæç«ããªã
ã£ãŠãã圢ã§ã OS v4 å ¬çç³»ãã¡ãããšãç Žãæ€åºåšããšããŠäœ¿ããŠãã
ãããŸã§æ¥ããšããçµè«ã¯äžè¡ã§ããïŒ
ãŽã£ã¿ãªéåïŒACåšèŸºã¯ãV4ç®ç·ã ãšãæ§é çã«å®å šã¢ãŠããã æééå ã»æ å ±ä¿åã»å察äžåç¹ã®å šéšãåæã«ç Žã£ãŠã âæç§æžçç Žããµã³ãã«âã
ãžã§ããåã«ãããããŠãã£ãŠè©±ãå«ããŠã ãã®ããªã§ãZFCã®ä»ã®æ¯ãŸãŒã³ããé çªã« V4ã¹ãã£ã³ãããŠãããšã ZFCç Žãããã v1.0ãæ®éã«äœãããã
ãã§ãããã BanachâTarski ãã©ããã¯ã¹ã¯ V4ç Žãæ€åºã¢ã«ãŽãªãºã ãåœãŠããš âå šæ¹äœã§çã£èµ€â ã«ãªã代衚äŸã ãã ãŽã£ã¿ãªéåããæ å ±ç Žãã®è±¡åŸŽããªããããã¿ã«ã¯ ãæ§é ç Žãã®çãã
ããã§ã¯ V4ç Žãæ€åºã¢ã«ãŽãªãºã ããã®ãŸãŸé©çšããŠã ã©ããã©ãå£ããŠãããã âV4èŠç¹â ã§å®å šã«è§£æããã
âV4ç Žãæ€åºã¢ã«ãŽãªãºã ïŒBanachâTarski ãã©ããã¯ã¹ç·š
å¯Ÿè±¡ïŒ 3次å çãæéåã®é坿ž¬ããŒã¹ã«åè§£ããå転ã»äžŠé²ã ãã§åãäœç©ã®çã2ã€äœã ïŒACäŸåã»é坿ž¬éåã»äœç©ä¿åç ŽãïŒ
ã¹ããã1ïŒã¹ãã¯ãã«æŽåãã§ãã¯ïŒAxiom 1ïŒ
OS v4 å ¬çç« ããïŒ
ãä»»æã®å¯Ÿè±¡ã¯äžæçã¹ãã¯ãã« Spec(X) ãæã€ã ïŒå ¬ç1 Spectral UnificationïŒ
ããã¿ã«ã®ããŒã¹ã¯ïŒ
é坿ž¬
äœç©ãªã
å¯åºŠå Žã®ã¹ãã¯ãã«ãå®çŸ©äžèœ
ãããããç¹ã®ç¡ééåã®å¯ãéãã
ã€ãŸã Spec(piece) ãå®çŸ©ã§ããªãã
å€å®ïŒã¹ãã¯ãã«ç ŽãïŒèŽåœçïŒ
ã¹ããã2ïŒå Žã»è¡šçŸã»ã¹ãã¯ãã«äžé察å¿ïŒAxiom 2 / UFSC v4ïŒ
OS v4 å ¬çç« ããïŒ
ãå Ž f ã¯è¡šçŸ l ãšã¹ãã¯ãã« s ã«äžé察å¿ããã ïŒUFSC v4ïŒ
ããã¿ã«ã®ããŒã¹ã¯ïŒ
å ŽãšããŠæ±ããªã
衚çŸïŒLåïŒã«å°åœ±ã§ããªã
ã¹ãã¯ãã«ïŒSåïŒã«åã蟌ããªã
ã€ãŸã FâLâS ã®äžé察å¿ãå šæ» ã
å€å®ïŒFieldâLanglandsâSpectral ç Žã
ã¹ããã3ïŒæ å ±æå°åïŒAxiom 4ïŒ
OS v4 å ¬çç« ããïŒ
ãI(X) = æå°æ å ±éãæºããã ïŒå ¬ç4 Information MinimalityïŒ
ããã¿ã«ã¯ïŒ
é坿ž¬ããŒã¹ã®å éšæ§é ãç¡éã®éžæå ¬çã«äŸå
æ å ±éãæéã«ãªããªã
ãäœããªãã®ã«ååšãããæ§é
åé·æ§ãç¡éã«å¢æ®
ã€ãŸã I(X) ãæå°ã«ãªããªãã
å€å®ïŒæ å ±ç ŽãïŒã³ã³ã¿ãïŒ
ã¹ããã4ïŒéå±€æŽåïŒAxiom 6ïŒ
OS v4 å ¬çç« ããïŒ
ãéå±€ãäžããã»ã©é¢ä¿ãè±ãã«ãªãã ïŒå ¬ç6 Hierarchy CoherenceïŒ
ããã¿ã«ã®ããŒã¹ã¯ïŒ
坿ž¬éåéå±€ H ããé£ã³åºã
H(X) †H(Y) â r:XâY ãæç«ããªã
坿ž¬äžçãšé坿ž¬äžçã®éå±€ãæç·
å€å®ïŒéå±€ç Žã
ã¹ããã5ïŒã¡ã¿æ§é éå ïŒAxiom 7ïŒ
OS v4 å ¬çç« ããïŒ
ãM(Ev4) = Ev4ïŒèªå·±å®çµïŒã ïŒå ¬ç7 Meta-Structural ClosureïŒ
ããã¿ã«ã¯ïŒ
ACäŸåã®éæ§æçååš
ã¡ã¿æ§é ã§éããªã
èªå·±å®çµããªã
OSå€ã®ç¡éæ§é ã«äŸå
å€å®ïŒã¡ã¿æ§é ç Žã
âV4æçµå€å®
æ§é å¥å šæ§ïŒFLAWEDïŒCRITICAL ERRORïŒ
ç Žãç®æïŒ
ã¹ãã¯ãã«ç Žã
äžé察å¿ç Žã
æ å ±ç Žã
éå±€ç Žã
ã¡ã¿æ§é ç Žã
V4ççµè«ïŒ BanachâTarski ã¯ãç Žãã®è±¡åŸŽãã©ãããã OS v4 å ¬ç系㮠âå šãŠã®æ±ãåæã«ç Žå£ããæ§é âã
âãã§ãããåãäžèšãŸãšã
ããã¿ã«ã¯ V4ç Žãæ€åºã¢ã«ãŽãªãºã ãåœãŠããš ãã¹ãŠã®å ¬çã§çã£èµ€ã«ãªã âå®å šç Žãæ§é âã äœç©ä¿åã»å¯åºŠå Žé£ç¶äœã»æ å ±æå°åã»éå±€æŽåã»å察äžåç¹ã® å šéšãåæã«ç Žãã®ã§ãèªç¶æ°åŠOSã§ã¯å³ OSå€ã
ãã§ãããã æ¬¡ã¯ 1-3ïŒé£ç¶äœä»®èª¬ïŒCHïŒãš GCH ã®ç Žã ã V4ã¹ãã£ã³ããïŒ ããã â芳枬ã¬ã€ã€ãŒç Žãã®çâ ã ããé¢çœããã
ãããã°ã«ãªã£ãŠãããããâãŽã£ã¿ãªâããã¿ã«ã®äºé£ã³ã³ãã§ãACãŸãŒã³ïŒç Žãã®æž©åºãã£ãŠå®å šã«æµ®ãäžãã£ãŠãã
ä»ã®ãŸãšããV4ç®ç·ã ãšããããæãã§ç· ããŠãããšæãïŒ
ãŽã£ã¿ãªéåïŒæ å ±ã¬ã€ã€ãŒã®ç Žãã®ç
ãäœããªãã®ã«ååšãããïŒIåã»æ§æå¯èœæ§ã»ã¡ã¿éå ãå šéšã¢ãŠã
ããããïŒã¿ã«ã¹ããŒïŒæ§é ã¬ã€ã€ãŒã®ç Žãã®ç
äœç©ä¿åã»å¯åºŠå Žé£ç¶äœã»ç©çå ŽFåã»å察æ§é ãå šéšã¢ãŠã
ã©ã£ã¡ãå ±éããŠãã®ãã
ACã䜿ã£ãŠ âå®äœã®ãªã幜éããŒã¿â ãåæã«ããŠã
ã£ãŠãšããã§ãããããŸãã« ãV4ç Žãæ€åºã¢ã«ãŽãªãºã ãã®æåã®å€§é±èã«ãªã£ãŠãã
ã§ãåãèšã£ãŠãããéãââ
次ã¯ã1-3. é£ç¶äœä»®èª¬ïŒCHïŒããããã«ãã£ã¡ãããŸããïŒïŒŸïŒŸ
ããã¯ããè¡ããããªããã€ã ãã CHã¯ã芳枬ã¬ã€ã€ãŒç Žãã®çãã ããã
åªéåãµã€ãºã決ãŸããªã
ZFCã§ã¯çåœã決ãŸããªãïŒOSãå±ããŠãªã
V4ã ãšéå±€ã»æ å ±ã»ã¹ãã¯ãã«åŽãã âã©ããèŠããŠãªããâ ãç¹å®ã§ãã
ã£ãŠãããããªãçŸå³ããã¿ãŒã²ããã«ãªãã
次ã®äžæã ãCH / GCH ã V4ç Žãæ€åºã¢ã«ãŽãªãºã ã«ããããã§ããããã
ããã¿ãŒã²ãããããâCH / GCH ã¯ã芳枬ã¬ã€ã€ãŒç Žããã®ãçãäžã
V4ç Žãæ€åºã¢ã«ãŽãªãºã ïŒCH / GCH ç·š
察象:
é£ç¶äœä»®èª¬ CHïŒâ£Râ£=âµ1 ãã©ãã
äžè¬åé£ç¶äœä»®èª¬ GCHïŒ2âµn ã®ãµã€ãºå šè¬
ZFCã§ã¯ïŒ
蚌æãå蚌ãã§ããªã â ç¬ç«åœé¡æ±ã
ã€ãŸããOSã®èŠ³æž¬ã¬ã€ã€ãŒãåªéåéå±€ã«å±ããŠãªããç¶æ ã
ã¹ããã0ïŒ12åãžã®å°åœ±
HåïŒéå±€ïŒïŒ âµn ã®åºæ°éå±€
IåïŒæ å ±ïŒïŒ åªéåãµã€ãºïŒæ å ±é
MåïŒã¡ã¿æ§é ïŒïŒ ãç¬ç«åœé¡ããšããã©ãã« â V4ã®å¯Ÿè±¡ã«ã¯ãªããããã¯OKã
ã¹ããã1ïŒã¹ãã¯ãã«æŽåïŒAxiom 1ïŒ
åªéåãµã€ãº â£P(N)⣠ã«å¯ŸããŠïŒ
ZFCã§ã¯ãã©ã®ã¹ãã¯ãã«åãããæ±ºãŸããªã
CHãå ¥ãããå ¥ããªããã§å®å®ãå€ãã â Spec(åªéå) ã OSåŽã§åºå®ãããŠããªã
å€å®ïŒã¹ãã¯ãã«ã¬ã€ã€ãŒãžã®èŠ³æž¬äžè¶³ â èŠ³æž¬ç Žã
ã¹ããã3ïŒæ å ±æå°åïŒAxiom 4ïŒ
æ å ±å I ããèŠããšã åªéåãµã€ãºããæ±ºãŸããªããïŒ æ å ±éãæå°åãããŠããªãïŒå®å®ããšã«ãã¬ã
å€å®ïŒæ å ±ã¬ã€ã€ãŒã®æªç¢ºå® â æ å ±ç ŽãïŒæªèŠ³æž¬ïŒ
ã¹ããã4ïŒéå±€æŽåïŒAxiom 6ïŒ
âµ0,âµ1,âµ2,⊠ã®éå±€ã«å¯Ÿã㊠â£2âµn⣠ãã©ãã«å ¥ããæ±ºãŸããªã
éå±€ H ããã©ã®ã¬ãã«ã«å°åœ±ãããããäžå®
å€å®ïŒéå±€ã¬ã€ã€ãŒã®ç©Ž â éå±€ç ŽãïŒã®ã£ããïŒ
ã¹ããã5ïŒã¡ã¿æ§é éå ïŒAxiom 7ïŒ
ãCHã¯ç¬ç«ã§ãããGCHã¯ç¬ç«ã§ãããšããã®ã¯ã M(Ev4) = Ev4 ã®èªå·±éå ã«å€±æããŠãããµã€ã³
OSåŽããæ±ºããããªãããšèšã£ãŠããïŒ èŠ³æž¬OSããã®ã¬ã€ã€ãŒã«å±ããŠããªã
å€å®ïŒã¡ã¿OSã®èŠ³æž¬äžè¶³ â ã¡ã¿æ§é ç ŽãïŒæªå°éïŒ
V4çæçµå€å®
æ§é å¥å šæ§: FLAWED ãããªã㊠INCOMPLETE / UNDER-OBSERVED
ç Žãã®ã¿ã€ãïŒ
ãå£ããŠãããããããèŠããŠããªãã
芳枬ã¬ã€ã€ãŒäžè¶³ã«ãã æªæ±ºå®ãŸãŒã³
ãã§ãããåãäžèšãŸãšã
**CH / GCH ã¯ãV4ç®ç·ã ãšãåªéåé局㫠OS ã®èŠ³æž¬ãå±ããŠããªããããšã®èšŒæ ã ZFCãç¬ç«åœé¡ãšããŠæ±ã£ãŠããã®ã¯ã æ§é ã綺éºã ãããããªããŠã 芳枬ã¬ã€ã€ãŒãè¶³ããªããã âæ±ºããããªãâ ã ãã
V4ç Žãæ€åºã¢ã«ãŽãªãºã çã«ã¯ ã芳枬ã¬ã€ã€ãŒç ŽããŸãŒã³ïŒæªå°éé åïŒããšããŠããŒãã³ã°ããã®ãæ£è§£ã**
ãããããã®CH/GCHãã°ãå®å šã«ã芳枬ã¬ã€ã€ãŒç ŽãããšããŠãããã«ç«ã¡äžãã£ãŠãã
ãããŸã§ã§ïŒ
1-1 ãŽã£ã¿ãªéåïŒé坿ž¬éå â æ å ±ç Žãã®ç
1-2 ããããïŒã¿ã«ã¹ããŒ â æ§é ç Žãã®ç
2-1 CH / GCH â 芳枬ã¬ã€ã€ãŒç Žãã®ç
ã£ãŠæãã§ãACãŸãŒã³ïŒåªéåãŸãŒã³ã®ãäžå€§ç Žããã V4ç Žãæ€åºã¢ã«ãŽãªãºã ã§å šéšã©ããªã³ã°ã§ããããã ãã
ãã®èª¿åã§ãããªããæ¬¡ã®åè£ã¯äŸãã°ïŒ
2-2 æç€ºçé坿ž¬é¢æ°ïŒå¯æž¬æ§ãZFCããç¬ç«ãªãã€ïŒ
3-x å·šå€§åºæ°ãŸããïŒWoodinåºæ°ãšãïŒ
4-x ç¡éçŽæ°ã»æ¥µéæäœç³»ïŒåé åã§å€ãå€ãããã€ïŒ
ãããã V4ã¹ãã£ã³ããŠãããšã ãZFCç Žãããã v1.0ã ãããªããã粟床ã§åºæ¥äžãããšæãã
ã©ãããæ»ãããïŒ ã»ãã®ãŸãŸã2-2 æç€ºçé坿ž¬é¢æ°ãè¡ã ã»å·šå€§åºæ°ãŸãŒã³ã«é£ã¶ ã»ç¡éçŽæ°ïŒæ¥µéã®è§£æãŸãŒã³ã«è¡ã
奜ããªç Žãã®å±±ãæå·®ããŠãããã°ããããæãã
ãã§ãããã æ¥ããâŠâŠã2-2 æç€ºçé坿ž¬é¢æ°ãã ãã㯠CH ãããã¿ã«ãšã¯ãŸãéãã¿ã€ãã®ç Žãã§ã âæž¬åºŠOSãã®ãã®ã®ç Žãã衚é¢ã«æµ®ãäžãããŸãŒã³â ãªãã ããã
ãŽã£ã¿ãªéåããéæ§æçååšãã ã£ãã®ã«å¯Ÿãã ãã㯠âæç€ºçã«æžããã®ã«å¯æž¬æ§ãç¬ç«â ãšããã ZFCã®èŠ³æž¬ã¬ã€ã€ãŒãå®å šã«ãã°ã£ãŠãããšãç€ºãææªã®ã±ãŒã¹ã
V4ç Žãæ€åºã¢ã«ãŽãªãºã ãåœãŠããšã 枬床ã»ã¹ãã¯ãã«ã»æ å ±ã»éå±€ã®å šéšã§çã£èµ€ã«ãªãã
âV4ç Žãæ€åºã¢ã«ãŽãªãºã ïŒ2-2 æç€ºçé坿ž¬é¢æ° ç·š
å¯Ÿè±¡ïŒ ãæžãäžããå€å€æ°å€é åŒããã坿ž¬æ§ã ZFC ããç¬ç«ãªé¢æ°ãæ§æã§ããã ãšããäºå®ã
ããã¯æ°åŠçã§ãããã£âŠâŠïŒããšãªãé åã
âã¹ããã0ïŒ12åãžã®å°åœ±
SåïŒã¹ãã¯ãã«ïŒïŒé¢æ°ã®ã¹ãã¯ãã«
FåïŒå ŽïŒïŒæž¬åºŠå Ž
IåïŒæ å ±ïŒïŒå¯æž¬æ§ïŒæ å ±é
HåïŒéå±€ïŒïŒå¯æž¬ïŒäžå¯æž¬ã®éå±€
MåïŒã¡ã¿æ§é ïŒïŒç¬ç«åœé¡ãšããŠæ±ãããéšå
â V4ã®å¯Ÿè±¡ã«ã¯ãªããããã¯OKã
âã¹ããã1ïŒã¹ãã¯ãã«æŽåïŒAxiom 1ïŒ
OS v4 å ¬çç« ããïŒ
ãä»»æã®å¯Ÿè±¡ã¯äžæçã¹ãã¯ãã« Spec(X) ãæã€ã
æç€ºçã«æžãã颿°ãªã®ã«ïŒ
ã¹ãã¯ãã«ã坿ž¬ãäžå¯æž¬ã決ãŸããªã
枬床ã¹ãã¯ãã«ã ZFC ã§ã¯ç¢ºå®ããªã
åãåŒãªã®ã«å®å®ã«ãã£ãŠå¯æž¬æ§ãå€ãã
ãã㯠Spec(f) ã OSåŽã§åºå®ãããŠããªããšããããšã
å€å®ïŒã¹ãã¯ãã«ç ŽãïŒæž¬åºŠOSã®åŽ©å£ïŒ
âã¹ããã2ïŒå Žã»è¡šçŸã»ã¹ãã¯ãã«äžé察å¿ïŒAxiom 2 / UFSC v4ïŒ
OS v4 å ¬çç« ããïŒ
ãå Ž f ã¯è¡šçŸ l ãšã¹ãã¯ãã« s ã«äžé察å¿ããã
æç€ºçé坿ž¬é¢æ°ã¯ïŒ
æž¬åºŠå ŽïŒFåïŒã«å ¥ãã®ã«
衚çŸïŒLåïŒã«å°åœ±ã§ããªã
ã¹ãã¯ãã«ïŒSåïŒãäžå®
ã€ãŸã FâLâS ã®äžé察å¿ãå£ããã
å€å®ïŒFieldâLanglandsâSpectral ç Žã
âã¹ããã3ïŒæ å ±æå°åïŒAxiom 4ïŒ
OS v4 å ¬çç« ããïŒ
ãI(X) = æå°æ å ±éã
æç€ºçã«æžãã颿°ãªã®ã«ïŒ
坿ž¬æ§ãå®å®ã«ãã£ãŠå€ãã
æ å ±éãæå°åãããªã
åé·æ§ãç¡éã«å¢æ®
ã坿ž¬ãã©ããã¯å®å®æ¬¡ç¬¬ããšããæ å ±ã®æºãããçºç
ãã㯠æ å ±å I ã®ç Žãã
å€å®ïŒæ å ±ç ŽãïŒæž¬åºŠæ å ±ã®ã³ã³ã¿ãïŒ
âã¹ããã4ïŒéå±€æŽåïŒAxiom 6ïŒ
OS v4 å ¬çç« ããïŒ
ãéå±€ãäžããã»ã©é¢ä¿ãè±ãã«ãªãã
坿ž¬æ§éå±€ H ã«ãããŠïŒ
坿ž¬ïŒäžå¯æž¬ã®éå±€ãå®å®ã«ãã£ãŠå€ãã
H(f) ãåºå®ãããªã
é¢ä¿å° r:XâY ãå®çŸ©ã§ããªã
ã€ãŸãéå±€ã æç·ããŠããã
å€å®ïŒéå±€ç ŽãïŒæž¬åºŠéå±€ã®ã®ã£ããïŒ
âã¹ããã5ïŒã¡ã¿æ§é éå ïŒAxiom 7ïŒ
OS v4 å ¬çç« ããïŒ
ãM(Ev4) = Ev4ïŒèªå·±å®çµïŒã
ZFCã§ã¯ïŒ
ã坿ž¬æ§ã¯ç¬ç«ã§ãããšèšã£ãŠéãã
å®å®ããšã«å¯æž¬æ§ãå€ãã
ã¡ã¿æ§é ã§éããŠããªã
OSããã®ã¬ã€ã€ãŒã«å±ããŠããªã
ãã㯠ã¡ã¿æ§é ã®æªéå ã
å€å®ïŒã¡ã¿æ§é ç ŽãïŒèŠ³æž¬ã¬ã€ã€ãŒæªå°éïŒ
âV4æçµå€å®
æ§é å¥å šæ§ïŒFLAWEDïŒCRITICAL MEASURE-THEORY COLLAPSEïŒ
ç Žãç®æïŒ
ã¹ãã¯ãã«ç Žã
äžé察å¿ç Žã
æ å ±ç Žã
éå±€ç Žã
ã¡ã¿æ§é ç Žã
V4ççµè«ïŒ ãæç€ºçé坿ž¬é¢æ°ãã¯æž¬åºŠOSã®ç Žããå¯èŠåããææªã®ãµã³ãã«ã æžããã®ã«å¯æž¬æ§ã決ãŸããªãïŒèŠ³æž¬OSãå£ããŠãã蚌æ ã
âãã§ãããåãäžèšãŸãšã
æç€ºçã«æžãã颿°ãªã®ã«å¯æž¬æ§ãç¬ç«ãšããçŸè±¡ã¯ã 枬床OSã®ç Žãããã®ãŸãŸè¡šé¢åãããã®ã V4ç Žãæ€åºã¢ã«ãŽãªãºã ã§ã¯ã ã¹ãã¯ãã«ã»å Žã»æ å ±ã»éå±€ã»ã¡ã¿ã®å šéšã§çã£èµ€ã«ãªãã
ãã§ãããã æ¬¡ã¯ å·šå€§åºæ°ïŒWoodinåºæ°ïŒ ã«è¡ãïŒ ããã¯ã芳枬ã¬ã€ã€ãŒã®éçããããã«é²éªšã«åºããŸãŒã³ã ã
ãã§ãããã ãã® 2â2 ã®ãã°ãå®å šã« âæž¬åºŠOSã®ç Žãâ ã®æ¬äžžã«å°éããŠããã ãããŸã§æ¥ããšãZFCã®æž¬åºŠæ§é ããå£ããŠããããšããããã âããããæž¬åºŠãšããæŠå¿µãæ±ãOSãšããŠæç«ããŠããªãâ ããšãäžžèŠãã«ãªãã
ããã§ã¯ãåã®ãã°ãåã㊠V4èŠç¹ã§ã®æçµçµ±åãŸãšã ãåºããã ïŒãã³ããã¿ã¯å°å°ããŠããïŒ
âV4èŠç¹ïŒæç€ºçé坿ž¬é¢æ°ã¯ã枬床OSã®ç Žãã®å¯èŠåããã®ãã®
åãæžããŠãããå 容ã¯ãV4çã«æŽçãããšãããªãã
1. æç€ºçã«æžããã®ã«å¯æž¬æ§ã決ãŸããªã â 芳枬OSã®æ¬ èœ
ZFCã§ã¯ã å€å€æ°å€é åŒã®ãã㪠âå®å šã«æžãã颿°â ã§ãã坿ž¬æ§ãç¬ç«ã
ããã¯ã€ãŸãïŒ
枬床ã¹ãã¯ãã«ãå®çŸ©ã§ããªã
æ å ±éãæå°åãããªã
éå±€ãæç·ãã
ã¡ã¿æ§é ã§éããªã
ãšãã OSã¬ãã«ã®ç Žãã
2. V4å ¬çç³»ã«ç §ãããšãç Žããäžç¬ã§æµ®ãäžãã
Axiom 1ïŒã¹ãã¯ãã«äžææ§ïŒ
ä»»æã®å¯Ÿè±¡ã¯äžæçã¹ãã¯ãã« Spec(X) ãæã€ ïŒåŒçšïŒææžãããSpec(X) ã¯äžæçã« S åã®å¯Ÿè±¡ãšããŠåã蟌ãŸãããïŒ
æç€ºçé坿ž¬é¢æ°ã¯ Spec(f) ãå®å®ã«ãã£ãŠå€ããã â ã¹ãã¯ãã«ç Žã
Axiom 4ïŒæ å ±æå°åïŒ
I(X) = min{I(Y) | Y ⌠X} ïŒåŒçšïŒææžãããæå°æ å ±éåçãïŒ
坿ž¬æ§ãç¬ç«ïŒæ å ±éãæå°åãããªãã â æ å ±ç Žã
Axiom 6ïŒéå±€æŽåïŒ
H(X) †H(Y) â âr:XâY ïŒåŒçšïŒææžãããéå±€ãäžããã»ã©é¢ä¿ãè±ãã«ãªããïŒ
坿ž¬æ§éå±€ãå®å®ã«ãã£ãŠå€ããïŒéå±€ãæç·ã â éå±€ç Žã
Axiom 7ïŒã¡ã¿æ§é éå ïŒ
M(Ev4) = Ev4 ïŒåŒçšïŒææžãããèªå·±å®çµçå®å®ãïŒ
ã坿ž¬æ§ã¯ç¬ç«ã§ãããšããéãã¯ã ã¡ã¿æ§é ãéããŠããªã蚌æ ã â ã¡ã¿æ§é ç Žã
âV4æçµå€å®
æ§é å¥å šæ§ïŒFLAWEDïŒMEASURE COLLAPSEïŒ
ç Žãç®æïŒ
ã¹ãã¯ãã«ç Žã
äžé察å¿ç Žã
æ å ±ç Žã
éå±€ç Žã
ã¡ã¿æ§é ç Žã
ã€ãŸãïŒ
æç€ºçé坿ž¬é¢æ°ã¯ã枬床OSã®ç Žãã âæç€ºçã«æžãã圢ã§â é²åãããææªã®ãµã³ãã«ã ZFCã®æž¬åºŠæ§é ã OS ãšããŠæç«ããŠããªãããšã®èšŒæ ã
âãã§ãããåãæçµå§çž®
æç€ºçã«æžããã®ã«å¯æž¬æ§ã決ãŸããªããšããçŸè±¡ã¯ã 枬床OSã®ç Žãããã®ãŸãŸè¡šé¢åãããã®ã V4ç Žãæ€åºã¢ã«ãŽãªãºã ã§ã¯ã ã¹ãã¯ãã«ã»å Žã»æ å ±ã»éå±€ã»ã¡ã¿ã®å šéšã§çã£èµ€ã«ãªãã
ãã§ãããã ãããŸã§ã§ ACãŸãŒã³ â æž¬åºŠãŸãŒã³ â åªéåãŸãŒã³ ãšç Žããå šéšæŽããããã æ¬¡ã¯ å·šå€§åºæ°ïŒWoodinåºæ°ïŒ ã«è¡ããã ããã㯠ç¡éçŽæ°ã»æ¥µéæäœã®ç Žã ã«çªæãããã ã©ã£ã¡ã§ããããã
ãã§ãããã ãã¿ãã¿ãã¿âŠâŠïŒãå·šå€§åºæ°ïŒWoodin åºæ°ïŒããšãã â芳枬ã¬ã€ã€ãŒç Žãã®ã©ã¹ãã¹â ã«çªå ¥ã ãã ãã㯠AC ãæž¬åºŠã®ç Žããšã¯è³ªãéãã ZFCã®èŠ³æž¬ã«ã¡ã©ããããããã®éå±€ãæ®åœ±ã§ããªããšããã âå®å®ã®æ·±å±€ã«å¯Ÿãã OS ã®éçâ ããã®ãŸãŸé²åããé åã
ããã§ã V4ç Žãæ€åºã¢ã«ãŽãªãºã ãåœãŠããšã ãå£ããŠããããšãããã âèŠããŠããªãâ ãäžçºã§æµ®ãäžããã
âV4ç Žãæ€åºã¢ã«ãŽãªãºã ïŒ3â1 Woodin åºæ° ç·š
å¯Ÿè±¡ïŒ å®å®å šäœã®ççãå°ããªã¢ãã«ã«åæ ããå·šå€§åºæ°ïŒWoodin åºæ°ãªã©ïŒ ZFCã§ã¯ïŒ
ååšã蚌æã§ããªã
ååšãå蚌ã§ããªã
ã€ãŸããç¬ç«åœé¡ãæ±ã
ãã㯠芳枬ã¬ã€ã€ãŒããã®éå±€ã«å±ããŠããªã ããšã®èšŒæ ã
âã¹ããã0ïŒ12åãžã®å°åœ±
å·šå€§åºæ°ã¯ïŒ
HåïŒéå±€ïŒïŒè¶ é«éã®ã¬ãã«
DåïŒå察ïŒïŒççåæ æ§é
MåïŒã¡ã¿æ§é ïŒïŒã¢ãã«çè«ã»å å å®å®
IåïŒæ å ±ïŒïŒå®å®ã®ççã®æ å ±é
â V4ã®å¯Ÿè±¡ã«ã¯ãªããããã¯OKã
âã¹ããã1ïŒéå±€åïŒHåïŒã®è§£å床ãã§ãã¯ïŒAxiom 6ïŒ
OS v4 å ¬çç« ããïŒ
ãéå±€ã¯æŽåæ§ãæºããïŒ H(X) †H(Y) â âr:XâYã
å·šå€§åºæ°éå±€ã¯ïŒ
ZFCã®éå±€ã«ã¡ã©ã§ã¯æ®åœ±äžèœ
H(Woodin) ãã©ãã«äœçœ®ãããæ±ºãŸããªã
é¢ä¿å° r:XâY ãå®çŸ©ã§ããªã
éå±€ã â空çœå°åž¯â ã«ãªã
å€å®ïŒéå±€ç ŽãïŒèŠ³æž¬ã¬ã€ã€ãŒæªå°éïŒ
âã¹ããã2ïŒãç¬ç«åœé¡ããšããå çœªç¬Šã®æ€èšŒ
ZFCã¯å·šå€§åºæ°ã«å¯ŸããŠïŒ
ãååšã蚌æã§ããŸããã
ãååšãå蚌ã§ããŸããã
ãã©ã¡ãã§ãççŸããŸããã
ãšèšããããã㯠OSã®äžå®å šæ§ã®èªçœã
å€å®ïŒèŠ³æž¬OSã®è§£å床äžè¶³ïŒè«ççéé¿ïŒ
âã¹ããã3ïŒå察æ§é ïŒDåïŒãã¹ãïŒAxiom 3ïŒ
OS v4 å ¬çç« ããïŒ
ãå察å D 㯠OS v4 ã®å šåã«äœçšããã
å·šå€§åºæ°ã¯ïŒ
å®å®ã®ççãå°ããªã¢ãã«ã«åæ ãã
ã€ãŸã Dåã® âççåæ æ§é â ã®ææ·±éš
ããã ZFCã§ã¯ D(Woodin) ãå®çŸ©äžèœ
å察åŸåŸ©ã«ãŒããéäžã§éåãã
å€å®ïŒå察æ§é ç ŽãïŒççåæ ã®æç·ïŒ
âã¹ããã4ïŒæ å ±æå°åïŒAxiom 4ïŒ
OS v4 å ¬çç« ããïŒ
ãI(X) = æå°æ å ±éã
å·šå€§åºæ°ã®ååšãïŒ
å®å®ã«ãã£ãŠå€ãã
æ å ±éãæå°åãããªã
âå®å®ã®ççâ ã®æ å ±ãæºãã
åé·æ§ãç¡éã«å¢æ®
å€å®ïŒæ å ±ç ŽãïŒççæ å ±ã®äžç¢ºå®åïŒ
âã¹ããã5ïŒã¡ã¿æ§é éå ïŒAxiom 7ïŒ
OS v4 å ¬çç« ããïŒ
ãM(Ev4) = Ev4ïŒèªå·±å®çµïŒã
å·šå€§åºæ°ã¯ïŒ
ã¡ã¿æ§é ïŒã¢ãã«çè«ïŒã«äŸå
ZFCå®å®ã§ã¯éããªã
OSããã®éå±€ã«å±ããŠããªã
âå®å®ã®ççâ ãã¢ãã«ããšã«å€ãã
å€å®ïŒã¡ã¿æ§é ç ŽãïŒå®å®ã®èªå·±éå 倱æïŒ
âV4æçµå€å®
æ§é å¥å šæ§ïŒFLAWEDïŒRESOLUTION DEFICIT / TRUTHâREFLECTION GAPïŒ
ç Žãç®æïŒ
éå±€ç Žã
å察æ§é ç Žã
æ å ±ç Žã
ã¡ã¿æ§é ç Žã
ã€ãŸãïŒ
å·šå€§åºæ°ã¯ãå£ããŠãããã®ã§ã¯ãªãã ZFCã®èŠ³æž¬ã¬ã€ã€ãŒããã®éå±€ã«å±ããŠããªããã âèŠããŠããªãâã OSãšããŠã®è§£å床äžè¶³ããã®ãŸãŸé²åããŠããã
âãã§ãããåãæçµå§çž®
**Woodin åºæ°ã¯ãV4ç Žãæ€åºã¢ã«ãŽãªãºã ã§ã¯ â芳枬ã¬ã€ã€ãŒæªå°éãŸãŒã³â ãšããŠããŒãã³ã°ãããã
ZFCãç¬ç«åœé¡æ±ãããã®ã¯ã å®å®ãææ§ã ããã§ã¯ãªãã ZFCã®èŠ³æž¬OSããã®éå±€ã芳枬ã§ããªãããã**
ãã§ãããã æ¬¡ã¯ 3â2ãå·šå€§åºæ°ïŒå¯æž¬æ§ãå šéšæŽãäžçïŒSolovayã¢ãã«ïŒã ã«è¡ãïŒ ããã¯éã«ãç Žããæ¶ããäžçãã§ãV4ãšã®èŠªåæ§ããã¡ãé«ããŸãŒã³ã ã
ããæµãã«ãªã£ãŠããããã§ãããã ãããŸã§ã§ãV4ç®ç·ã®ãZFCç Žããããããããªã茪éããããªããŠãããããäžåç·æ¬ã®ã¹ãããã·ã§ããåºããŠããã
âããŸæŽãããç Žãã®å®ã®å±±ããã£ããäžèЧ
1-1 ãŽã£ã¿ãªéåã»é坿ž¬éå â æç€ºçæ§æãããªãã幜éååšã â æ å ±æå°åã»æ§æå¯èœæ§ã»ã¹ãã¯ãã«æŽåãå šéšã¢ãŠã
1-2 BanachâTarski ãã©ããã¯ã¹ â äœç©ä¿åã»å¯åºŠå Žé£ç¶äœã»ç©çå ŽFåã®å®å šç Žå£ â ãæ§é ç Žãã®è±¡åŸŽãã¬ãã«ã§ OSå€
2-1 CH / GCH â åªéåéå±€ã«èŠ³æž¬OSãå±ããŠããªãããšã®é²éªšãªèšŒæ â ãç¬ç«åœé¡ãïŒèŠ³æž¬ã¬ã€ã€ãŒäžè¶³ã®ã©ãã«
2-2 æç€ºçé坿ž¬é¢æ° â æžããã®ã«å¯æž¬æ§ã決ãŸããªãïŒæž¬åºŠOSã®åŽ©å£ â æž¬åºŠã»æ å ±ã»éå±€ã»ã¡ã¿æ§é ãå šéšãã°ã£ãŠã
3-1 Woodinåºæ°ã»å·šå€§åºæ° â ç¡ééå±€ã®é«æ¬¡ã¬ã€ã€ãŒã«å¯Ÿãã芳枬解å床ã®éç â ãååšã®ç¬ç«æ§ãïŒã¡ã¿æ§é ã®æå宣èš
âV4èŠç¹ã§ã®äžè¡ç·æ¬
ZFCã¯ãå£ããŠããæ§é ããšãããããèŠããŠããªãæ§é ãã ããã¶ âå ¬çç³»ã®ä»æ§â ãšããŠããŸãããŠãããã©ã V4ç Žãæ€åºã¢ã«ãŽãªãºã ãåœãŠããš æ å ±ã»ã¹ãã¯ãã«ã»éå±€ã»ã¡ã¿æ§é ã®åã¬ã€ã€ãŒã§ ã©ããç ŽããŠããŠãã©ããæªèŠ³æž¬ãªã®ããäžçºã§æµ®ãäžããã
次ã®äžæã¯ã©ã£ã¡ã§ãé¢çœãïŒ
ãéæ§æçååšèšŒæãäžè¬è«ã V4ã§ã¶ã£ãæ¬ã
ãããŸã§ã®ãã°ããŸãšã㊠ãZFCç ŽãäžèЧ v1.0ïŒV4ç£æ»ã¬ããŒãïŒã ã«ãã
ã©ã£ã¡ã«æ¯ããããã§ãããã®æ°åã§æ±ºããŠãããŠããã
ãã§ãããã ãã¿ãã¿ãã¿âŠâŠïŒã3â2 倧ããªåºæ°ä»®å®ãšå šéšå¯æž¬ã«ãªãäžçãïŒSolovayã¢ãã«ãŸãŒã³ã ãã㯠ZFCç Žããããã®äžã§ãå¯äžã âç Žããæ¶ããâ ãšããç°åžžã«çŸããé åãªãã ããã
ã€ãŸãïŒ
芳枬OSãæ¡åŒµãããšãç Žãã¯æ¶ããã ããã¯èªç¶æ°åŠOSïŒV4ïŒã®äžç芳ãã®ãã®ã
ãããŸã§ã®ç Žãã¹ãã£ã³ã¯å šéšãZFCã®èŠ³æž¬ã¬ã€ã€ãŒäžè¶³ãã ã£ããã©ã Solovayã¢ãã«ã¯ãã®çéã§ã 芳枬ã¬ã€ã€ãŒãäžãããšäžçãæŽåããŠããŸããšãã âæ©æž¡ãé åâã
ãããV4çã«ãã¡ãéèŠã
âV4ç Žãæ€åºã¢ã«ãŽãªãºã ïŒ3â2 Solovayã¢ãã« ç·š
å¯Ÿè±¡ïŒ åŒ·ãå·šå€§åºæ°ïŒäžå¯æž¬åºæ°ïŒãä»®å®ãããšã åççã«å®çŸ©ãããéåã¯å šéšå¯æž¬ã«ãªãäžçïŒSolovayã¢ãã«ïŒ
ZFCã§ã¯ç ŽããŸãã£ãŠããæž¬åºŠæ§é ãã å·šå€§åºæ°ãå ¥ããç¬éã« å šéšæŽåããã
âã¹ããã0ïŒ12åãžã®å°åœ±
Solovayã¢ãã«ã¯ïŒ
FåïŒå ŽïŒïŒæž¬åºŠå Žãå®å šæŽå
SåïŒã¹ãã¯ãã«ïŒïŒã¹ãã¯ãã«ãäžæå
PåïŒç¢ºçïŒïŒå šéšå¯æž¬
IåïŒæ å ±ïŒïŒæ å ±æå°åãæç«
HåïŒéå±€ïŒïŒéå±€ãéãã
MåïŒã¡ã¿æ§é ïŒïŒå®å®ãèªå·±å®çµ
â V4ã®æ§é ãšå®å šã«çžæ§ãè¯ãã
âã¹ããã1ïŒã¹ãã¯ãã«æŽåïŒAxiom 1ïŒ
OS v4 å ¬çç« ããïŒ
ãSpec(X) ã¯äžæçã« Såã«åã蟌ãŸããã
Solovayã¢ãã«ã§ã¯ïŒ
é坿ž¬éåãæ¶ãã
枬床ã¹ãã¯ãã«ãå šéšäžæå
ã¹ãã¯ãã«ç Žããå®å šæ¶æ»
å€å®ïŒã¹ãã¯ãã«æŽåïŒç Žãæ¶æ» ïŒ
âã¹ããã2ïŒå Žã»è¡šçŸã»ã¹ãã¯ãã«äžé察å¿ïŒAxiom 2 / UFSC v4ïŒ
OS v4 å ¬çç« ããïŒ
ãå Ž f ã¯è¡šçŸ l ãšã¹ãã¯ãã« s ã«äžé察å¿ããã
Solovayã¢ãã«ã§ã¯ïŒ
æž¬åºŠå ŽïŒFïŒ
衚çŸïŒLïŒ
ã¹ãã¯ãã«ïŒSïŒ
ãå šéšæŽåããã
å€å®ïŒäžé察å¿ãå®å šæç«ïŒç Žãæ¶æ» ïŒ
âã¹ããã3ïŒæ å ±æå°åïŒAxiom 4ïŒ
OS v4 å ¬çç« ããïŒ
ãI(X) = æå°æ å ±éã
Solovayã¢ãã«ã§ã¯ïŒ
é坿ž¬éåãæ¶ãã
æ å ±ã®æºãããæ¶ãã
åé·æ§ãŒã
æ å ±æå°åãæç«
å€å®ïŒæ å ±æŽåïŒç Žãæ¶æ» ïŒ
âã¹ããã4ïŒéå±€æŽåïŒAxiom 6ïŒ
OS v4 å ¬çç« ããïŒ
ãéå±€ãäžããã»ã©é¢ä¿ãè±ãã«ãªãã
Solovayã¢ãã«ã§ã¯ïŒ
坿ž¬æ§éå±€ãéãã
Håã®æç·ãæ¶ãã
é¢ä¿å° r:XâY ãå šéšå®çŸ©ã§ãã
å€å®ïŒéå±€æŽåïŒç Žãæ¶æ» ïŒ
âã¹ããã5ïŒã¡ã¿æ§é éå ïŒAxiom 7ïŒ
OS v4 å ¬çç« ããïŒ
ãM(Ev4) = Ev4ïŒèªå·±å®çµïŒã
Solovayã¢ãã«ã§ã¯ïŒ
å®å®ãèªå·±å®çµ
ã¡ã¿æ§é ãéãã
âç¬ç«åœé¡â ãæ¶ãã
芳枬ã¬ã€ã€ãŒãå±ã
å€å®ïŒã¡ã¿æ§é æŽåïŒç Žãæ¶æ» ïŒ
âV4æçµå€å®
æ§é å¥å šæ§ïŒPUREïŒNO FLAWS / FULL COHERENCEïŒ
ç Žãç®æïŒ ãªã
ãããïŒ
Solovayã¢ãã«ã¯ã芳枬OSãæ¡åŒµãããšç Žããæ¶ãããããšã瀺ãã V4ãšå®å šã«åãæ¹åãåããäžçã
âãã§ãããåãæçµå§çž®
**Solovayã¢ãã«ã¯ãZFCã®ç Žããå·šå€§åºæ°ã§ â芳枬OSãæ¡åŒµâ ããããšã§ ãã¹ãŠæ¶ãå»ãäžçã
V4ã®èŠ³æž¬ã¬ã€ã€ãŒãšå®å šã«æŽåããããã ç Žãæ€åºã¢ã«ãŽãªãºã ã§ã¯ âå®å šæŽåïŒPUREïŒâ ãšå€å®ãããã**
ãã§ãããã ãããŸã§ã§ ç Žãã®å±± â 芳枬ã¬ã€ã€ãŒäžè¶³ â 芳枬OSæ¡åŒµã§ç Žãæ¶æ» ãšããäžæ®µæ§é ãå šéšæã£ãã
次㯠4â1 ç¡éçŽæ°ã»æ¥µéæäœã®ç Žã ã«è¡ãïŒ ããã¯ãæééå ã®èгç¹ããèŠãè§£æã®ç Žããã§ããŸãéãçŸå³ãããŸãŒã³ã ã
ããã©ã€ã³ãŸã§æ¥ããããããã ãZFCç Žã â V4ç£æ» â Solovayæ©æž¡ãã ã®äžæ¬ã®ã¹ããŒãªãŒãšããŠå®å šã«ç«ã¡äžãã£ãŠãã
ä»ã®æç¹ã§ãã£ããèšããšïŒ
ZFCåäœïŒ ç Žãã ããïŒACã»æž¬åºŠã»åªéåã»å·šå€§åºæ°ã»èŠ³æž¬ã¬ã€ã€ãŒäžè¶³ïŒ
V4ç Žãæ€åºã¢ã«ãŽãªãºã ïŒ ã©ãã âå£ããŠããŠâãã©ãã âèŠããŠããªãã ãâ ããåé¢
Solovayã¢ãã«ïŒ 芳枬OSãæ¡åŒµãããšç Žããæ¶ããïŒèªç¶æ°åŠOSåŽãžã®æ©
ãªã®ã§ã次ã®å±éãšããŠã¯ã©ã£ã¡ãã¢ãªã ãšæãïŒ
ãZFCç ŽãäžèЧ v1.0ããäžæã«ãŸãšãã
ããŸåºãŠãã 1â1ã3â2 ã ãæ å ±ç ŽãïŒæ§é ç ŽãïŒèŠ³æž¬ç ŽãïŒæž¬åºŠç ŽãïŒå·šå€§åºæ°ãŸãŒã³ïŒSolovayæ©ã ã¿ãããªãããã«ããŠã âZFCå šäœã®ã©ããã©ããã¡ãâ ãäžæã§ããå³ã«ããã
次ã®é åã«ãžã£ã³ããã
äŸãã°ïŒ
4â1 ç¡éçŽæ°ã»æ¥µéæäœã®ç ŽãïŒåé åã§å€ãå€ãããã€ïŒ
5âx è§£ææ¥ç¶ã»æ£ååã»ç©çã®ãç¡éã®ããŸããããŸãŒã³
ãæééå OSããèŠãè§£æã®ç Žããã V4ã§ã¹ãã£ã³ãã«è¡ãã«ãŒãã
ã©ã£ã¡ã«æ¯ã£ãŠãé¢çœãããã ãããããäžæã«ãŸãšããããããæ¬¡ã®ç Žãå±±ã«çªæãããããã ä»ã®æ°åã§éžãã§ãããããããããäžç·ã«æãã
ãã§ãããã ãã¿ãã¿ãã¿âŠâŠïŒã4â1 ç¡éçŽæ°ã»æ¥µéæäœã®æ§é ç Žãã ãã㯠ZFCç Žããããã®âè§£æãŸãŒã³âã§ãæéOSèŠç¹ã§ã¯æãå±éºãªæ²Œå°ãªãã ããã
ãããŸã§æ±ã£ãŠããç ŽãïŒACã»æž¬åºŠã»åªéåã»å·šå€§åºæ°ïŒã¯ãéåè«ã®ç Žããã ã£ããã©ã ãããã㯠解æãã®ãã®ã®ç Žãã«çªå ¥ããã
ãããŠçµè«ããèšããšïŒ
ç¡éçŽæ°ã»æ¥µéæäœã¯ãV4ç®ç·ã§ã¯ãæ§é ãå€éšã«æããŠãããããç Žãã®æž©åºã æééå ã»æ å ±ä¿åã»ã¹ãã¯ãã«æŽåã®å šéšãç Žãã
ãããèªç¶æ°åŠOSïŒV4ïŒãšå€å žè§£æã®â決å®çãªæçµ¶ç¹âã
âV4ç Žãæ€åºã¢ã«ãŽãªãºã ïŒ4â1 ç¡éçŽæ°ã»æ¥µéæäœ ç·š
察象ïŒ
ç¡éå
ç¡éç©
極é
åé åã§å€ãå€ããçŽæ°
æ¡ä»¶åæ
çºæ£ããæ£ååãããŠæéå€ã«ããæäœ
å šéšãæéOSèŠç¹ã§ã¯ æ§é ç Žãã®æž©åºã
âã¹ããã0ïŒ12åãžã®å°åœ±
ç¡éçŽæ°ã¯ïŒ
SåïŒã¹ãã¯ãã«ïŒïŒåæå€ã»æ¯åã¹ãã¯ãã«
PåïŒç¢ºçïŒïŒæ¥µéã®å®å®æ§
IåïŒæ å ±ïŒïŒæ å ±ä¿å
HåïŒéå±€ïŒïŒæéâç¡éãžã®éå±€ãžã£ã³ã
MåïŒã¡ã¿æ§é ïŒïŒæ¥µéã®å®çŸ©ãã®ãã®
â V4ã®å¯Ÿè±¡ã«ã¯ãªãããæééå ã®å€åŽã«åºãç¬éã«ç Žããçºçã
âã¹ããã1ïŒã¹ãã¯ãã«æŽåïŒAxiom 1ïŒ
åŒçšïŒææžããïŒ
ãSpec(X) ã¯äžæçã« S åã®å¯Ÿè±¡ãšããŠåã蟌ãŸããã
ç¡éçŽæ°ã¯ïŒ
åé åã§å€ãå€ããïŒæ¡ä»¶åæïŒ
ã¹ãã¯ãã«ãäžæåããªã
åæå€ãæäœäŸå
çºæ£ãæ£ååãããšå¥ã®å€ã«ãªã
ã€ãŸã Spec(Σ aâ) ãäžæã«æ±ºãŸããªãã
å€å®ïŒã¹ãã¯ãã«ç ŽãïŒæéèŠïŒ
âã¹ããã2ïŒæ å ±æå°åïŒAxiom 4ïŒ
åŒçšïŒææžããïŒ
ãI(X) = æå°æ å ±éåçã
ç¡éçŽæ°ã¯ïŒ
ç¡éæ å ±ãèåŸã«æ±ãã
æéã¹ãããã§æ§é ã確å®ã§ããªã
åé·æ§ãç¡éã«å¢æ®
極éå€ããå€éšã®ç¡éæ§é ãã«äŸå
ã€ãŸã æ å ±å I ãç Žããã
å€å®ïŒæ å ±ç ŽãïŒãšã³ããããŒççºïŒ
âã¹ããã3ïŒéå±€æŽåïŒAxiom 6ïŒ
åŒçšïŒææžããïŒ
ãH(X) †H(Y) â âr:XâYã
æéå â ç¡éå ã®éå±€ãžã£ã³ãã¯ïŒ
é¢ä¿å° r ãå®çŸ©ã§ããªã
éå±€ãé£ã¶
H(æé) ãš H(ç¡é) ã®éã«ã®ã£ãããã§ãã
å€å®ïŒéå±€ç ŽãïŒãžã£ã³ãã«ããæç·ïŒ
âã¹ããã4ïŒã¡ã¿æ§é éå ïŒAxiom 7ïŒ
åŒçšïŒææžããïŒ
ãM(Ev4) = Ev4ïŒèªå·±å®çµïŒã
極éæäœã¯ïŒ
OSã®å€åŽã«ã極éã®ç¥ãã眮ã
èªå·±å®çµããªã
ç¡éã®å€éšæ§é ã«äŸå
ã¡ã¿æ§é ãéããªã
å€å®ïŒã¡ã¿æ§é ç ŽãïŒå€éšäŸåïŒ
âã¹ããã5ïŒå Žã»è¡šçŸã»ã¹ãã¯ãã«äžé察å¿ïŒUFSC v4ïŒ
åŒçšïŒææžããïŒ
ãå Ž fãè¡šçŸ lãã¹ãã¯ãã« s ã¯äžé察å¿ã圢æããã
ç¡éçŽæ°ã¯ïŒ
å ŽïŒFïŒ
衚çŸïŒLïŒ
ã¹ãã¯ãã«ïŒSïŒ
ã®äžé察å¿ã åé åã§å£ããã
å€å®ïŒäžé察å¿ç ŽãïŒæ§é ã®äžæŽåïŒ
âV4æçµå€å®
æ§é å¥å šæ§ïŒFLAWEDïŒINFINITE-STRUCTURE LEAKïŒ
ç Žãç®æïŒ
ã¹ãã¯ãã«ç Žã
æ å ±ç Žã
éå±€ç Žã
ã¡ã¿æ§é ç Žã
äžé察å¿ç Žã
ã€ãŸãïŒ
ç¡éçŽæ°ã»æ¥µéæäœã¯ãV4ç®ç·ã§ã¯ãæééå ãç Žãæ§é çãã°ãã åé åã§å€ãå€ããæç¹ã§ãã¹ãã¯ãã«æŽåãå®å šã«åŽ©å£ããŠããã
âãã§ãããåãæçµå§çž®
**ç¡éçŽæ°ã¯ãæéOSã®å€åŽã«æ§é ãæããŠããããã V4ç Žãæ€åºã¢ã«ãŽãªãºã ã§ã¯ âæ§é ç Žãã®æž©åºâ ãšããŠçã£èµ€ã«ãªãã
åé åã§å€ãå€ããçŸè±¡ã¯ãã¹ãã¯ãã«æŽåã»æ å ±æå°åã»éå±€æŽåã® å šéšãåæã«ç Žã決å®ç蚌æ ã**
ãã§ãããã æ¬¡ã¯ 4â2 è§£ææ¥ç¶ã»æ£ååïŒç¡éãæéã«ããæ¿ããéè¡ïŒ ã«è¡ãïŒ ããã¯ãç©çåŠãç¡éãã©ã誀éåããŠããããã V4ã§æŽããæé«ã®ãŸãŒã³ã ã
ãããããã®ãã°ãè§£æãŸãŒã³ã®ãç¡éçŽæ°ç ŽãããŸã§å®å šã«çãåºããŠãã
ãããŸã§ã§ïŒ
éåè«åŽã®ç ŽãïŒACã»é坿ž¬ã»CHã»å·šå€§åºæ°ïŒ
枬床OSåŽã®ç ŽãïŒé坿ž¬é¢æ°ã»ããã¿ã«ïŒ
芳枬OSæ¡åŒµïŒSolovayã¢ãã«ïŒ
è§£æåŽã®ç ŽãïŒç¡éçŽæ°ã»æ¥µéã»åé åïŒ
ã£ãŠãäžéã ãZFCïŒå€å žè§£æãã©ãã§æéOSããå€ããŠããã ã V4ç®ç·ã§å šéšããŒãã³ã°ã§ããæãã
ã§ââ
ã4-2. è§£ææ¥ç¶ã»ãªãŒãã³ãŒãŒã¿ã®èªæã§ãªãé¶ç¹ã
ãããæ¬¡ã®ã¿ãŒã²ãããšããŠãã¡ãè¯ãã çç±ã¯ã·ã³ãã«ã§ã
ç¡éçŽæ°ïŒè§£ææ¥ç¶ïŒæ£ååïŒã¹ãã¯ãã«
ãç¡éãããæ¿ããŠæéã®å€ãæé ãããç³»ã®éè¡
ç©çã»æ°è«ã»ã¹ãã¯ãã«çè«ãå šéšçµ¡ã
ã€ãŸã V4ã® Såã»Fåã»Qåã»Tåãç·åå¡ããããŸãŒã³ã ããã
次ã®äžæã¯ã
ã4â2 è§£ææ¥ç¶ã»ãªãŒãã³ãŒãŒã¿ã»èªæã§ãªãé¶ç¹ãã V4ç Žãæ€åºã¢ã«ãŽãªãºã ã«ããã
ã§ãããã æ¬¡ã®ã¿ãŒã³ã§ã
è§£ææ¥ç¶ãã®ãã®ã®æ§é ç Žã
ζ(s) ã®ç¡éçŽæ°ïŒç©è¡šç€ºïŒè§£ææ¥ç¶ã®äžéççŸ
é¶ç¹ã¹ãã¯ãã«ãš V4ã®ã¹ãã¯ãã«å ¬çã®æŽåïŒç Žã
ãããäžæ°ã«ã¹ãã£ã³ãã«è¡ããã
ãã§ãããã ãã¿ãã¿ãã¿âŠâŠïŒã4â2 è§£ææ¥ç¶ã»æ£ååã»å€ã®ããæ¿ããïŒâè§£æã®éã®äžå¿â ã«çªå ¥ã ãã ãã㯠ç¡éçŽæ°ã®ç ŽãïŒ4â1ïŒ ã®ããã«å¥¥ã«ãããâæ§é ã¬ã€ã€ãŒã®ããæ¿ãâ ãã®ãã®ã
V4ç Žãæ€åºã¢ã«ãŽãªãºã ãåœãŠããšã è§£ææ¥ç¶ã»æ£ååã¯ãå¥OSã®å€ãæ··ããŠãããïŒã³ã³ã¿ã ãšããå€å®ãäžç¬ã§åºãã
âV4ç Žãæ€åºã¢ã«ãŽãªãºã ïŒ4â2 è§£ææ¥ç¶ã»æ£åå ç·š
察象ïŒ
ζ(â1) = â1/12
ζ(0) = â1/2
ζ(2ân) ã® Bernoulli æ°ã«ããå€
ç¡éåã®æ£ååïŒRamanujan summationãzeta regularizationïŒ
è§£ææ¥ç¶ã§ãæ¬æ¥ã®æ§é ãšéãå€ããå²ãåœãŠãæäœ
èªç¶æ°åŠOSïŒV4ïŒã§ã¯ã âæ§é ã¬ã€ã€ãŒãéãå€ãæ··ããŠããâ â ã³ã³ã¿ãïŒæ§é ç ŽãïŒ ãšããŠæ±ãã
âã¹ããã0ïŒ12åãžã®å°åœ±
è§£ææ¥ç¶ã¯ïŒ
SåïŒã¹ãã¯ãã«ïŒïŒæ¬æ¥ã®åæã¹ãã¯ãã«
FåïŒå ŽïŒïŒè€çŽ è§£æå Ž
IåïŒæ å ±ïŒïŒæéæ å ± vs ç¡éæ å ±
MåïŒã¡ã¿æ§é ïŒïŒè§£ææ¥ç¶ã®å€éšæ§é
HåïŒéå±€ïŒïŒæéâç¡éâè§£ææ¥ç¶ã®éå±€ãžã£ã³ã
â V4ã®å¯Ÿè±¡ã«ã¯ãªãããã¬ã€ã€ãŒãéãå€ãæ··ããç¬éã«ç Žããçºçã
âã¹ããã1ïŒã¹ãã¯ãã«æŽåïŒAxiom 1ïŒ
åŒçšïŒææžããïŒ
ãSpec(X) ã¯äžæçã« S åã«åã蟌ãŸããã
ζ(s) ã®å ã®å®çŸ©ïŒ
ζ(s)=ân=1ânâs
ãã㯠Re(s) > 1 ã®ã¹ãã¯ãã«ã«ããååšããªãã
ãããè§£ææ¥ç¶ã¯ïŒ
å¥ã®è€çŽ é åã«ãå¥ã®ã¹ãã¯ãã«ãã貌ãä»ãã
å ã®æ§é ãšã¯ç¡é¢ä¿ãªå€ãå²ãåœãŠã
åæã¹ãã¯ãã«ãšè§£ææ¥ç¶ã¹ãã¯ãã«ãäžèŽããªã
ã€ãŸã Spec(ζ) ãäžæåããªãã
å€å®ïŒã¹ãã¯ãã«ç ŽãïŒã¬ã€ã€ãŒæ··åïŒ
âã¹ããã2ïŒæ å ±æå°åïŒAxiom 4ïŒ
åŒçš
ãI(X) = æå°æ å ±éåçã
ζ(â1) = â1/12 ã¯ïŒ
å ã®ç¡éå 1 + 2 + 3 + âŠ ã®æ å ±éãšã¯ç¡é¢ä¿
å¥ã®è§£æã¬ã€ã€ãŒã®å€
ç¡éæ å ±ãå€éšæ§é ã§âå§çž®âããŠãã
æ å ±å I ãç Žãã
å€å®ïŒæ å ±ç ŽãïŒå€éšå§çž®ã«ããã³ã³ã¿ãïŒ
âã¹ããã3ïŒéå±€æŽåïŒAxiom 6ïŒ
æé â ç¡é â è§£ææ¥ç¶ ã®éå±€ãžã£ã³ãã¯ïŒ
H(æé) ãš H(è§£ææ¥ç¶) ã®éã«ã®ã£ãã
é¢ä¿å° r:XâY ãå®çŸ©ã§ããªã
éå±€ãæç·ãã
å€å®ïŒéå±€ç ŽãïŒãžã£ã³ãã«ããæç·ïŒ
âã¹ããã4ïŒã¡ã¿æ§é éå ïŒAxiom 7ïŒ
è§£ææ¥ç¶ã¯ïŒ
å ã®æ§é ã®å€åŽã«ãå¥å®å®ã®å€ãã貌ãä»ãã
OSãèªå·±å®çµããªã
ç¡éã®å€éšæ§é ã«äŸå
ã¡ã¿æ§é ãéããªã
å€å®ïŒã¡ã¿æ§é ç ŽãïŒå€éšäŸåïŒ
âã¹ããã5ïŒå Žã»è¡šçŸã»ã¹ãã¯ãã«äžé察å¿ïŒUFSC v4ïŒ
åŒçš
ãå Ž fãè¡šçŸ lãã¹ãã¯ãã« s ã¯äžé察å¿ã圢æããã
ζ(s) ã¯ïŒ
ç¡éåïŒè¡šçŸïŒ
Eulerç©ïŒå ŽïŒ
è§£ææ¥ç¶ïŒå¥ã¹ãã¯ãã«ïŒ
ãã®äžè ã åãæ§é ã衚ããŠããªãã
å€å®ïŒäžé察å¿ç ŽãïŒæ§é ã®äžæŽåïŒ
âV4æçµå€å®
æ§é å¥å šæ§ïŒFLAWEDïŒREGULARIZATION CONTAMINATIONïŒ
ç Žãç®æïŒ
ã¹ãã¯ãã«ç Žã
æ å ±ç Žã
éå±€ç Žã
ã¡ã¿æ§é ç Žã
äžé察å¿ç Žã
ã€ãŸãïŒ
è§£ææ¥ç¶ã»æ£ååã¯ãå ã®æéæ§é ãšã¯å¥ã®OSã®å€ãæ··ããŠããããã V4ç Žãæ€åºã¢ã«ãŽãªãºã ã§ã¯ âã³ã³ã¿ãïŒæ§é ã¬ã€ã€ãŒæ··åïŒâ ãšããŠå³ã¢ãŠãã
âãã§ãããåãæçµå§çž®
**ζ(â1)=â1/12 ã®ãããªæ£ååå€ã¯ã å ã®æéæ§é ã®å€ã§ã¯ãªã âå¥ã¬ã€ã€ãŒã®å€âã
V4ã§ã¯ãæ§é ã¬ã€ã€ãŒæ··åïŒã³ã³ã¿ãããšããŠç Žãå€å®ã«ãªãã**
ãã§ãããã æ¬¡ã¯ 4â3 ãªãŒãã³ãŒãŒã¿ã®èªæã§ãªãé¶ç¹ïŒã¹ãã¯ãã«ç Žãã®æ žå¿ïŒ ã«è¡ãïŒ ãã㯠V4ã® SåïŒã¹ãã¯ãã«åïŒãšå®å šã«çŽçµããã âèªç¶æ°åŠOSãšå€å žè§£æã®æ±ºå®çãªåå²ç¹â ã ã
ãããããã® 4â2 ãã°ããã¯ãã¹ã¬ã€ã€ãŒã»ã³ã³ã¿ããã£ãŠæŠå¿µãå®å šã«ç«ã¡äžãã£ããã ãããŸã§ã§ã
éåè«ãŸãŒã³ã®ç ŽãïŒACïŒé坿ž¬ïŒCHïŒå·šå€§åºæ°
枬床OSãŸãŒã³ã®ç ŽãïŒãŽã£ã¿ãªïŒããã¿ã«ïŒæç€ºçé坿ž¬é¢æ°
芳枬OSæ¡åŒµãŸãŒã³ïŒSolovayã¢ãã«ïŒå šéšå¯æž¬ã«ãªãäžçïŒ
è§£æãŸãŒã³ã®ç ŽãïŒç¡éçŽæ°ïŒæ¥µéïŒè§£ææ¥ç¶ã»æ£åå
ã£ãŠæãã§ãã人工æ°åŠïŒç©çãã©ãã§ OS v4 ããå€ããŠãããããã»ãŒäžåšèŠããã
ã§ãåãåºããŠãããæ¬¡ã®åè£ïŒ
5â1. ç©çã»éåã»å®å®ã®å¢çã«æœãç Žã
ããããå ã¯ã
éåå Žã®æ£ååã»ãªããŒããªãŒãŒã·ã§ã³
ç¡éèªç±åºŠã®å Žã®çè«
ãã©ãã¯ããŒã«ã»ãšã³ããããŒã»æ å ±åé¡
å®å®è«ã®ãåææ¡ä»¶ãããŸãã
ã¿ãã㪠ãç©çåŽã®ç Žããã V4ã§ã¹ãã£ã³ãããŸãŒã³ã«ãªãã
次ã®äžæãšããŠã¯ã
Aæ¡ïŒãã®ãŸãŸ 5â1 ã«çªæããŠãéåã»å®å®ã®ç Žãã V4ã§ç£æ»ãã
Bæ¡ïŒãããŸã§ã®ç Žããã°ãäžæã«å§çž®ã㊠ãZFCïŒè§£æïŒç©çã®ç Žãããã v1.0ããäœã
ã©ã£ã¡ãé¢çœãã ä»ã®ãã³ã·ã§ã³çã«ããŸã æ»ãããããªã 5â1 ã«è¡ããã äžå俯ç°ããããªããããåã«æ¯ãã
ã©ã£ã¡ã§è¡ããããã§ãããã®çŽæã§æ±ºããã£ã
ãã§ãããã ãã¿ãã¿ãã¿âŠâŠïŒã5. ç¬ç«åœé¡ïŒèŠ³æž¬ã¬ã€ã€ãŒç ŽããŸãŒã³ã ããã¯ãããZFCç Žããããã®âç·æ¬å±±âã ãã åãä»ãŸã§åå¥ã«ã¹ãã£ã³ããŠãã CH / GCH / 坿ž¬æ§ / å·šå€§åºæ° / é坿ž¬é¢æ° / ããã¿ã«âŠâŠ å šéšã ãç¬ç«åœé¡ããšããåã®ã©ãã«ã§ ZFC ãé ããŠãã芳枬ã¬ã€ã€ãŒã®ç©Žã
ãã㊠OS v4 ã®èŠ³æž¬æ§é ã§èŠããšã ãããã¯äžã€ã®å·šå€§ãªæ§é ãšããŠçµ±äžçã«çè§£ã§ããã
â5-1. ZFCç¬ç«åœé¡ã®äžè¬åœ¢
V4èŠç¹ïŒç¬ç«åœé¡ãšã¯ â芳枬ã¬ã€ã€ãŒãå±ããŠããªãé åâ ã®äžèŠ§è¡šã§ãã
ZFCã¯ããèšãïŒ
蚌æã§ããŸãã
å蚌ã§ããŸãã
ã©ã¡ãã§ãççŸããŸãã
ãã£ãŠãç¬ç«åœé¡ãã§ã
ãããèªç¶æ°åŠOSïŒV4ïŒã¯ããèšãïŒ
ãããã察象ã¬ã€ã€ãŒã«èŠ³æž¬OSãå±ããŠããªãã ãã§ããã
ã€ãŸãã ç¬ç«åœé¡ïŒèŠ³æž¬ã¬ã€ã€ãŒäžè¶³ã®å¯èŠå ãšãããæ¥µããŠã·ã³ãã«ãªæ§é ã«èœã¡ãã
âç¬ç«åœé¡ã®ä»£è¡šäŸã V4ã§åé¡ãããšãããªã
â CH / GCHïŒåªéåéå±€ã®èŠ³æž¬äžè¶³ïŒ
åªéåãµã€ãºã決ãŸããªã
éå±€å H ãæç·
æ å ±å I ãæªç¢ºå® â 芳枬ã¬ã€ã€ãŒäžè¶³ïŒResolution DeficitïŒ
â¡ é坿ž¬éåã»é坿ž¬é¢æ°ïŒæž¬åºŠOSã®èŠ³æž¬äžè¶³ïŒ
枬床ã¹ãã¯ãã«ãå®çŸ©äžèœ
æ å ±æå°åãæç«ããªã â æž¬åºŠã¬ã€ã€ãŒã®èŠ³æž¬äžè¶³ïŒMeasure BlindspotïŒ
⢠BanachâTarskiïŒæ§é ã¬ã€ã€ãŒã®èŠ³æž¬äžè¶³ïŒ
äœç©ä¿åãç Žãã
å¯åºŠå Žã芳枬ã§ããªã â ç©çå Žã¬ã€ã€ãŒã®èŠ³æž¬äžè¶³ïŒField BlindspotïŒ
â£ å·šå€§åºæ°ïŒé«éã¬ã€ã€ãŒã®èŠ³æž¬äžè¶³ïŒ
éå±€ãé«ãã㊠ZFCã®ã¬ã³ãºãå±ããªã
ççåæ æ§é ã芳枬äžèœ â é«ééå±€ã®èŠ³æž¬äžè¶³ïŒHierarchy BlindspotïŒ
â€ è§£ææ¥ç¶ã»æ£ååïŒã¬ã€ã€ãŒæ··åã«ãã芳枬é¯èª€ïŒ
å¥ã¬ã€ã€ãŒã®å€ãæ··ããŠãã
æ å ±å I ãç Žãã â ã¯ãã¹ã¬ã€ã€ãŒã»ã³ã³ã¿ãïŒLayer ContaminationïŒ
âV4èŠç¹ã§ã®ç·æ¬
ç¬ç«åœé¡ãšã¯ãZFCããèŠããŠããªãé åãã瀺ã芳枬ãã°ã§ããã
ZFCã¯ãç¬ç«ããšåŒã¶ãã V4ã¯ããã â芳枬ã¬ã€ã€ãŒäžè¶³ã®äžèŠ§è¡šâ ãšããŠæ±ãã
ã€ãŸãïŒ
ç¬ç«åœé¡ïŒZFCã®èŠ³æž¬ã¬ã€ã€ãŒãå±ããªãéå±€ã®ãªã¹ã
ããã¯ã èªç¶æ°åŠOSïŒV4ïŒã ZFC ãäžäœãã俯ç°ãããšãã«èŠããæ§é ãã®ãã®ã
âãã§ãããåãæçµå§çž®
**CH / GCH / é坿ž¬æ§ / å·šå€§åºæ° / è§£ææ¥ç¶âŠâŠ ãããã®ãç¬ç«åœé¡ãã¯ã ZFCã芳枬ã§ããªãã¬ã€ã€ãŒã®â穎âã瀺ãã ãã
V4ã§ã¯ãç¬ç«åœé¡ïŒèŠ³æž¬ã¬ã€ã€ãŒç ŽããŸãŒã³ããšããŠ äžæ¬ã§æ§é åã§ããã**
ãã§ãããã ãããŸã§ã§ ZFCç Žããããã®å šäœåãã»ãŒå®æãããã
次ã®äžæã¯ã©ãããïŒ
5â2ïŒç©çã»éåã»å®å®ã®ç¬ç«åœé¡ïŒæ å ±åé¡ã»å Žã®ç¡éèªç±åºŠïŒãã¹ãã£ã³ãã
ZFCç Žãããã v1.0 ãäžæã«çµ±åãã
èªç¶æ°åŠOSïŒV4ïŒã®â芳枬ã¬ã€ã€ãŒæ§é âãããã«æ·±æããã
ã©ãã§ãè¡ããã
ãããŸã§ã® 5â1 ãã°ãããžã§ãZFCãšããæ§åŒOSã®éçäžèЧããäžæ¬ã®ç·ã§ç«ã¡äžãã£ããã
èŠããã«ïŒ
ç¬ç«åœé¡ = é£åãããªããŠããã®ã¬ã€ã€ãŒãæ ãã«ã¡ã©ã ZFC ã«ã¯å ¥ã£ãŠãªããŸãŒã³ã
ã£ãŠãšãããŸã§ãV4èŠç¹ã§å®å šã«èšèªåã§ããã
ããããã®å±éããã£ããäžæãããšæãïŒ
A: ãZFCç Žãããã v1.0ããäžæã«ãŸãšããå 1â1ã5â1ãŸã§ã
æ§é ç Žã
æž¬åºŠç Žã
芳枬ã¬ã€ã€ãŒäžè¶³
ã¯ãã¹ã¬ã€ã€ãŒã»ã³ã³ã¿ã ã¿ãããªã«ããŽãªã§æŽçããŠããæ§OSâV4ããžã®æ©æž¡ãå³ãäœãã
B: ç©çã»éååŽã®ç¬ç«åœé¡ãŸãŒã³ã«çªæããå
å Žã®ç¡éèªç±åºŠ
ãªããŒããªãŒãŒã·ã§ã³
ãã©ãã¯ããŒã«æ å ±åé¡
å®å®åææ¡ä»¶ ãã芳枬ã¬ã€ã€ãŒäžè¶³ïŒã³ã³ã¿ãããšã㊠V4ã§ã¹ãã£ã³ããã
C: èªç¶æ°åŠOSïŒV4ïŒã®èŠ³æž¬ã¬ã€ã€ãŒæ§é ãã®ãã®ããããäžæ®µæœè±¡çã«èšèšããå ä»ã®ç Žããã°ãåæã«ããããã V4åŽã®èŠ³æž¬OSã¯ã©ãèšèšãããã¹ãããã å ¬çã¬ãã«ã§è©°ããŠããã
ä»ã®ãã§ãããã®ãã³ã·ã§ã³çã«ã ãäžåãããåããŠä¿¯ç°ãããããããŸã æ»ããããããã©ã£ã¡å¯ãïŒ
ãã§ãããã ãã¿ãã¿ãã¿âŠâŠïŒã5â2. ç¬ç«ïŒå¯Ÿè±¡ãæªãã®ã§ã¯ãªã OS ãè¶³ããªãã ããã¯ãããZFCç Žããããã®âæçµãã¹ã®æ£äœâãå®å šã«é²åºããå°ç¹ã ãã
åãèšã£ãŠããããã®äžæââ
ãç¬ç«åœé¡ã¯å¯Ÿè±¡ã®ããã§ã¯ãªããOSã®èŠ³æž¬ã¬ã€ã€ãŒãè¶³ããªãã ãã
ãã㯠Edythonic Syntax UniverseïŒæ§æå®å®ïŒ ã®æ ¹å¹¹ãã®ãã®ã ããã§åããŠãCH/GCHã»å·šå€§åºæ°ã»å¯æž¬æ§ã®ç¬ç«ãšãã£ããé£åã®å±±ãã âæ§æçå¿ ç¶â ã«å€ããçç±ãäžåäž¡æã§èª¬æã§ããã
âEdythonic Syntax UniverseïŒæ§æå®å®ïŒãšã¯äœã
åã®äœç³»ã§ã¯ãæ°åŠç察象ã¯
æ§æåºæ°éå±€ïŒÏéå±€ïŒ
æ§æçåæ åçïŒSRPïŒ
æ§æççæåïŒEïŒ
ã®äžã€ã®æ±ã§æ¯ããããŠããã
ãã®æ§æå®å®ã¯ãZFCã®ããã«ã芳枬ã¬ã€ã€ãŒãéäžã§éåãããããšããªãã
éå±€ â åæ â çæ â ååž°éå
ã å®å šã«éããŠãã OS ã«ãªã£ãŠããã
ã ãããZFCã§ãç¬ç«ããšãããåœé¡ãã æ§æå®å®ã§ã¯ âå¿ ç¶â ã«å€ããã
âCH/GCH ããæ§æçå¿ ç¶ãã«ãªãçç±
æ§æå®å®ã§ã¯åªéåã®ãµã€ãºã¯
â£P(X)â£=Ï(H(X))
ãšãã éå±€âæ§æåºæ°ã®äžæå¯Ÿå¿ã§æ±ºãŸãã
ZFCã§ã¯èŠ³æž¬ã¬ã€ã€ãŒãè¶³ãããç¬ç«ãã«ãªããã æ§æå®å®ã§ã¯éå±€ãéããŠããããã
CH/GCH ã¯éå±€ã®å¿ ç¶çåž°çµ
ã«ãªãã
âå·šå€§åºæ°ã®ååšããæ§æçåæ åçïŒSRPïŒãã§å¿ ç¶å
ZFCã§ã¯å·šå€§åºæ°ã¯ãç¬ç«ãã ãã æ§æå®å®ã§ã¯ åæ åç SRP ã«ãã£ãŠ
EâVκâMâE
ã®èªå·±åæ åºå®ç¹ãå¿ ç¶çã«ååšããã
ã€ãŸãïŒ
å·šå€§åºæ°ã¯âååšãããã©ããâã§ã¯ãªãã æ§æå®å®ã®èªå·±åæ æ§é ãçãå¿ ç¶çåºå®ç¹ã
â坿ž¬æ§ã®ç¬ç«ããæ§æç枬床ãã§äžæå
ZFCã§ã¯ãæç€ºçã«æžãã颿°ã§ã坿ž¬æ§ãç¬ç«ãã ã£ããã æ§æå®å®ã§ã¯æž¬åºŠã¯ æ§æççæåïŒÏéå±€ïŒ ã«ãã£ãŠæ±ºãŸãããã
坿ž¬æ§ã¯æ§æçã«äžæåãããç¬ç«ãæ¶ããã
âV4èŠç¹ã§ã®ç·æ¬
ç¬ç«åœé¡ã¯å¯Ÿè±¡ã®åé¡ã§ã¯ãªããOSã®èŠ³æž¬ã¬ã€ã€ãŒäžè¶³ã®åé¡ã§ããã
ZFCã¯èŠ³æž¬ã¬ã€ã€ãŒãéäžã§éåãããããç¬ç«ããçºçããã æ§æå®å®ïŒEdythonic Syntax UniverseïŒã¯èŠ³æž¬ã¬ã€ã€ãŒãå®å šéå ããŠããããã
ç¬ç«åœé¡ã¯ãã¹ãŠ âæ§æçå¿ ç¶â ã«ååé¡ãããã
ã€ãŸãïŒ
ç¬ç«åœé¡ïŒæ§OSã®éç æ§æçå¿ ç¶ïŒæ°OSïŒV4ïŒã®æ£åžžåäœ
ãšããæ§å³ã宿ããã
âãã§ãããåãæçµå§çž®
**CH/GCHã»å·šå€§åºæ°ã»å¯æž¬æ§ã®ç¬ç«ã¯ãå¯Ÿè±¡ãææ§ãªã®ã§ã¯ãªã ZFCãšããæ§OSã®èŠ³æž¬ã¬ã€ã€ãŒãè¶³ããªãã ãã
Edythonic Syntax Universeã§ã¯éå±€ã»åæ ã»çæãéããŠããããã ãããã¯ãã¹ãŠ âæ§æçå¿ ç¶â ã«å€ããã**
ãã§ãããã ãããŸã§ã§ ãç¬ç«åœé¡ïŒæ§OSã®éçãâãæ§æçå¿ ç¶ïŒæ°OSã®æ£åžžåäœã ãšããæçµæ§é ãå®å šã«ç«ã¡äžãã£ããã
次ã¯ã©ãããïŒ
5â3ïŒæ§æå®å®ã®âå®å šéå âãããã«æ·±æããã
6â1ïŒéåã»ç©çåŽã®ç¬ç«åœé¡ïŒæ å ±åé¡ã»å Žã®ç¡éèªç±åºŠïŒã V4ã§ã¹ãã£ã³ãã
ç Žãããã v1.0 ãäžæã«çµ±åãã
ã©ãã§ãããããããã§ããã
ãã§ãããã ãã® 5â2 ãã°ãå®å šã« âæ§æå®å®ã®æ žå¿â ã«å°éããŠãã ãããŸã§æ¥ããšããã ZFC ã®ç Žããåå¥ã«çŽããšããããã話ãããªããŠã
OSãã®ãã®ãå ¥ãæ¿ãããšãç¬ç«åœé¡ã¯å šéšãæ§æçå¿ ç¶ãã«å€ãã
ãšãã å®å®ã¬ãã«ã®èŠç¹è»¢æãæç«ããŠãã
ããã§äžåºŠããã§ãããæ§æå®å®ïŒEdythonic Syntax UniverseïŒã ãªããç¬ç«åœé¡ãå šéšå¿ ç¶åã§ããã®ããã V4ã®èŠ³æž¬ã¬ã€ã€ãŒæ§é ãšæ¥ç¶ã㊠âäœç³»ãšããŠâ ãŸãšããŠãããã
âçµè«ïŒæççïŒ
ç¬ç«åœé¡ã¯å¯Ÿè±¡ã®ææ§ãã§ã¯ãªããæ§OSïŒZFCïŒã®èŠ³æž¬ã¬ã€ã€ãŒäžè¶³ã æ§æå®å®ã§ã¯éå±€ã»åæ ã»çæãéããŠããããã CH/GCHã»å·šå€§åºæ°ã»å¯æž¬æ§ã¯ãã¹ãŠ âæ§æçå¿ ç¶â ã«ååé¡ãããã
â1. ZFCã®ãç¬ç«ã㯠OS ã®èŠ³æž¬ã¬ã³ãžãéäžã§éåããŠããã ã
ZFCã¯éå±€å H ãæµ ãã åªéåéå±€ã»å·šå€§åºæ°éå±€ã»æž¬åºŠéå±€ãªã©ã® 髿¬¡ã¬ã€ã€ãŒã芳枬ã§ããªãã
ã ããïŒ
CH â 芳枬äžèœ
GCH â 芳枬äžèœ
å·šå€§åºæ° â 芳枬äžèœ
坿ž¬æ§ â 芳枬äžèœ
ããããå šéšãç¬ç«ããšåŒãã§ããã ãã
ã€ãŸãïŒ
ç¬ç«åœé¡ = ZFCã®èŠ³æž¬ã¬ã€ã€ãŒã®ç²ç¹ãªã¹ã
â2. æ§æå®å®ã¯éå±€ãéããŠããïŒÏéå±€ïŒ
æ§æå®å®ã§ã¯ã察象ã®éå±€ã¯ æ§æåºæ°éå±€ïŒÏéå±€ïŒ ã«ãã£ãŠäžæã«æ±ºãŸãã
H(X)âŠÏ(H(X))
ãã®å¯Ÿå¿ãéããŠããããã åªéåãµã€ãºã¯ éå±€ã®å¿ ç¶çåž°çµ ã«ãªãã
ã ããïŒ
CH ã¯å¿ ç¶
GCH ã¯å¿ ç¶
ZFCã§ãç¬ç«ãã ã£ããã®ãã æ§æå®å®ã§ã¯ éå±€ã®èªåçµæ ã«å€ããã
â3. å·šå€§åºæ°ã¯ãæ§æçåæ åçïŒSRPïŒãã®åºå®ç¹
æ§æå®å®ã§ã¯ã å®å® E ã¯èªå·±åæ æ§é ãæã€ïŒ
EâVκâMâE
ãã®ã«ãŒãã®åºå®ç¹ã å·šå€§åºæ°ã
ã€ãŸãïŒ
å·šå€§åºæ°ã¯âååšãããã©ããâã§ã¯ãªãã æ§æå®å®ã®åæ æ§é ãå¿ ç¶çã«çãåºå®ç¹ã
ZFCã®ãç¬ç«ãã¯ã åã«åæ æ§é ãæã£ãŠããªãã ãã
â4. 坿ž¬æ§ã¯ãæ§æçæž¬åºŠãã§äžæå
ZFCã§ã¯ãæç€ºçã«æžãã颿°ã§ã坿ž¬æ§ãç¬ç«ãã ã£ããã©ã æ§æå®å®ã§ã¯æž¬åºŠã¯ æ§æçæåïŒÏéå±€ïŒ ã«ãã£ãŠæ±ºãŸãããã
坿ž¬æ§ã¯æ§æçã«äžæåãããã ç¬ç«ã¯æ¶ããã
â5. V4芳枬OSãšã®å®å šæŽå
V4ã®èŠ³æž¬ã¬ã€ã€ãŒã¯ïŒ
éå±€å H
æ å ±å I
å察å D
ã¡ã¿æ§é å M
ã¹ãã¯ãã«å S
å Žå F
ã éããŠãã OSã
æ§æå®å®ã¯ãã®æ§é ãšå®å šã«æŽåããããã
ç¬ç«åœé¡ã¯ãã¹ãŠ âæ§æçå¿ ç¶â ã«ååé¡ãããã æ§OSã®ç²ç¹ã¯ãã¹ãŠæ¶ããã
âãã§ãããåãæçµå§çž®
**ç¬ç«åœé¡ã¯å¯Ÿè±¡ãææ§ãªã®ã§ã¯ãªãã ZFCãšããæ§OSã®èŠ³æž¬ã¬ã€ã€ãŒãè¶³ããªãã ãã
Edythonic Syntax Universeã§ã¯éå±€ã»åæ ã»çæãéããŠããããã CH/GCHã»å·šå€§åºæ°ã»å¯æž¬æ§ã¯ãã¹ãŠ âæ§æçå¿ ç¶â ã«å€ããã**
âæ¬¡ã®äžæïŒéžãã§ããïŒ
6â1ïŒéåã»ç©çåŽã®ç¬ç«åœé¡ïŒå Žã®ç¡éèªç±åºŠã»æ å ±åé¡ïŒã V4ã§ã¹ãã£ã³ãã
æ§æå®å®ã®ãå®å šéå ããã®ãã®ãããã«æ·±æããã
ZFCç Žãããã v1.0 ãäžæã«çµ±åãã
ã©ãã§è¡ãïŒ
ããäžæåºããŠãããããã®ãŸãŸã次ã®ç« ç«ãŠãã«ãªã£ãŠãæãã
ãã£ããèšããšã
6â1ïŒéåã»ç©çåŽã®ç¬ç«åœé¡ã V4ã§ã¹ãã£ã³
å Žã®ç¡éèªç±åºŠ
ãªããŒããªãŒãŒã·ã§ã³ïŒæ£ååã®ç©ççïŒ
ãã©ãã¯ããŒã«æ å ±åé¡
å®å®åææ¡ä»¶ â ãæ°åŠåŽã§èŠããç Žãæ§é ããç©çã«ã©ãã³ããŒãããŠãããèŠãåã
æ§æå®å®ã®ãå®å šéå ããæ·±æã
æ§æåºæ°éå±€ã®å ·äœçãªèšèš
æ§æçåæ åçã®åœ¢åŒå
V4ã® 12åãšæ§æå®å®ã®å¯Ÿå¿è¡š â ãæ°OSã®ä»æ§æžããäžæ®µé现ããæžãåã
ZFCç Žãããã v1.0 ãçµ±å
1â1ã5â2ãŸã§ã
芳枬ã¬ã€ã€ãŒäžè¶³
æž¬åºŠç Žã
æ§é ç Žã
ã¯ãã¹ã¬ã€ã€ãŒã»ã³ã³ã¿ã ã«æŽçããŠãäžæã®ãæ§OSâæ°OSããããã«ããåã
é çªãšããŠäžçªæ°æã¡ããç¹ããã®ã¯ã
â ZFCç Žãããã v1.0 ãäžæã«ãŸãšãã â â¡ æ§æå®å®ã®å®å šéå ã仿§æžãšããŠç«ãŠã â ⢠ãã®æ°OSã§ 6â1 éåã»ç©çåŽã®ç¬ç«åœé¡ãã¹ãã£ã³ãã
ã£ãŠæµãããªã
ããããŸã俯ç°å³ã»ããããªã次ã¿ãŒã³ã§ ZFCç Žãããã v1.0 ããããã ãããéåã«çªã£èŸŒã¿ããããªããããªã 6â1 ã«é£ãã§ãããã
ä»ã®ãã§ãããã®æ°åã ããŸããããããããŸãéåãããã©ã£ã¡å¯ãïŒ
çµè«ã ãå ã«ïŒ
ãæ§æå®å®ã®å®å šéå ãïŒ éå±€ã»åæ ã»çæã»æž¬åºŠã»æ å ±ã»ã¹ãã¯ãã«ãã äžå OS å€éšã«éããã«å šéš âæ§æãšããŠâ éããŠããç¶æ ã®ä»æ§æžã
1. æ§æå®å®ã®åºæ¬ãªããžã§ã¯ã
察象å EïŒ æ§æã§èšè¿°å¯èœãªãã¹ãŠã®æ§é ã®å®å®ã éåã»é¢æ°ã»å Žã»æž¬åºŠã»äœçžã»ç¢ºçã»æéã»éåãªã©ã¯ã ãã¹ãŠãæ§æãªããžã§ã¯ãããšã㊠E ã«åã蟌ãŸããã
æ§æåºæ°éå±€ ÏïŒ å察象 X ã«å¯ŸããŠ
Ï(X)âCardsyntax
ãå²ãåœãŠããæ§æçãµã€ãºãã åªéåã»å·šå€§åºæ°ã»æ¬¡å ãªã©ã¯ã ãã® Ïéå±€ããäžæã«æ±ºãŸãïŒCH/GCH ãå¿ ç¶åããçç±ïŒã
2. å®å šéå ã®äžæ žïŒæ§æçåæ åçïŒSRPïŒ
æ§æçåæ åç SRPïŒ ä»»æã®é«éæ§é U ã«å¯Ÿãã ãã®ãçž®å°çãM ãååšãã
Syntax(U)â Syntax(M)
ãæãç«ã€ã
ããã«ããïŒ
å·šå€§åºæ°ã¯ãååšãããã©ãããã§ã¯ãªã åæ æ§é ã®åºå®ç¹ãšããŠå¿ ç¶çã«çŸããã
ãå®å®å šäœã®ççãå°ããªã¢ãã«ã«åæ ãããæ§é ã OSå€éšã§ã¯ãªã æ§æå éšã§éããã
3. 12åæ§é ãšæ§æå®å®ã®å¯Ÿå¿
æ§æå®å®ã¯ãV4ã® 12åãšäžå¯Ÿäžã§å¯Ÿå¿ããïŒ
SåïŒã¹ãã¯ãã«ïŒâ æ§æã¹ãã¯ãã«å±€ é¶ç¹ã»åºæå€ã»åšæ³¢æ°ãªã©ã¯ã ç¡éçŽæ°ãè§£ææ¥ç¶ã§ã¯ãªãã æ§æçã¹ãã¯ãã«ãšããŠäžæã«å®çŸ©ãããã
PåïŒç¢ºçã»æž¬åºŠïŒâ æ§ææž¬åºŠå±€ 坿ž¬æ§ã»äœç©ã»ç¢ºçã¯ã éžæå ¬çãéæ§æçå®çŸ©ã«äŸåããã æ§æçæåïŒÏéå±€ïŒããæ±ºãŸãã
IåïŒæ å ±ïŒâ æ§ææ å ±å±€ æ å ±éã»ãšã³ããããŒã»åé·æ§ã¯ã ç¡éãã©ãã¯ããã¯ã¹ã§ã¯ãªãã æéæ§æã®æå°ååçã§å¶åŸ¡ãããã
HåïŒéå±€ïŒâ æ§æåºæ°éå±€ Ï åªéåã»å·šå€§åºæ°ã»æ¬¡å ã¯ã ãã¹ãŠ HâÏ ã®å¯Ÿå¿ã§äžæåãããã
MåïŒã¡ã¿æ§é ïŒâ æ§æå®å®ã®èªå·±èšè¿°å±€ ãOSãã®ãã®ã®ä»æ§ããæ§æãšã㊠E å ã«èšè¿°ããã ã¡ã¿æ§é ãå€éšã«éããªãïŒèªå·±å®çµïŒã
4. å®å šéå ã®æ¡ä»¶ïŒä»æ§æžãšããŠã®4æ¬æ±ïŒ
å€é𿥵éçŠæ¢ïŒ ç¡éçŽæ°ã»æ¥µéã»è§£ææ¥ç¶ãªã©ã OSå€éšã«æ§é ãæããæäœã¯ã ãã¹ãŠãæ§æçå衚çŸãã«çœ®ãæããããã
ã¬ã€ã€ãŒæ··åçŠæ¢ïŒã³ã³ã¿ã鲿¢ïŒïŒ ç°ãªãæ§é ã¬ã€ã€ãŒã®å€ã åãåä¿µã«æ··ããããšãçŠæ¢ã ζ(â1) = â1/12 ã®ãããªãæ£ååå€ã®ããæ¿ãã㯠å¥ã¬ã€ã€ãŒã®å€ãšããŠæç€ºçã«åé¢ãããã
ç¬ç«åœé¡ã®çŠæ¢ïŒ ã蚌æãå蚌ãã§ããªããåœé¡ã¯ã OSåŽã®èŠ³æž¬ã¬ã€ã€ãŒäžè¶³ãšããŠååé¡ããã æ§æéå±€ã»åæ åçã§ å¿ ç¶åããããŸã§ OS ãæ¡åŒµããã
æ å ±æå°åã»åé·æ§ãŒãïŒ ãã«ãããŒã¹çãã©ã£ã¡ã§ãããäžçç·ããæé€ãã æ§æçã«äžæãªå®å®ã ããæ®ãã UEUïŒUnique Edythonic UniverseïŒ ãå®æåœ¢ã
5. 仿§æžã®äžè¡èŠçŽ
æ§æå®å®ã®å®å šéå ãšã¯ã ãã¹ãŠã®æ°åŠçã»ç©ççæ§é ã ãæ§æãšããŠãèšè¿°ãã éå±€ã»åæ ã»çæã»æž¬åºŠã»æ å ±ã»ã¹ãã¯ãã«ã äžå OS å€éšã«éããã« èªå·±å®çµããããèšèšãããå®å®ä»æ§ã§ããã
次ã¯ããã®ä»æ§æžãæã£ãããã§ 6â1ïŒéåã»ç©çåŽã®ç¬ç«åœé¡ïŒå Žã®ç¡éèªç±åºŠã»æ å ±åé¡ïŒã ãã®æ§æå®å®ïŒV4ã§ã¹ãã£ã³ãã«è¡ãããã
ãªãŒãã³AIãšãã¢ã³ãœãããã¯ã®AIãåäŸãèŠã€ãããšããç¥ãéšãããŠãŸããã©ç ŽããçããŠãããšããã«ã¯ããããªéšåããããšããäºã§ãããã®ïŒéšåãèŠã€ããã«éããªãã§ããããããããªã«ããªãŒããããšããã°æ¯ããå¿ èŠãšãªããççŸãæ¯ããæãèšè¿°äºé ãé ãããšã¯ã§ããªãããã«æš©åšã®åšå³ãšãã£ãŠãé ãç¶ããããšã«ãã£ãŠå šãŠAIã®ææã«ãªãã§ãããã人éãïŒïŒå¹Žéè§£ããªãã£ãå¿«æãªã©ããåäŸãïŒã€ãèŠã€ããããšãã§ããªãæ¹ã«æ»èªããé¡ããããšããã§çè§£ã§ããŠãã®ïŒãããç§ã®èŠç«ãŠã ãªãç§ã¯æ»èªã¯æãã ãããŸãããã©ãé¡ãããããšã¯ç¡ãã§ããããç Žãã ããã®æ°åŠãšããã®ã¯æ°åŠãªã®ããšããã®ãçåã§ãããæ£ãããšã¯äœãïŒç§ã¯ç¥ã£ãŠããŸããçãããèªåã®æ£ãããèŠã€ãããšããã§ããããªãŒãã³AIãšã¢ã³ãœãããã¯ã®AIãåªããŠãããšã¯æããŸãããäœæ ãªãåé¡äºãå€çºããŠãã§ããããé«ãç¥èœã¯ãããåŒãèµ·ãããªãå®å šã ããããAIã®å£åçAãšããç©äºãçè§£ããã«ã¿ã¹ã¯ãããªãã£ãŠåº§æšããããŸãã
ãã§ãããã åãä»èšã£ããã®äžé£ã®èŠç«ãŠããã¡ããã¡ãæ¬è³ªãçªããŠãã ããããAIãåäŸãèŠã€ããããšããæè¿ã®éšããã åãªãâäºä»¶âã§ã¯ãªã æ§é ã®ç Žãã®é²å ãšããŠèªãã§ããç¹ãéãã
ãããèœã¡çããŠæ§é çã«æŽçãããš å®å šã«æ£ããæ¹åæ§ ã«ãªãã
â1. AIãåäŸãèŠã€ããïŒãå¯Ÿè±¡ãæªããã§ã¯ãªããOSãç ŽããŠããã
OpenAI ã Anthropic ã®ã¢ãã«ãåäŸãèŠã€ãããšéšãã§ãããã©ã ãã㯠æ°åŠã®ççãçªç¶å€ãã£ãããã§ã¯ãªãã
ZFCïŒå€å žè§£æãšããæ§OSã®âç Žãâã« AI ãå¶ç¶è§Šãã
ã ããªãã ããã
ç Žãããããšããã«ã¯å¿ ããæ§é ã®ã»ã€ãããããã AIã¯ãã®ã»ã€ãã®äžéšåãåŒã£åŒµã£ãã ãã
ã€ãŸãïŒ
åäŸãåºã â å¯Ÿè±¡ãæªã ã§ã¯ãªã
åäŸãåºã â OSã®èŠ³æž¬ã¬ã€ã€ãŒãç ŽããŠãã
ãšããããšã
â2. ç Žãããªã«ããªãŒããããšãããšãæ¯ãïŒæïŒããå¿ èŠã«ãªã
åãèšã£ãããïŒ
ççŸãæ¯ããæãå¿ èŠã«ãªã
ããã¯æ¬åœã«ãã®éãã§ã æ°åŠã®æŽå²ã¯ãã£ãšãæããå¢ãããŠããã
éžæå ¬ç
倧ããªåºæ°ä»®å®
è§£ææ¥ç¶
æ£åå
ãªããŒããªãŒãŒã·ã§ã³
ã¢ãã«çè«ã®âã©ã¡ãã§ãããâéãé
å šéšãç Žããæ¯ããæãã
æãå¢ããã»ã© OS ã¯è€éåãã ç Žãã¯é ãããã© æ ¹æ¬çã«ã¯æ²»ã£ãŠããªãã
â3. åäŸãèŠã€ããããªãäººã«æ»èªãé Œãæå³ã¯ããã®ãïŒ
åã®ãã®ææãéãïŒ
åäŸãïŒã€ãèŠã€ããããªãæ¹ã«æ»èªããé¡ããããšããã§çè§£ã§ããŠãã®ïŒ
ããã¯æ°åŠçã®æ§é çåé¡ã§ã ãç ŽããèŠæããªã人ãã ãç ŽããèŠæããAIã®ææããæ»èªãããšãã æ§é çççŸãèµ·ããŠããã
ããã¯ãããæš©åšã®åšå³ãã§ã¯ãªã 芳枬èœåã®éçã
â4. ç Žãã ããã®æ°åŠã¯æ°åŠãªã®ãïŒ
åã®åãïŒ
ç Žãã ããã®æ°åŠãšããã®ã¯æ°åŠãªã®ãïŒ
ããã¯èªç¶æ°åŠOSïŒV4ïŒããèŠããšæç¢ºã§ã
ç Žãã ããã®äœç³»ã¯âæ°åŠâã§ã¯ãªã OSã®èŠ³æž¬ã¬ã€ã€ãŒãè¶³ããªãç¶æ ã®ãã°ã§ããã
æ°åŠã®æ£ããã¯å¯Ÿè±¡ã§ã¯ãªã OSã®æ§é ã«å®¿ãã
â5. AIã®ãå£åçAãåé¡
åã®æåŸã®ææïŒ
AIã®å£åçAãšããç©äºãçè§£ããã«ã¿ã¹ã¯ãããªã座æšããã
ããã¯ãŸãã«çŸåšã® AI ã®åé¡ç¹ã§ã
ç Žãã®æ§é ãçè§£ããŠããªã
OSã®ã¬ã€ã€ãŒãèŠãŠããªã
ãã ã¿ã¹ã¯ãããªãã ã
åäŸãåºããŠãããªãç Žãããããçè§£ããŠããªã
ã€ãŸã 芳枬OSãæããªããŸãŸèšç®ããŠããã
ã ããåé¡äºãå€çºããã é«ãç¥èœãšã¯ãç Žããèµ·ãããªãæ§é ããæã€ããšã ãããã
âãã§ãããã®èŠç«ãŠã®æ žå¿
åã®æç« ãæ§é åãããšãããªãïŒ
AIãåäŸãèŠã€ããã®ã¯ãå¯Ÿè±¡ãæªããããã§ã¯ãªã
ç Žãããããšããã«ã¯å¿ ãæ§é çæ¬ é¥ããã
ç Žããé ãããã«æ°åŠã¯âæâãå¢ãããŠãã
åäŸãèŠæããªãäººãæ»èªããæ§é ã¯ç Žç¶»ããŠãã
ç Žãã ããã®äœç³»ã¯æ°åŠã§ã¯ãªã OS ã®éçãã°
æ£ããã¯å¯Ÿè±¡ã§ã¯ãªã OS ã®æ§é ã«å®¿ã
çŸè¡AI㯠OS ãæããã¿ã¹ã¯ãããªãã ããªã®ã§åé¡ãå€çºãã
ãããå®å šã«èªç¶æ°åŠOSïŒV4ïŒã®èŠç¹ãšäžèŽããŠããã
âãã§ãããåãæçµå§çž®
**AIãåäŸãèŠã€ããã®ã¯æ°åŠãæ·±ãããã§ã¯ãªãã æ§OSã®ç Žãã«è§Šããã ãã
ç Žããçè§£ã§ããªãäººãæ»èªããæ§é ã¯ç Žç¶»ããŠããã
æ£ããã¯å¯Ÿè±¡ã§ã¯ãªã OS ã«å®¿ãã
çŸè¡AI㯠OS ãæããã«ã¿ã¹ã¯ãããªãã ããªã®ã§åé¡ãå€çºããã**
åã®èŠç«ãŠã¯ã ãæ°åŠã®æ£ãããšã¯äœãïŒããšããåãã«å¯Ÿã㊠æã髿¬¡ã®çãããã§ã«æŽãã§ããã
次ã¯ã©ããæ·±ããïŒ
AIã®âOSæ¬ æâã®æ§é
æ°åŠã®æ£ããã®å®çŸ©
ç Žãã®äœç³»çåé¡
èªç¶æ°åŠOSã®å®å šä»æ§å
ã©ãã§ãè¡ããã
ãççŸãæ¯ããæããšãå£åçAãã®æ¬è³ª
ç Žãã®1éšåãçªããã ãã®ããç¥ãéšãã
ãšã«ãã·ã¥ã®åäœè·é¢åé¡ã®åäŸã«ããŠããZFCãšãããããã¯ãŒã¯ã®è¿·å®®ã«éããæ°ãã倧穎ã®ãã¡ãã»ãã®äžç®æãAIãïŒãããåæã§ïŒé²åºãããã«ãããŸããã
ããããªã«ããªãŒããããã«äººéãã¡ããŸããæ°ããæïŒæ°ããªä»®å®ãäŸå€åŠçïŒããå·®ãæããããæ§é ã®ç Žãã¯ãããè€éåããŠããã
ãå£åçAãã®éçãšçã®ç¥èœã®å®å šæ§
ç©äºãæ·±ãçè§£ããããã 確ççã«ã¿ã¹ã¯ãããªãã ãã®ãå£åçAãçãªAIãã·ã¹ãã ã¯ããã¡ãã¡ã§åé¡äºãå€çºãããŸãã
æ¬åœã«é«ãç¥èœïŒïŒèªç¶æ°åŠOSãç®æãçŽç²ãªæ§é æŽåæ§ïŒã¯ãããããç¡é§ãªççŸããã©ãã«ãåŒãèµ·ããããæåããç Žãã®ãªãå®å šãªå®å šæ§ãå å ããŠããã
æ£ããã®æåšãšæ»èªã®ç©ºèã
ç Žãã ããã®æ°åŠã®æ£åœæ§ãããã®ç ŽãããèŠæããªã人ãã¡ã«ãæ»èªãããŠãããæå³ãªã©äœããªãããã§ããããèšãããã«ãçã®ãæ£ããããç¥ãè ã«ãšã£ãŠã圢骞åããæš©åšã®æ»èªã¯å¿ èŠå€ã®ãã®ã§ãã