d라이브러리
"참"(으)로 총 1,347건 검색되었습니다.
- [역설 나라의 앨리스] 제5장. 힐베르트의 도전수학동아 l2022년 05호
- 많은 진전도 있었습니다. 1930년 오스트리아 수학자 쿠르트 괴델이 ‘1차 논리에서 참인 명제를 항상 증명할 수 있다’는 ‘완전성 정리’를 증명함으로써, 1차 논리라는 단순한 수학 체계에서는 모순이 없다는 사실을 보였습니다. 1차 논리란 명제에서 대상에 대해서만 ∀(= 모든 ~에 대해), ∃(= ... ...
- [우주순찰대원 고딱지] 21화. 마누팩토 행성의 프로보, 프로보, 또 프로보 ...?어린이수학동아 l2022년 05호
- ”그 남자가 딱지를 노려보며 말했습니다. 딱지는 우주순찰대라는 신분을 생각하며 꾹 참고, 얼른 프로보를 쫓아갔습니다.‘마음이 넓기는 무슨! 코딱지만한 게.’프로보가 어떤 방문 앞에 서서 말했습니다.“난 여기서 점검을 받는다. 저쪽으로 가면 로봇이 아닌 종족들을 위한 대기실이 있으니 ... ...
- [폴리매스 수학자를 만나다] “여러분과 수학계 선후배로 꼭 만나고 싶어요!” 김린기 인하대 교수수학동아 l2022년 05호
- 학생들을 가르치는 입장에서는 친구 같은 교수가 되어야겠다고 생각했는데, 그게 참 어렵더라고요. 친구 같은 교수까지는 아니더라도 학생들이 편하게 다가올 수 있는 교수가 되는 것이 목표예요. 그런 교수가 되는 방법은 저도 아직 고민 중이랍니다. Q 폴리매스 회원에게 마지막으로 한마디 해 ... ...
- [특집] 작가&철학자 러셀 생각을 글로 표현한 지식인수학동아 l2022년 05호
- 문장도 거짓, ‘유니콘은 하얗지 않다’는 문장도 거짓이에요. 논리학에서 어떤 명제가 참일 경우 그 반대는 거짓이어야 한다는 ‘배중률 법칙’이 있는데, 이를 어기는 문장인 거지요. 이런 모순을 말끔히 해결한 것이 러셀의 ‘기술 이론’이에요. 기술 이론은 주어가 지칭하는 것 자체에 담겨 ... ...
- [SF소설] AI 마이너스 알츠하이머과학동아 l2022년 04호
- 고민. 돌고 돌아 다시 상대 의뢰인은 그 질문으로 왔다니. 눈가를 꾹꾹 눌렀다. “제가 한참 전에 했던 생각이랑 똑같네요.”“저에게 메일을 받을 때부터 그 생각을 하셨군요. 몰랐어요.”“네.”“그럼 왜 그때 만나서 거절하지 않고, 해 보겠다고 하셨나요?”차연 씨는 내게 벤치 자리를 가리켰고 ... ...
- [지구사랑탐사대 인터뷰] 국립생태원장상 받았다 생태모방 기술로 새들을 지켜조 (鳥)어린이과학동아 l2022년 04호
- 피해를 입히는 것을 보고 안타까웠어요. 생태교란종을 연구하는 기회가 있다면 참여하고 싶습니다. 사람이 많이 다니지 않는 곳으로 탐조를 다니다 보니 때때로 쥐, 너구리, 고라니 같은 포유류를 만나게 되더라고요. 지사탐 활동으로 포유류 탐사를 하면서 동정 능력을 기르고, 포유류가 독특한 ... ...
- [이달의 식물사연] 파리를 유혹하는 갯쥐방울덩굴과학동아 l2022년 04호
- 털이 더 깊은 쪽을 향해 한 방향으로 뻗어 있다. 파리가 미끄럼틀을 타듯 들어가기는 참 쉬우나, 다시 되돌아 나오기는 굉장히 어려운 구조인 것이다. 그 어두운 통로의 끝에 다다르면 마침내 작고 아늑한 밀실이 나온다. 천장엔 암술과 수술이 자리하고 있는데, 밀실에서 보면 마치 성당의 ... ...
- [발칙한 역설] 제4장. 러셀의 일격수학동아 l2022년 04호
- 참임을 증명할 때 그 명제의 결론을 부정을 가정하고 모순이 생김을 보여 원래 명제가 참임을 증명하는 방법이에요. 그렇다면 RS가 자기 자신을 포함하지 않는다고 가정해 볼게요(가정2). RS에 포함되지 않는 모든 원소들은 자기 자신을 포함하는 원소여야 하겠지요. 따라서 RS는 자기 자신을 포함하는 ... ...
- 겁쟁이, 꼬맹이, 또는 변덕쟁이... 암흑물질을 낚다과학동아 l2022년 04호
- 노가리다. 이 이름 모두 명태를 말한다. 이름이 다채로운 게 어디 명태 탓이겠냐마는 참 변덕스러운 이름이다. 이런 명태와 닮은 암흑물질 후보가 있다. 바로 비활성 중성미자다. 중성미자는 표준모형의 17종류 입자 중 3종류를 차지한다. 각각 전자 중성미자, 뮤온 중성미자, 타우 중성미자라고 ... ...
- [ICM 초청 강연자를 만나다➊] 눈에 안 보이는 것을 수식으로 푸는 수학자수학동아 l2022년 03호
- 알 수 있는 ‘미분 방정식’을 만들었듯 말이지요. 그런데 방정식의 해를 구하는 게 참 쉽지 않아요, 그래서 해석학을 연구하는 수학자들은 어떤 현상을 나타내는 방정식에 해가 있는지, 있다면 성질은 무엇일지 등을 연구한답니다. Q 해석학을 연구하게 된 이유가 궁금해요? 대학교에 진학해 ... ...
이전8910111213141516 다음
