농생명공학부 연구원은 2023년 11월 미국곤충학회에서 네오니코티노이드계 물질, 이미다크로프리드와 페닐피라졸계의 피프로닐을 함께 활용한 살충제가 빈대 방제에 가장 효과적이라고 발표했습니다. 피프로닐은 가바(GABA) 수용체에 작용해 흥분된 신경을 무효화하는 저해성 신경을 마비시켜 곤충이 ...
괴델은 힐베르트의 꿈뿐만 아니라 수학의 기초를 다지겠다는 독일 수학자 고틀로프 프레게, 이탈리아 기호논리학자 주세페 페아노, 화이트헤드, 그리고 어렸을 때부터 확실한 지식을 동경하던 러셀의 꿈 또한 박살냈습니다. 결국 수학에서 승리를 거둔 쪽은 이그노라비무스였습니다. 그리고 ...
현재 맨체스터대학교 소속이었습니다. 하지만 러셀과 독일 수학자 고틀로프 프레게가 쓴 수리논리학에 관한 책을 읽고는 수학논리학자의 길을 꿈꾸게 되죠. 행동력이 뛰어났던 그는 곧바로 프레게를 찾아갔는데요. 비트겐슈타인과의 만남이 제법 인상적이었는지 프레게는 그에게 러셀 밑에서 ...
모든 명제를 증명할 수 있는 완전무결한 수학체계를 만들고자 했어요. 독일 수학자 고틀로프 프레게(1848~1925), 다비트 힐베르트(1862~1943), 영국 수학자 버트런드 러셀(1872~1970)이 대표적이지요. 끝내 미국 수학자 쿠르트 괴델(1906~1978)에 의해 그 시도는 불가능하다고 판별이 났어요. 모순 없는 체계에는 ...
이 역설에 가장 큰 타격을 받은 사람은 독일의 수학자이자 논리학자인 고틀로프 프레게였습니다. 당시 프레게는 집합론으로 산술의 기초를 정립하는 일생일대의 연구를 마무리하고 있었어요. 이 연구의 결론은 수학과 논리학이 본질적으로 동일함을 시사했기 때문에 수학적으로뿐 아니라 ...
제주도 전역에 사는 멸종위기 식물이 잘 자라는지 관찰해서 보호 대책을 마련합니다. 로프를 매고 한라산 분화구 곁의 절벽을 등반하며 멸종위기 식물을 찾고 수를 세기도 했지요. 수목원에서는 멸종위기 식물을 증식하여 키운 후 서식지에 다시 심는 복원 작업도 합니다. Q멸종위기 식물 복원은 ...
주고받으면서 전시장과는 다른 협력의 장이 펼쳐졌다.지원받던 나라에서, 이끄는 나라로프랑스 파리에서 열린 IAC는 한국에게 조금은 특별했지 않았을까. 한국이 처음 고속철도(KTX)를 개발하던 시절, 프랑스 테제베(TGV) 기술을 도입했다. 또 초창기 서울 지하철 열차와 종이 티켓을 넣는 개찰구 ...
세우는 작업을 시작했습니다. 그리고 1년 뒤 집합으로 수학의 체계를 완성하려 했던 고틀로프 프레게의 논리에 모순이 있다는 사실을 깨닫고 그 내용을 편지에 적어 프레게에게 알립니다. 당시의 수학계 상황을 살펴보면, 프레게는 독일의 수학자 게오르크 칸토어가 완성한 집합론을 사용해 수학의 ...
일으키고 얼음 기둥의 표면에 물결무늬를 남겼습니다. 연구를 이끈 레이프 리스트로프 뉴욕대 수학과 교수는 “이번 실험은 빙산 같은 자연 속 얼음의 녹은 모양이 기후 변화를 측정할 수 있는 또 다른 지표가 될 수 있다는 사실을 보여 준다”고 말했습니다. 이 연구는 미국 물리학회 학술지인 ...
수학자이자 논리학자인 고틀로프 프레게는 ‘집합’을 이용해서 자연수로부터 수학의 개념을 모두 확장할 수 있다는 ‘자연수 이론’을 증명하려고 했습니다. 그러나 프레게의 이런 생각은 영국 수학자 버트런드 러셀의 편지 한 장으로 무너졌어요.오늘은 편지 내용의 핵심인 ‘러셀의 역설’에 ...