전체 글28 괴델의 불완전성 정리 호프스태터가 서문을 쓰고 개정한 '괴델의 증명' 책 내용을 요약해 보았습니다. 이 글은 책 내용을 요약한 것이니 괴델의 불완전성 정리에 대해 더 알고 싶은 부분이 있거나 이해가 되지 않는 부분이 있다면 이 책을 읽어주세요. I. 머리말 - 괴델의 증명: 진리임에도 불구하고, 증명할 수 없는 수학적 명제가 존재한다 - ‘공리적 방법은 본래부터 어떤 한계를 갖고 있음’을 알려줌 - 수학의 많은 분야가 완벽한 연역 체계에 도달할 수 없음을 시사함 II. 정합성 문제 - 유클리드의 평행선 공리를 다른 공리로부터 연역할 수 없다는 사실이 19세기에 증명됨 1. 주어진 체계 안에서 어떤 명제의 증명 불가능성을 증명할 수 있다 2. 유클리드 기하학이 유일한 기하학이 아니다 - 유클리드가 채택한 공리와 다르거나 양립할.. 2024. 2. 13. 커넥톰, 뇌의 지도 이후 서술되는 내용은 필자가 승현준(세바스찬 승) 교수님의 '커넥톰, 뇌의 지'를 읽고 인상 깊었던 부분을 정리한 것이다. 책에 소개된 내용에 추가적인 내용들을 덧붙여 작성하였다. 머리말 - 인간의 커넥톰은 경험에 따라 평생에 걸쳐 변화함 (4R) - 재가중(Reweighting): 뉴런 간의 연결의 세기를 조정 (가중치를 변경) - 재연결(Reconnection): 시냅스를 새로 만들거나 제거함 - 재배선(Rewiring): 가지가 자라거나 축소됨 - 재생성(Regeneration): 기존의 뉴런을 제거하고 완전히 새로운 뉴런을 생성 1부. 크기가 중요한가? 1장. 천재성과 광기 - 뇌의 크기와 지능 사이에는 상관관계는 있지만, 한 개인의 경우로 보면 관계가 없음 (그럴 가능성은 있겠지만) - 피어슨 .. 2024. 1. 15. 동물분류학 2편 (자포동물문, 유즐동물문) 3. 진정후생동물아계(Eumetazoans) - 중생동물과 측생동물을 제외한 모든 후생동물 - 크게 이배엽성인 방사대칭동물과 삼배엽성인 좌우대칭동물로 나뉨 3.1. 방사대칭동물군(Radiata) - 외배엽과 내배엽의 2가지 배엽을 가짐 - 몸이 방사대칭형임 3.1.1. 자포동물문(Cnidaria) - 대부분 수중생활을 함(고착생활 or 부유생활) - 자포를 가짐 (먹이를 잡거나 포식자로부터 스스로를 보호하기 위해 사용함) 3.1.1.1. 해파리아문(Medusozoa) - 유연성 해양동물에 해당 - 몸의 94~98%가 물로 이루어짐 - 두 세포층 사이에는 젤리 같은 물질이 차 있음 - 이 물질은 깨지기 쉬운 체벽을 지탱하는 일종의 골격 역할을 하며, 물 속에서 해파리가 부력을 유지할 수 있게 해줌 - 촉수.. 2023. 12. 19. 동물분류학 1편 (중생동물아계, 측생동물아계) 1. 중생동물아계(Mesozoa) - 다세포동물 중 가장 단순한 동물 - 몸의 구조는 발생 과정상의 상실기에 해당함 (단세포생물과 다세포생물의 중간 단계) - 기생생활을 함 - 몸의 구조가 특이한 이유도 기생생활에 익숙해져 몸이 퇴화한 것이 이유일 것으로 예상됨 1.1. 능형동물문(Rhombozoa) - 좌우대칭의 형태를 지님 - 능형동물문에 속하는 동물들을 뭉뚱그려 이배충이라 표현함 - 이배충들은 두족류의 신낭에서 기생하는 벌레 모양의 동물임 - 이배충의 생활사 1. 축세포에서 무성생식의 출아에 의해 많은 유충이 만들어짐 (처음에 생기는 이 유충들은 연충형(지렁이 모양) 유충임) 2. 연충형 유충들은 어미 이배충의 몸을 뚫고 나와 숙주의 신장에서 무성충으로 발달함 3. 숙주의 신장에서 자라는 무성충은 .. 2023. 12. 18. 인간은 왜 인간이고 초파리는 왜 초파리인가 이후 서술되는 내용은 필자가 이대한 교수님의 '인간은 왜 인간이고 초파리는 왜 초파리인가'를 읽고 인상 깊었던 부분을 정리한 것이다. 책에 소개된 내용에 추가적인 내용들을 덧붙여 작성하였다. 1. 이 모든 장엄함과 경이의 재료 | 변이와 유전의 본성 - 생어 시퀀싱(Sanger Sequencing) - 배경 지식 - DNA를 합성하려면 dNTP(dATP, dCTP, dGTP, dTTP)가 필요함 - DNA는 dNTP의 3'-하이드록시기와 5'-인산기가 결합하며 만들어짐 (그 과정에서 5'-인산기는 1인산기가 됨) - 그런데, ddNTP는 3번 탄소에 하이드록시기가 없어 다른 dNTP의 5'-인산기와 포스포다이에스터 결합을 이루지 못함 - 따라서, ddNTP의 5'-인산기가 dNTP의 3'-하이드록시기와 .. 2023. 12. 18. 행동주의와 인지심리학 행동주의 내용은 https://m.blog.naver.com/ball9091/220686726567# 블로그를 주로 참고해 작성했습니다. 쉽게 정리되어 있으니 여기도 들어가 보시면 좋을 것 같습니다. 공용현. (1994). 계산주의 , 연결주의 , 단순성. 철학연구, 34, 151-165. 계산주의와 연결주의는 해당 논문을 일부 참고하였습니다. 1. 행동주의(Behaviorism) - 인간의 성격은 내면적인 구조로 설명하기 보다는 외부환경에 의해 강화된 행동패턴으로 설명할 수 있다고 주장 - 기존 심리학의 철학적인 접근법에서 벗어나 실험적인 접근법을 택해 연구를 진행하고자 함 - 기본 원리는 자극-반응(S-R)으로 인간의 내면은 외면하고, 오직 외부 자극에 대한 반응을 관찰하는 데 중점을 둠 - 인간은 .. 2023. 10. 31. 이전 1 2 3 4 5 다음
