괴델을 위시하는 수리 논리학 질문드립니다

글쓴이
tpou08
등록일
2016-09-26 13:38
조회
6,786회
추천
0건
댓글
6건
1차 양화 논리학의 결정 불가능성은 처치가 이미 증명했고 괴델도 godel's completeness theorem도 1차 논리의 완전함을 보여주었는데요.. 2차 논리를 포함하는 고차 논리는 leon henkin의 model 시도가 있었다고는 하나 1차 논리에 환원되는 결과를 가져왔고 결국 페아노 공리계의 완전성과 무모순성을 그 체계 안에서 증명할 수 없다는 2차 논리의 한계를 명징하게 지적한 godel's incompleteness theorem이 성립하게 되었는데요

제가 궁금한 건 hilbert program의 수정노선을 따르던 겐첸이 초한귀납법(페이노 공리계 밖 즉 순서값을 나태내는 서수까지 확장하여 귀납법 적용)을 활용하여 산술의 무모순성 정리를 증명하였는데요
힐베르트가 원하던 유한적 방법에는 해당되지 않았지만 힐베르트 그 자신도 이 방법을 쓰면 형식 체계의 무모순성을 증명할 수 있는 발판이라 생각하였기에 겐첸의 초한귀납법을 받아들였습니다

회원분들은 괴델의 불완전성의 정리(computable 유한 체계)가 함축하고 있는 본질을 극복할 수 있는 대안으로써의 초한귀납법(무한으로의 확장)을 일반적인 증명의 합의에 포함시킬 수 있다 보시나요?
수학은 한 번 증명되면 다른 학문과는 다르게 객관적 진리의 결과물로 인정받으니 괴델의 논증을 반증하려는 시도는 없겠으나 새로운 증명법으로 그 대안을 겐첸이 제시하였고 그걸 학계에서는 그 방법을 용인하는지 궁금하네요

[이 게시물은 sysop님에 의해 2016-09-29 13:25:32 자유게시판에서 이동 됨]

  • Hithere ()

    죄송하지만, 그건 학계에서 물어보셔야죠, 여기서 물어 보시면 안되죠....
    딴지를 걸어보면 학계에서 검토되지 않은 이런 류의 글은 그냥 어려운 단어를 조합해서 만든 경우가 많던데요....  왠지 로봇으로 돌리면 나오는 글 같아서 찝찝하네요.

  • 댓글의 댓글 세아 ()

    글쓴분의 내용 중 틀린 부분 없습니다 ^^

  • 댓글의 댓글 Hithere ()

    부담스러울 정도로 생소하면 재가 무식해서 겠지요?

  • 댓글의 댓글 세아 ()

    그렇다기 보다는, 20세기초 수학계에 불어닥친 수학의 기반에 대한 의구심과 여러 위기들을 해결하기 위한 수학적 기교들에 대한 이야기이니 생경한 것은 너무나도 당연합니다. 사실 수학자들 대부분도 크게 신경 쓰지 않습니다. 쓰게 되면 그 때나 갖다 쓰지 뭐 하는 정도이지 그것에 크게 의미를 부여하는 것 같지는 않습니다. 물론 깊게 파고들어 해당분야의 저기 저 아래 기초로 내려가보면 이런 문제들과 만날 수 밖에 없습니다만, 그건 그렇게까지 깊게 들어가버린 수힉자들이나 고민하면 되는 문제이고요.

  • 남영우 ()

    학계(?)에서 받아들였으니 정리로 명명이 되었을 것입니다.

  • 세아 ()

    깊숙히 들어가면 쓰이곤 합니다. 위상수학이나 해석학 가환대수학 등에서 초한귀납법을 사용하는 경우가 있습니다. axiom of choice 혹은 Zorn' lemma만큼 자주 쓰이지는 않는 듯 합니다만, 사실상 비슷합니다. 좋은 공리 추가해서 더 많은 재미난 명제들을 얻어낼 수 있다면 마다할 이유 없다는게 수학입니다.

목록


과학기술Q&A

게시판 리스트
번호 제목 글쓴이 등록일 조회 추천
4104 SEM 찍었습니다만..Grain이.. 댓글 6 ImP2K 05-31 8336 0
4103 wet ehcing 질문입니다. 댓글 5 빵뜨아 05-30 3942 0
4102 아날로그 회로 설계 질문입니다. 댓글 3 capstone 05-29 5538 0
4101 pcb 구조 공진 질문입니다. 댓글 2 전자공학도 05-27 4359 0
4100 Wave optics와 Ray optics를 적용하는 기준 댓글 2 SPR 05-26 3569 0
4099 (기초질문) 임피던스 그래프 읽는법 좀 부탁드립니다. 댓글 3 cbman 05-19 12227 0
4098 (질문) 실제 산업분야에서 PID 제어기 설계 댓글 2 고구마말랭 05-18 4156 0
4097 요즘 수학 핫한 분야 댓글 11 kogikogi 05-17 6138 0
4096 자연산화막 만드는 금속에 대해 질문드립니다. 평등대 05-16 3645 0
4095 비트코인에 대해서 댓글 3 생케 05-16 4362 0
4094 유체 배관 질문드려요 주렁 05-14 3295 0
4093 나노공정기술 관련한 질문입니다. 댓글 1 optics 05-05 3663 0
4092 전자키트를 하나 구입해서 간단한걸 만들어보고 싶습니다 댓글 2 카티아 05-04 4592 0
4091 CFD, 항력계수와 양력계수의 주기 관계에 관해 댓글 2 Chara 04-30 5252 0
4090 소프트웨어의 종류에는 무엇이 있고 프로그래머는 뭘 해야할까요? 댓글 5 kjgkjdkeco 04-26 7280 0
4089 d-metal Catalyst fermi level 영향 댓글 5 cbman 04-28 3813 0
4088 NI NI2SN3 등등 특정온도에서 Fermi level 알수 있는곳이 있을까요? 댓글 5 cbman 04-28 3793 0
4087 Mirror Lapping된 알루미늄판은 어디서 구해야 할까요?? 댓글 1 일산화탄소 04-24 3327 0
4086 Fluent 나 CFX 둘중 어느걸로 회전프로펠러 해석을 해야 할까요 댓글 1 윤준혁 04-22 6092 0
4085 PYTHON이나 PHP로 하드웨어를 개발할 수는 없을까요. 댓글 1 gtoair08 04-16 4074 0


랜덤글로 점프
과학기술인이 한국의 미래를 만듭니다.
© 2002 - 2015 scieng.net
모바일 버전으로 보기