츄잉~ chuing~

츄잉~ chuing~

츄잉 신고센터 | 패치노트 | 다크모드

근데 이런경우는 어찌하노

아테나

|

L:0/A:0

65/450

LV22 | Exp.14% | 경험치획득안내[필독]

추천 0-0 | 조회 330 | 작성일 2021-03-21 14:43:48

[서브캐릭구경OFF] [캐릭컬렉션구경OFF] [N작품구경OFF]
*서브/컬렉션 공개설정은 서브구매관리[클릭]에서 캐릭공개설정에서 결정할수 있습니다.

[숨덕모드 설정] 숨덕모드는 게시판 최상단에 위치해 있으며 언제든 설정할 수 있습니다.

크게 보기

A캐릭터가 절대적 무한이고

그걸 초월하는 B캐릭터가 ZFC공리계인가 논리 그 자체고

C캐릭터가 그를 초월하는 전지전능이라고 나오면 B캐릭까지만 치는거임? C는 무시까고?

개추

|

추천

0

반대 0

신고

[숨덕모드 설정] 숨덕모드는 게시판 최상단에 위치해 있으며 언제든 설정할 수 있습니다.

루트

일단 A>B임 ZFC 공리계에서는 절대적 무한의 기수의 존재성을 증명할 수 없음 절대적 무한보다 무척이나 작은 큰 기수(large cardinal)의 존재성 조차도 증명이 불가능한데

2021-03-21 15:04:35

추천0

[신고]

아테나

ㄹㅇ?

2021-03-21 15:10:58

추천0

[신고]

루트

조금만 부연 설명을 하자면 큰 기수 같은 것의 존재를 보장 할 수 있다는 말은 ZFC 보다 강한 공리라는 말임 예를들면 괴델이 도입한 구성 가능 전체가 있음 여기서는 ZFC에서는 불가능한 연속체 가설이 성립함 즉 이런식으로 점점 높은 무한을 보장한다는건 그만큼 더욱 많은걸 증명하는게 가능한 공리체계를 가진다고 할 수 있음 이전에 작성한 글에서 복붙해서 잠깐 가져오자면

(초월권에서 사실 스펙업을 하려면 기존세계를 허구로 보는 더 큰 세계 또는 존재가 나오는게 일반적인데 이건 수학에서도 비슷한거 같습니다 현재 공리체계에서는 증명 불가능한 명제를 증명하려면 더 강한 공리체계가 있어야 하는데 배틀위키에서 수학의 기수를 이런 세계를 허구로 보는 초월성을 표현하는데 사용하는 것도 아마 이런 이유 같습니다.

무언가를 허구로 본다 같은 주관적인 표현보다는 수학을 사용하는게 좀더 객관적인 지표처럼 느껴지니까요 실제로 큰 기수(large cardinal)들은 수학에서 표준처럼 사용하는 ZFC 공리계에서는 너무나도 거대해서 그 존재를 증명할 수 없기 때문에 더욱 강한 공리체계를 사용하거든요.)

아무튼 만약 절대적 무한을 보장하는 공리체계가 있다면 그것은 무한히 강력한 공리체계가 아닐까? 적어도 나는 그렇게 생각함

2021-03-21 15:20:46

추천0

[신고]

아테나

그럼 논리 그 자체어야겠넹

2021-03-21 15:25:45

추천0

[신고]

루트

거대한 무한 기수들은 공리계의 한계를 말해주고 공리계는 이러한 기수들의 존재를 보장해주는 관계라서 사실 나는 뭐가 더 상위인가를 따지라고 물어본다면 대답하지 못할 것 같음 이건 그냥 나의 뇌피셜이지만 마티버스와 백색광이 이런 관계가 아닐까 생각함

2021-03-21 15:33:06

추천0

[신고]

형님의칼

언송처럼 되는 거임

2021-03-21 15:08:49

추천0

[신고]

아테나

언송이 뭔데

2021-03-21 15:10:51

추천0

[신고]

형님의칼

절대적 무한 나옴

2021-03-21 15:13:38

추천0

[신고]

[L:18/A:231]

우리형파천

절대적 무한이 아니라 A캐릭터부터 까임

2021-03-21 15:13:56

추천0

[신고]

아테나

@우리형파천

왜 아님? 논리>절대무한이자너

2021-03-21 15:25:04

추천0

[신고]

[L:33/A:602]

마리오

논리라는 개념 그 자체 >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> ZFC 공리계 아님?
공리계가 하나만 있는 것도 아니고 다 논리의 일부일 뿐임

2021-03-21 15:14:10

추천0

[신고]

아테나

그런듯

2021-03-21 15:25:54

추천0

[신고]

의견(코멘트)을 작성하실 수 없습니다. 이유: 30일 이상 지난 게시물, 로그인을 하시면 댓글작성이 가능합니다. 츄잉은 가입시 개인정보를 전혀 받지 않습니다.

즐겨찾기추가 [게시판운영원칙] | [숨덕모드 설정] | 게시판경험치 : 글 10 | 댓글 1

인기글

금서 스케일 관련 소신발언 한다 [39]

열기 닫기

인기글더보기

|

|

|

|

|

|

110622

일반

반물질 차원은 0+++++++...아니냐 [8]

츄잉ㆍ

2021-03-28

0-0

197

110621

일반

시간 정지vs무한속도 [2]

足家之馬

2021-03-28

0-0

141

110620

일반

마티버스, 백색광 전용 티어 제작을 건의합니다 [19]

마리오

2021-03-28

2-0

1093

110619

일반

한대위 어느정도 취급하냐? [2]

농농농

2021-03-28

0-0

136

110618

일반

그나저나 심심해서 말 꺼냈던 ㅈ밥전당이 어쩌다 진짜로 만들어진걸까... [1]

바사삭

2021-03-28

0-0

93

110617

일반

트원픽스는 0티어 애들 서열이 우찌됨? [17]

츄잉ㆍ

2021-03-28

0-0

330

110616

일반

불사 대응 리스트 만들면 티어표 어케 나뉠까

바사삭

2021-03-28

0-0

116

110615

일반

츄잉ㆍ

2021-03-28

0-0

132

110614

일반

따지고보면 황정=오롱코스도 생각해볼 수 있지않음? [2]

가가기

2021-03-28

0-0

164

110613

일반

IPL 같은 경우에는 자료 찾기가 어려운게 가장 큰 문제임 [2]

우리형파천

2021-03-28

0-0

215

110612

일반

IPL은 외계인도 그냥 우주 만들고 다니던데 [9]

우르도르

2021-03-28

0-0

272

110611

일반

웃기는건 자캐딸로 스펙 뇌절할수록 vs에 못써먹는 개노답이됨 [2]

바사삭

2021-03-28

0-0

203

110610

일반

IPL 이렇게 봐도 됨?

조우텐치

2021-03-28

0-0

191

110609

일반

K버스 탄생각?

농농농

2021-03-28

0-0

112

110608

일반

펀퀴들 다 모여봐 [3]

가가기

2021-03-28

0-0

166

110607

일반

퍼펙트 스트라이크vs스트라이크 프리덤

갓리코TENDUG

2021-03-28

0-0

74

110606

일반

'악'은 모조리

파워V강간범

2021-03-28

0-0

85

110605

일반

아니 에반게리온 시발 이거 뭐임? [21]

이이이잉잉

2021-03-28

0-0

263

110604

일반

[ 슈퍼맨 리턴즈 ] 슈퍼맨 vs [ 몬스터버스 ] 삼대장 [8]

조우텐치

2021-03-28

0-0

285

110603

일반

아니시발 근데 총알인터뷰는 우째하냐? [9]

쾌걸고케츠

2021-03-28

0-0

165

110602

일반

요번에 영화로 나온버전의 고질라 vs 현재 지구 [4]

인간사냥개

2021-03-28

0-0

227

110601

일반

나루토 억까 OFF

쾌걸고케츠

2021-03-28

0-0

320

110600

일반

나루토 범위기는 왜 이러냐 [6]

쾌걸고케츠

2021-03-28

0-0

220

110599

일반

처음 언급하긴 했는데 이름 ㅈ밥전당이면 뭔가 좀 그렇긴 하겠다 [2]

바사삭

2021-03-28

0-0

150

110598

일반

불명예전당 4글자로 못 줄이나? ㅋㅋ [2]

마리오

2021-03-28

1-0

299

공지&이벤트 | 접속문제 | 건의사항 | 로고신청 | 이미지신고 | 작품건의 | 캐릭건의 | 기타디비 | 게시판신청 | 클론신고 | 정지/패널티문의 | HELIX
Copyright CHUING Communications. All rights reserved. Mail to chuinghelp@gmail.com | 개인정보취급방침 | 게시물삭제요청