슬기로운 수학생활 멘토링
수학동아 2023년 10호
합니다. 명확하지 않은 개념을 사용하지 않았는지, 내 풀이에 모순이 있지 않는지 검토하는 습관이 중요해요. 6. 이해하기 쉽게 서술해야 합니다. 미지수를 설정했다면 그 미지수가 자연수인지, 무리수인지, 왜 이 미지수가 나와야 하는지 맥락을 설명해야 합니다. 또 한 문장 안에는 가능한 한 ...
합니다. 명확하지 않은 개념을 사용하지 않았는지, 내 풀이에 모순이 있지 않는지 검토하는 습관이 중요해요. 6. 이해하기 쉽게 서술해야 합니다. 미지수를 설정했다면 그 미지수가 자연수인지, 무리수인지, 왜 이 미지수가 나와야 하는지 맥락을 설명해야 합니다. 또 한 문장 안에는 가능한 한 ...
![[과학마녀 일리의 과학 용어] 방부제, 헬륭](http://dl.dongascience.com/uploads/article/thumbnail/202310/Screenshot_2023-05-14_22.44_.20_AZw0NY_.png)
출시하기도 했지요. 미국 식품의약국(FDA)은 파라벤의 안전성에 대한 연구를 계속 검토하고 있지만, 아직은 화장품에 사용되는 파라벤이 인체 건강에 영향을 미친다는 확실한 증거가 없다는 입장입니다. 우리나라 식품의약품안전처 역시 지난 2020년 파라벤의 위해성을 평가한 결과 우리 국민의 ...
여기에서 자유롭다. 물론 지상 발사가 가진 단점에 대한 대안으로 해상 발사도 여러모로 검토되고 있다. 이는 지정학적 이유로 발사장 입지가 좁을 수밖에 없는 우리나라에도 좋은 대안이다. 버진 오빗이 시도해온 공중 발사는 비판적 관점에서 ‘비행기 자체가 결국 1단 추진체 아닌가?’라는 말을 ...
![[빅잼] 영화 ‘크리에이터’ 스스로 생각하는 AI는 인간적인가, 인간의 적인가](http://dl.dongascience.com/uploads/article/thumbnail/202310/pic__2023-10-02_at_9.51_.09_AM_.png)
언급하며, 전쟁에서 활용되는 것을 포함해 법적, 윤리적, 도덕적 측면에서 면밀히 검토할 필요가 있다고 지적했습니다. 자율살상무기에 대한 정의는 나라마다 조금씩 다르지만 대체로 인간의 개입 없이 표적을 선택하고 공격할 수 있는 AI 기반의 무기체계라는 데 많은 국가가 공감하고 있습니다. ...
수 있으니까 일부러 찾아보지 않았어요. 증명을 다 하고 나서 똑같은 증명이 있는지 검토하기 위해 찾아본 게 전부예요. 미국수학학회에서 발표는 어떻게 하게 된 건가요? 켈시 : 윌리엄스 수학 선생님이 와플 콘 증명법에 오류가 없는 것 같다고 확인해주셨어요. 이후 미국수학학회 웹사이트에 ...
수 있을 것 같았습니다. 3시간 정도 시도하니 증명해낼 수 있었지요. 12 Math에게 증명을 검토해달라며 메일을 보냈어요. 증명을 본 12 Math는 ‘증명에 오류는 없는 것 같지만, 미국 학생들이 삼각함수를 이용해 풀었던 점이 독창적이라고 주목받았으니 비슷한 방법으로도 풀어보는 게 어떠냐’고 ...
농약 사용을 금지했고, 농촌진흥청도 네오니코티노이드계 농약에 대한 규제 방안을 검토 중이다. 유럽연합(EU)은 이미 2018년부터 네오니코티노이드계 농약 사용을 제한했고, 미국의 경우 2022년 로드아일랜드주와 뉴저지주가 관련 규제를 발표했다. 앞서 소개한 불임 모기도 아직 완벽한 무기는 ...
![[러셀 탐구생활] 러셀의 삶을 뒤흔든 역설](http://dl.dongascience.com/uploads/article/thumbnail/202306/Screenshot_2023-05-26_18.11_.20_rwPCvv_.png)
칸토어의 증명을 접했습니다. 결론이 다소 비직관적이라고 느낀 러셀은 증명을 면밀히 검토해보았고, 그 과정에서 어떤 특이한 집합을 고려하게 됐습니다. 곧 러셀은 이 특이한 집합이 칸토어의 집합론에 모순을 일으킨다는 사실을 눈치챘습니다. 러셀이 고려한 특이한 집합이 무엇인지 설명하기 ...
![[프로그래밍 언어의 역사] 인간은 실수없이 기계와 대화하고 싶어서](http://dl.dongascience.com/uploads/article/thumbnail/202306/20230531-025.png)
논리로 짠 증명이 일대일 대응이 된다는 것이다. 이는 논리학자들이 어떤 증명을 만들고, 검토하고, 수정하는 과정이 프로그래밍과 똑같다는 뜻이다. 처치는 기계에 대한 생각은 하지 않았지만, 람다 계산법은 ‘튜링-완전(turing-complete)’한 언어다. 튜링-완전하다는 것은 프로그래밍 언어로 ...
비판적인 사고력을 자연스레 키울 수 있다”고 설명했다. 자료조사, 첨삭, 풀이 검토까지 척척 챗GPT가 언어 모델인 만큼 작문 실력을 요구하는 수행평가에서 탁월한 도움을 줄 수 있다. 김문석 포항제철고 교사는 “먼저 학생이 글을 작성한 뒤에 챗GPT의 도움을 받아 문장을 더욱 풍성하게 ...