작업은 사람을 미치게 할 정도로 어려운 일임이 곧 분명해졌습니다. 처음에 둘은 러셀의 유형 이론에 큰 희망을 품었지만, 이 이론 또한 나름대로 심각한 문제가 있었습니다. 가장 큰 자연수가 존재할 수도 있다는 말도 안 되는 결론을 함의했거든요. 이에 당황한 러셀과 화이트헤드는 자연수가 ...
이후 무수한 발전 끝에 오늘날엔 자궁내막의 10여 가지 세포 유형 중 필수적인 두세 가지 유형의 세포를 몸 밖에서 배양할 수 있게 됐습니다. 이렇게 만든 인간 자궁내막 오가노이드로 배아를 오랜 시간 배양할 수는 없지만, 인간 블라스토이드가 자궁에 잘 착상할 수 있는지 실험하기엔 충분한 ...
시작했어요. 점차 제 방식으로 정리하다 보니 두 종류의 수학 공책이 만들어졌어요. 유형별 풀이법이 적힌 ‘아이디어 공책’과 틀린 문제를 적는 ‘복습 공책’이에요. 수학 문제를 많이 풀다 보니 기하 문제는 복습 공책을 써서 다시 틀리지 않는 것이, 조합이나 해석, 정수 문제는 아이디어 공책을 ...
기존 문제에서 숫자 및 수학 기호가 살짝 바뀐 문제 3가지를 제시해준다. 만약 비슷한 유형이면서도 고등학생 수준에서 풀 수 있는 문제를 제시해달라고 하면 문제를 새로 출제해준다. 언어 모형인 챗GPT가 수식 자체를 잘 이해 못할 때가 있어서 엉뚱한 답을 내놓을 수 있으니 그때는 챗GPT가 이해할 ...
문제를 직접 풀었다고 하긴 어렵지만, 미래에는 영향을 줄 수도” 제가 낸 유형의 본래 문제는 워낙 유명해서 챗GPT에 데이터가 있을 것 같아 본래 문제를 살짝 변형했습니다. 원래 문제는 7명의 사람이 모두 악수를 3번씩 하는 게 가능한지 묻지요. 그래서 악수는 포옹으로, 3번은 4번으로 바꿨어요. ...
정수의 집합’이 이에 해당돼요. 집합 자체가 ‘짝수’, ‘정수’는 아니니까요. 둘째 유형은 자기 자신을 포함하는 집합입니다. 예를 들어 ‘열여섯 글자로 표현 가능한 대상의 집합’은 열여섯 글자이므로, 자기 자신을 포함합니다. 이제 자기 자신을 포함하지 않는 모든 집합으로 구성된 집합 R을 ...
한 예로 타입 검사 시스템이 언어에 구현되기 시작했다. 타입 검사란 입력 받는 데이터의 유형이 올바른 지를 언어 차원에서 확인하는 시스템이다. 실수를 최소화하려는 과정 속, 튜링 기계에서 출발한 프로그래밍 언어와 람다 계산법에서 출발한 프로그래밍 언어가 자연스럽게 합쳐졌다. 자바와 ...
봤을 때도 충분히 이해할 수 있게 돼 있어요. 또 개념이 이해가 안 되더라도 문제집에서 유형별로 어떻게 푸는지도 알려주고 있어서 그 방법대로 문제를 풀어보면 오히려 이해가 되기도 했어요. Q. 다양한 수학 공부법은 어떻게 터득했어요? 여기저기서 들은 방법을 저한테 맞는 방식으로 조금씩 ...
단순한 청각 자극(AAAAA)부터 세 가지 소리 유형으로 이뤄진 청각 자극(AAACCBAA)까지 다양한 유형의 자극을 가했다. 그 결과 영유아들은 너무 단순하지도, 복잡하지도 않은 외부 자극에 가장 큰 호기심을 보였다. 복잡도가 중간 수준인 소리 자극이 정보를 얻기에 가장 효율적인 소리 자극이었기 때문이 ...
사용한다). 연구팀은 당대 화가들이 달걀 노른자를 섞은 이유를 밝히기 위해 세 가지 유형의 물감을 준비했다. 하나는 노른자와 기름만, 다른 하나는 노른자와 기름에 색소를 더했다. 나머지 하나는 기름과 색소만 혼합했다. 연구팀은 이 세 물감의 수분량, 산화, 건조 시간 등을 측정했다. 그 결과, ...