d라이브러리
"증명"(으)로 총 2,786건 검색되었습니다.
- [과학동아가 만난 사람] 유투버 과학드림과학동아 2022년 07호
- 싶다 “게임 기획자, 음악 작곡가처럼 과학 콘텐츠로도 돈을 많이 벌 수 있다는 것을 증명하고 싶어요.”과학드림은 뼛속까지 이과생이다. 단국대 과학교육과를 졸업한 뒤 과학기사를 쓰며 10여 년을 보냈다. 그는 “과학을 전공하면 직업을 구하기도 힘들고, 무엇보다 노력하는 만큼 경제적 보상이 ... ...
- [기획] N - S 방정식의 약해는 2개!수학동아 2022년 07호
- 설명했어요. 정인지 서울대학교 수리과학부 교수는 “장 르레의 약해가 하나가 아님을 증명한 최초의 시도이기에 의미 있는 결과”라고 밝혔어요. _ 인터뷰 “수학은 함께 하는 학문이에요!”달라스 알브리튼 프린스턴 고등연구소 연구원 Q 이 문제는 어떻게 풀게 됐나요? 2020년 가을부터 ... ...
- [역설 나라의 앨리스] 제7장. 컴퓨터의 탄생수학동아 2022년 07호
- 정지 문제를 푸는 프로그램은 논리적으로 존재할 수 없음을 보였습니다. 모든 명제가 증명 가능한지 기계적으로 판별하는 것이 가능하다면 ‘프로그램 P(x)는 정상적으로 종료한다’라는 명제 역시 P(x)가 정상적으로 종료하는지 판별할 수 있는데요. 정지 문제를 풀 수 없다는 사실은 수학이 결정 ... ...
- [특집] 코인, 어떤 게 살아남을까과학동아 2022년 07호
- 지갑을 갖고 있었다”며 “LFG가 어떻게 루나 가격을 회복하는지 코드로, 수학적으로 증명하지 못한단 건 주권을 지키지 못한단 것”이라고 말했다.한편으로는 암호화폐 너머에 있는 블록체인의 용도를 봐야 한다. 강 대표는 “인터넷이 처음 나왔을 때도 그걸로 뭘 할 수 있을지 몰랐지만, 점차 ... ...
- [SF소설] 나와의 다세계적 채팅방 해석과학동아 2022년 07호
- 자의 반 타의 반으로 나왔지. 그리고 공모전에 당선됐어.]연구소로부터 날아올 뻔한 내용증명을 막기 위해 내가 했던 일을 그대로 옮기기엔 너무 구차했고 쪽팔렸으며 무엇보다 귀찮았다. 결과적으로 나는 연구소 측의 용서를 받는 데 성공했다. 그리고 바로 팀에서 나왔다. 그럴 필요까진 없다는 ... ...
- 과학자도 노트필기를 잘해야 한다과학동아 2022년 07호
- 완성된 시점을 기준으로 특허권을 주는 선발명주의를 고수했다. 연구노트는 발명 사실을 증명할 수 있는 가장 강력한 증거였다. 다만 발명 여부가 계속 논란이 되자 2013년 미국은 특허를 먼저 출원한 이에게 특허권을 부여하는 선원주의로 개정했다 ... ...
- [특집] 블록체인, 불평등을 불러온다과학동아 2022년 07호
- 변화무쌍하게 변신할 필요가 생겼다. 블록 생성시 가장 먼저 기록되는 거래내역 증명을 디지털 아트에 적용해 ‘원본성’을 인위적으로 만들어낸다(NFT). 법적으로 재물에 해당하지 않는 게임 아이템을 이용자들이 거래할 수 있도록 NFT와 암호화폐를 분산 네트워크 결제시스템과 연결한다. ... ...
- 2023년 알림... 비밀번호 없는 세상이 온다과학동아 2022년 07호
- 열 수 있습니다. 이 비밀키가 있어야 서버에 등록된 공개키와 맞춰보고 본인이란 걸 증명할 수 있죠. FIDO 1.0은 이 검증에 필요한 프로토콜을 표준으로 만들었습니다. 이어서 2018년엔 웹에서 쓸 수 있는 기술 표준인 FIDO 2.0도 공개했습니다. FIDO 2.0이 나오면서 모바일 기기에서만 가능했던 FIDO 인증이 웹 ... ...
- [특집] 종이 접기가 멋진 이유?어린이수학동아 2022년 06호
- 말하는 바람에 나는 발끈했어.“넌... 종이잖아! 고작 종이가 강철로봇보다 멋질 순 없어! 증명해 봐!” 가위 없이 절반으로! 종이접기가 멋진 이유는 가위나 칼처럼 자르는 도구 없이도 종이의 넓이를 반으로 줄일 수 있다는 거예요. 먼저 한 변의 길이가 20cm인 정사각형 색종이를 준비해요. ... ...
- [역설 나라의 앨리스] 제6장. 괴델 수와 모순수학동아 2022년 06호
- 1931년 오스트리아 출신 미국 수학자 쿠르트 괴델이 발표한 ‘불완전성 정리’는 모순 없는 공리계를 만들고자 노력한 수학자들의 희망을 앗아가 버렸습니다. 그 이유가 무엇 ... 문장 a는 증명이 불가능합니다. 따라서 수학 체계는 스스로 모순적이지 않다는 사실을 증명할 수 없습니다 ... ...
