츄잉~ chuing~
 | 분실찾기
 | 다크모드
 | 로그인유지
DB
뉴스
커뮤니티
애니만화
웹툰
이미지
츄온
▲
절대적 무한은 논리를 초월한 개념 아니냐?
풍차의노인 | L:0/A:0 | LV9 | Exp.16%
31/190
| 4-0 | 2022-02-02 13:52:38 | 543 |
[숨덕모드설정] 게시판최상단항상설정가능

절대적 무한을 증명할 수 있는 공리가 아직 없다며.

 

증명할 수 없는 공리가 '아직' 없다는 말은 논리적으로 증명할 수 없다는 뜻과 같지 않냐?

 

만약 먼 미래에 연속체 가설이나 절대적 무한이나 증명할 수 있는 더 큰 공리 체계가 나올 것이기 때문에 스펙으로 칠 수 있다고 주장한다면, 전지전능은 왜 스펙으로 칠 수 없냐?

 

전지전능이 논리적으로 모순임은 누구나 아는 사실이고, 나아가 논리를 초월한 대표적인 개념의 예시야 말로 어쩌면 모순을 가능하게 하는 전지전능이라고 생각함.

 

전술했듯 나중에 더 큰 공리를 만들어서 그것을 증명할 수 있을 거라고 주장하며 스펙으로 친다면 왜 전지전능은 스펙으로 칠 수 없음?

개추
|
추천
4
반대 0
신고
    
[숨덕모드설정] 게시판최상단항상설정가능
반도의군인 [L:57/A:96] 2022-02-02 16:11:05
사실 매시버스도 따지고 보면 전지전능이라 ㄹㅇㅋㅋ
만물유전 2022-02-02 17:31:05
연속체 가설은 너의 말대로 zfc에서는 안됨 근데 괴델이 만든 구성 가능 전체라는 체계가 있는데 거기서는 연속체 가설이 증명가능함
만물유전 2022-02-02 17:36:29
전지전능, 절대적 무한 이런거는 논리의 일관성을 포기하면 주장이 가능하겠지 양진주의(dialetheism) 수용하지않는 주류들에게는 힙스터 처럼 보일듯
풍차의노인 2022-02-02 18:05:43
@만물유전
무슨 말인지 모르겠음. 미안하다.

그러면 그 양진주의자들은 전지전능도 논리 안에 있다고 봄?
풍차의노인 2022-02-02 18:06:31
@만물유전
내가 전에 쓴 글인데, 도달 불가능한 기수와 절대적 무한은 뭐가 다름?

알레프를 아무리 쌓아도 닿을 수 없는 수가 절대적 무한 아님? 게오르기 칸토어가 연속체 가설과 절대적 무한을 주장한건 아는데, 그러면 그 외의 '큰 기수'들은 칸토어가 만든게 아니라 다른 사람이 만든거임?

알레프<큰 기수<절대적 무한 이런 개념으로 내가 이해하면 되겠냐?

어떤 '큰 기수'든 알레프를 쌓아서는 닿을 수 없는 도달 불가능한 기수 이상인 거임? 도달 불가능한 기수가 기준선이고?
만물유전 2022-02-03 19:12:33
@풍차의노인
첫번째 질문 전지전능도 논리로 볼 수 있냐 이거는 초일관 논리체계에서는 그런식의 접근이 가능하겠지

근데 초일관 논리는 고전논리 보다도 보수적인 체계임 논리학의 폭발 원리라는 추론규칙을 받아들이지 않기 때문에 고전논리처럼 폭발원리를 사용해서 어떠한 추론의 결론을 도출할 수 없거든 비슷한 사례로 직관논리 역시 이중부정제거, 귀류법이라는 추론규칙을 받아들이지 않아서 더 보수적인 체계임 즉 초일관 논리가 고전논리보다 우위에 있는 논리체계는 아님
풍차의노인 2022-02-03 19:15:57
@만물유전
사실은 내가 그거 관련해서 글 하나 더 쓰려다가 지워졌는데, 양진주의나 초일관 논리 둘 다 전진주의는 너무 선넘었다해서 논리 폭발은 안나오게 하려는 그런 것들임?

그렇게 알아들으면 되겠나? 철수는 밥을 먹었다. 철수의 형은 밥을 먹지 않았다. 따라서 오바마는 백인이다. 이런 거?
만물유전 2022-02-03 19:23:08
@풍차의노인
큰 기수하고 절대적 무한은 다름 애초에 큰 기수도 어찌되었든 어떠한 집합의 기수임 알레프 가지고 더하고, 곱하고, 거듭제곱 같은짓을 얼마나 하든 도달 불가능 하다는건 맞음 근데 절대적 무한은 어떤 집합의 기수가 아님 왜냐면 칸토어 정리에 의해서 그런건 있을 수 없거든

절대적 무한이 있다면 집합을 뛰어넘는 개념이겠지 절대적 무한이 고유 모임에 속하는지는 나도 모르겠음 일단은 있다면 이름값 하는 ㅈㄴ게 큰 기수라도 집합 수준이니까 절대적 무한보다는 작겠지
로그인을 하시면 댓글작성이 가능합니다.
츄잉은 가입시 개인정보를 전혀 받지 않습니다.
  
즐찾추가 규칙 숨덕설정 글10/댓글1
[일반] 보루토 너무 쌔버리는 wwww [4]
십팔학 | 2022-02-21 [ 153 / 0-0 ]
[일반] 나선환 맞으면 방어가 뚫려!! [4]
지이 | 2022-02-21 [ 130 / 0-0 ]
[일반] 나선환 올려치기 fact [7]
지이 | 2022-02-21 [ 113 / 0-0 ]
[일반] 결국 이 말 아니냐 [1]
지이 | 2022-02-21 [ 108 / 2-0 ]
[일반] 잉센세 일침 ㄷㄷ [1]
지이 | 2022-02-21 [ 109 / 0-0 ]
[일반] 나도 데이몬 빼면 펀나로 보지만 [1]
요그Sothoth | 2022-02-21 [ 127 / 0-0 ]
[일반] 갓오하 제우스 페테 나히아 vs원나vs원펀맨 [5]
행성 | 2022-02-21 [ 217 / 0-0 ]
[일반] 자마스가 최강이다 [3]
조우텐치 | 2022-02-21 [ 248 / 0-0 ]
[일반] 그냥 연출과 보정이 뭔지 이해를 못하는거 같음 [2]
십팔학 | 2022-02-21 [ 176 / 0-0 ]
[일반] 나선환 무시 ㅋㅋㅋ
십팔학 | 2022-02-21 [ 134 / 0-0 ]
[일반] Z프리저와 마인부우의 전투력 격차 vs 미스틱부우와 Z 초 1 베지트의 전투력 격차 [1]
Blackheart | 2022-02-21 [ 184 / 0-0 ]
[일반] '내로남불' [2]
십팔학 | 2022-02-21 [ 157 / 0-0 ]
[일반] 결국 주장은 이거임 [11]
지이 | 2022-02-21 [ 153 / 0-0 ]
[일반] 우기지마라 [4]
지이 | 2022-02-21 [ 161 / 0-0 ]
[일반] 확장된 양상 실재론 이거 지리네 [2]
풍차의노인 | 2022-02-21 [ 227 / 0-0 ]
[일반] 아니 적어도 작중에 저때 말고 깡통달 절단급 딜링 맞고 데미지 없는 장면이라도 있던가
십팔학 | 2022-02-21 [ 137 / 0-0 ]
[일반] 빛이 나루토를 덮었다 라고 나오지 도대체 맞았다고 나온게 어딧음?
십팔학 | 2022-02-21 [ 136 / 0-0 ]
[일반] 안 맞았다고? [1]
지이 | 2022-02-21 [ 122 / 0-0 ]
[일반] 걍 똑같은 예시로 들어줌 [1]
십팔학 | 2022-02-21 [ 250 / 0-0 ]
[일반] 그니까 ㅋㅋ 소설로 묘사하건 그냥 작중으로 묘사하건 뒤덮다고 묘사하지 [8]
십팔학 | 2022-02-21 [ 337 / 6-0 ]
      
<<
<
2051
2052
2053
2054
2055
>
>>
enFree
공지/이벤 | 다크모드 | 건의사항 | 이미지신고
작품건의 | 캐릭건의 | 기타디비 | 게시판신청
PC버전 | 클론신고 | 정지/패널티문의 | HELIX
Copyright CHUING Communications.
All rights reserved. Mail to chuinghelp@gmail.com
개인정보취급방침 | 게시물삭제요청