디멘
@dimenerno
Followers
759
Following
243
Media
523
Statuses
2,584
Explore trending content on Musk Viewer
Rogan
• 315938 Tweets
Amorim
• 243213 Tweets
Steve Bannon
• 141677 Tweets
Sporting
• 131932 Tweets
Southport
• 61915 Tweets
#Jin_HBD
• 48251 Tweets
#الهلال_الطايي
• 41844 Tweets
Wayans
• 39132 Tweets
キャラクリ
• 38488 Tweets
ゼノブレイドクロス
• 36926 Tweets
#YutaJinguji
• 36500 Tweets
Scary Movie
• 35225 Tweets
Our Dopamine Giselle Day
• 33860 Tweets
Tom Lembong
• 32163 Tweets
Xenoblade
• 31547 Tweets
#神宮寺勇太誕生祭2024
• 30959 Tweets
#النصر_التعاون
• 30652 Tweets
GALA EN EXA
• 29819 Tweets
KARIME X PARAMOUNT
• 20864 Tweets
Colts
• 20213 Tweets
Richardson
• 19007 Tweets
Brenda
• 18714 Tweets
神宮寺くん
• 14783 Tweets
Cindy
• 14449 Tweets
الحمدان
• 13893 Tweets
Mac mini
• 13776 Tweets
الاهلي المصري
• 13084 Tweets
横浜優勝
• 12791 Tweets
القحطاني
• 10791 Tweets
Pinned Tweet
이번 학기 동안 진행한 논리학 및 언어철학 스터디의 자료를 공유합니다. 해당 분야를 공부한 적이 있는 분에게는 기억을 환기하는 자료로서, 해당 분야를 공부하려는 분에게는 참고용 자료로서 사용될 수 있습니다. PDF는 다음 사이트에서 다운로드 받을 수 있습니다.
8
919
1K
안녕하세요 근황을 알려드리자면 머리속에서 그냥 죽으면 참 편하겠다는 생각이 떠나지를 않습니다 여러분이 찍어주시는 마음은 응원이 됩니다 그럼 안녕
15
47
3K
Q: 왜 학교는 피해자를 보호하지 않는 거죠?
A: 학교는 정치적 중립을 지켜야 합니다.
Q: 사태에 침묵하는 건 전혀 중립이 아닌데요?
A: 그렇게 보인다면 유감이지만 이미 해당 사태에 대해서는 침묵하기로 의결했습니다.
이럴거면 간담회 왜 함?
9
7K
2K
[사이언스] '우주는 무한히 반복된다'는 증거 발견? | 비즈한국
- 13억 광년 이르는 거대 고리 구조 '빅 링' 관측…'등각순환우주론'의 증거일 수도
0
5K
3K
1
2K
2K
놀랍게도 이름이 붙어있는 언어학 현상
1
459
302
갓갓 노트앱을 소개해 드리겠습니다.
Obsidian이라는 마크다운 에디터인데요,
1. 레이텍 지원
2. 정리/렘마/정의 등 항목별로 블록 색깔 변경 가능
3. 개념 간 링크 가능
세 가지 점에서 수학 공부하는 데 타의 추종을 불허합니다.
3
180
264
영어의 형용사는 일반견해 - 특수견해(happy) - 크기 - 모양 - 나이(new) - 색 - 기원 - 구성 순을 대체로 따르며 이러한 현상이 나타나는 이유에 관해 받아들여진 이론은 없습니다 🤔
0
315
259
[거짓말쟁이 역설에 관한 수리논리학적 고찰]
“이 문장은 거짓이다”는 참이라면 거짓이고 거짓이면 참인 문장입니다. 거짓말쟁이 역설이라는 이름의 매우 유명한 역설이죠. 하지만 이 역설의 단순함 이면에는 심오한 철학적, 논리학적 딜레마가 숨어 있습니다. (1/n)
1
145
207
한줄요약: 한 체스 프로선수가 볼셰비키에 의해 체포되어 처형대에 섰는데, 그를 알아 본 체스 덕후 경찰이 자기랑 체스를 둬서 이기면 살려 주겠다고 했고 실제로 이겨서 풀려남
Chess players on Tsvetnoy Boulevard in Moscow during the 1950s. One of my favorite chess stories is the one about Russian Grandmaster Ossip Bernstein.
In 1918, when he was 36 years old, Bernstein was arrested in the city of Odessa by the Bolshevik secret police whose purpose was
254
1K
11K
0
425
144
20세기 분석철학사에서 가장 중요한 논문으로 꼽히는 콰인의 <경험주의의 두 독단>에 대한 자료를 노션 페이지에 올려두었습니다. 관심 있는 분들께 도움이 되면 좋겠네요 ㅎㅎ
1
79
139
이거 씹덕책처럼 보이지만 진짜 명작이니까 읽어주세요 수학을 가르쳐주는게 아니라 수학을 체험시켜 줌 (이왕이면 1권부터 6권까지 다)
0
69
109
자연수라는 신기루: 수리논리학과 언어철학에 관한 짧은 이야기
---
어느 날 디멘은 외계인을 만났습니다. 외계인이 디멘에게 물었습니다. "인간들이 사용하는 개념 중에서 도저히 이해되지 않는 게 있어. 도대체 자연수가 뭐야?" (1/14)
1
110
113
위상수학 복습 노트를 만드는 중입니다. 개인적인 기억 환기용이라서 과연 누군가에게 도움이 될지는 모르겠지만 필요하신 분은 줍줍하시면 되겠습니다 ㅎㅎ
0
36
96
4명의 이름을 불렀는데 3명은 같은 존재고 1명은 사실 7명임
“하느님, 예수님, 부처님, 알라신님”
⬆️이거 너무 웃기지 않음? 4명의 이름을 부른 것 같은데, 그 중 3명이 같은 존재임
1
6K
4K
0
166
88
군론 노트를 공유합니다. 라그랑주 정리, 준동형 사상 기본정리, 아벨군 기본정리, 실로우 정리, 조르당-횔더 정리, 표현론 등의 개념들이 정리되어 있습니다!
0
36
81
59.999...점은 60점으로 '처리'되어 '구제'받아야 하는 점수가 아니라 그냥 60점이에요...
0
139
76
Open Logic Project라는 사이트를 소개합니다! 1차 논리, 계산 가능성 이론, 비고전 논리, 불완전성 이론 등 논리 덕후들이 못 참아하는 주제들에 관한 서적이 무료로 배포되어 있어요! 😇🎉
0
36
65
람다 대수와 커리-하워드 관계에 대한 훌륭한 영상이 나왔네요!
- 람다 대수: 프로그래밍 언어의 형식화
- 커리-하워드 관계: 프로그램 코드에서의 타입 체크는 수리논리학의 증명과 대응된다
0
27
62
한줄요약: 수학 능력은 정규분포가 아닌 지수분포(파레토분포)를 따른다는 점에서, 유전적/생물학적 능력이 아닌 양성 피드백 학습 과정(어릴 때 조금 더 수학을 잘하는 학생이 주변의 기대와 내적 흥미로 인해 더욱 공부를 열심히 하게 됨 -- 빈익빈부익부)을 통해 단련되는 능력임을 유추할 수 있다.
A simple math proof that math talent isn’t primarily driven by genetics. ⤵️
126
291
3K
1
54
58
그리고 카이스트 강의평가
1
90
54
고등학교 때 친구랑 함께 학교 확통교과서에 내용 이것저것 추가하고 latex으로 조판 다시해서 애들한테 배포한 적 있었는데 오랜만에 다시 보니까 편집 약빤 거 같음 이거 뭐냐 ㅋㅋㅋㅋㅋ
1
15
51
私が書いた本が日本語に翻訳され、日本の方が作成したツイートに登場するなんて不思議ですね。本を読んでくださってありがとうございます！
살다보니 제가 쓴 책이 일본어로 번역돼서 일본 분 트윗에 등장하는 날이 오네요.
2
7
41
군대에서 들은 제일 ㅈ같았던 말 top3
1. 이스라엘은 국민들의 애국심 때문에 중동 전쟁에서 승리할 수 있었다
2. 자유민주주의가 최상의 정치이념이라는 것은 세계사적으로 증명된 사실이다
3. 군복무는 의무로서 여길 짐이 아닌 자랑스럽게 여겨야 할 권리 어쩌고 1984식 가스라이팅
3
8
42
트친분들 안녕하세요, 갑작스럽지만 제가 8월 5일에 공군 입영을 하게 되었습니다. 저와 만나고 싶은 트친분은 이날 전으로 연락을 주시면 감사하겠습니다. 🥲
12
0
39
(종강기념) #트친소
철학, 수학, 물리학, 언어학, 클래식 음악, 인문학을 팝니다. 사진의 인과관계를 따르다 보니 관심사가 잡다해졌고요, 가끔 글이나 영상 만들어요 👋
1
7
38
수리논리
- 칸토어: 정신병동에서 사망
- 러셀: 아들이 정신병
- 비트겐슈타인: 우울증
- 힐베르트: 아들이 정신병
- 괴델: 스스로 아사
- 튜링: 독사과 먹고 자살(추정)
- 포스트: 우울증 치료 중 전기충격으로 사망
?
1
34
34
제 최애 작가님이 노벨문학상을 받으셨다니 세상에 이런 일이..
BREAKING NEWS
The 2024
#NobelPrize
in Literature is awarded to the South Korean author Han Kang “for her intense poetic prose that confronts historical traumas and exposes the fragility of human life.”
646
43K
66K
1
5
33
요즘 걱정인 게 학부를 졸업했는데도 머리에 든 게 없다..
갈루아 이론도 가물가물
호모토피도 가물가물
르벡적분론도 가물가물
집합론도 가물가물
어떻게 한때 달달 공부했던 내용들이 이렇게 허무하게 증발해버릴 수 있지
원래 갓 졸업한 학부생은 아무것도 모르는 게 정상인가요..🥲
7
0
34
하 카프카 덕후들 부럽다 이런 썰도 있고 빝겐이랑 러셀도 좀 분발해보세요
0
5
31
논리학 스터디 모집 단 아래의 복장으로 참석해야만 함
칼케우스와 토가, 월계수 장식 머리띠를 샀어요
이걸 입는 순간 저는 알게 되었죠
난 이걸 입고 다니기위해 어른이 된 거구나
9
1K
1K
5
3
31
생존신고 겸 근황: 날씨가 매우 덥고요 이번 주에만 사람 서너 명이 탈진해 쓰러졌습니다 저는 이제 그냥 점수 포기하고 열외하렵니다 틈틈이 독일어랑 수학 공부하고 있고 커피가 마시고 싶네요 🥲 동기들이랑은 잘 지낸답니당
1
0
31
올해 책 두 권을 출간할 예정이었는데 한 권의 출간이 의외의 사유로 2년 정도 미뤄졌습니다..!
사유) 원고를 읽어 본 출판사팀이 저자가 없을 때 출간하기에는 너무 아까운 원고라서 제대할 때까지 기다리겠다고 하심😶
5
0
31
미래를 낙관할 근거는 없지만 비관하지 않을 이유는 있으니 우리는 낙관주의자가 되자
0
21
28
더 무서운 점은 "이런 세계는 괜찮다"는 주장에 반박하기가 매우 힘들다는 것
<멋진 신세계>의 가장 무서운 점은
결코 적지 않은 수의 독자들이 이걸읽으면서 "이런 세계는 괜찮지않나...?" 하고 생각한다는 점에 있는듯
1984와 대비되는 부분
0
5K
4K
0
16
26
내가 제일 좋아하는 영상
- 초한서수를 일반인도 이해할 수 있게 설명함
- 인간을 수학의 창조자인 동시에 탐험자로 묘사
- 연속체 가설을 “풀 수 없는 문제”가 아니라 “아직 풀리지 않은 문제”라고 함
- 순수수학의 가치에 대한 짧지만 강렬한 코멘트
그저 갓벽하다
1
4
30
강수 확률 = 아래로(nieder)+떨어짐(schlags)+참(wahr)+그래보임(schein)+형용어미(lich)+명사어미(keit)
0
30
29
선언: 저는 수학을 잘하기 위해서 수학을 공부하지 않고 수학이 좋아서 수학을 공부하겠습니다 전자의 마음가짐을 택하면 삶이 너무 피폐해짐..
1
8
29
11월 17일 오전 11시 17분에 기숙사 1117호에 거주하는 저와 룸메가 어은동 111-7번지에 있는 111-7 MEAL에서 1만원1만원1만원7천원 메뉴를 먹었습니다
1
12
28
강추하는 책! ‘계’라는 개념부터 시작해서 해밀턴 역학을 이용한 로렌츠 힘의 유도까지 설명하는데, 저자의 엄청난 내공이 내용을 청산유수 끌고 나간다. 독자를 ‘수학은 싫은 교양서적 소비자’가 아닌 ‘물리학에 진정한 열정이 있는 학생’으로 대하는 저자의 태도가 느껴진다. 너무 알차서 2회독함.
1
13
23
리빙 포인트: 첨언을 하고 싶을 때에는 괄호 대신 줄표를 사용하자—그것은 문학의 아우라를 지닌다.
가끔 괄호체 쓰는 자신이 너무 십덕스러울때가 있는데
쩔 수 없음...
쿠션으로 괄호체 써서 완전체십덕되기 vs 의미 전달이 제대로 안되어서 싸불당하기
둘 중 전자를 택하기로 했을뿐임
0
25K
7K
0
11
24
1. Mother's day(어Δㅣ)와 Father's day(아비)를 합쳐서 어버Δㅣ날 → 어버이날이 된 거다
2. 어머니의 날만을 기념하는 것은 오히려 자녀 양육의 책임을 암암리에 모친의 몫으로 돌리는 것이다
0
11
23
생존신고합니다!
근황: 첫 주차라서 아무것도 안하고 동기들이랑 체스랑 마피아랑 무한 잡담을 나누었습니다 동기들이 나 박사님이라고 불러 주고 밥은 카이스트 학식보다 맛있음
총평: 괜찮은데?
2
0
23
글쓰기의 장점: 시간을 갈아 넣을수록 글이 좋아지는 게 보인다
글쓰기의 단점: 시간을 갈아 넣으면 글이 좋아진다는 사실을 내가 안다
0
1
21
제가 지금 느끼는 것은 재능을 반만 가지고 태어난 사람들의 저주입니다. 그것은 마치 촛불을 들고 당신과 함께 어두운 복도를 걸어가 주다가 복도 한복판에서 불을 꺼버리는 사람과도 같습니다.
-비트겐슈타인, <러셀에게 보낸 편지>
0
17
22
이거 음악사를 잘 모르는 사람들이 되게 많이 하는 오해인데, 18세기 당시에도 클래식 음악은 대중음악이 아니었습니다. 그 당시에도 클래식은 순수예술의 지위를 점하고 있었으며 대중음악과는 구분되었어요. (그래서 '민요(folk)'라는 개념이 따로 있는 것)
그거 아시나요 클래식 음악도 당시에는 대중음악이었다는 것을요 산업이 이미 그렇게 변한 거고 산업의 흐름이란 게 그런 것이니 너무 노여워는 마셔요
1
2K
793
0
22
20
내 인생에서 가장 큰 저주이자 축복은 코로나 시국 때 우연히 시작하게 된 인문학 공부였다..
1
1
20
1960년대에 새 수학 운동이라고 수학의 논리와 원리를 중시하는 교육이 미국에서 시도되었는데 숫자를 무지성으로 쓰지 말고 각 자릿수의 의미를 깨우치라고 2진법이나 7진법을 초등학교 때부터 가르쳤으나 학생 학부모 교사 모두가 이게 뭔지 이해를 못해 총체적 난국으로 끝남
0
14
19
내가 잘 못 있으면, 당신도 잘 못 있습니다
""당신이 잘 있으면, 나도 잘 있습니다."(Si vales bene, valeo)
라틴어로 쓰인 이 글귀는 로마인들이 편지를 쓸 때 첫 인사로 사용하던 말이라고 한다. 오늘 스쳐 지나간 당신이 잘 지내는 것은 나의 안녕의 조건이다."
_정은령, 『당신이 잘 있으면, 나도 잘 있습니다』
1
163
309
3
4
21
군대에서 읽은책 매운맛 리뷰
신곡: 하남자가 자기 짝사랑이랑 데이트하는 동안 자기가 싫어하는 사람들은 지옥불에 던져버린 망상 판타지 — 중세 이탈리아의 정치문화에 해박하지도, 원서를 읽을 수준도 아니라면 재미도 감동도 없지만 교양 콤플렉스를 허영심으로 채우기에는 안성맞춤이다
2
8
19
애들이 체스를 너무 많이 해서 일부 미국 학교가 을 차단해버리자 체닷에서 으로 우회되도록 만든거 너무 웃김 ㅋㅋ
0
7
21
요즘 너무 수학 얘기만 해서 주제를 바꿔 보겠습니다.
<감정, 이미지, 수사로 읽는 클래식> 강추드립니다. 보통 음악 교양서적은 은유적인 표현만으로 음악을 설명하려고 하는데, 이 책은 과감하게 악보와 이론을 설명하며 왜 이런 음악은 이런 효과를 지니는지를 논리정연하게 설명해줍니다. 띵작.
0
7
19
뉴턴주의자 클라크랑 라이프니츠가 편지로 벌인 논쟁 읽는데 라이프니츠가 150문장 장문의 반박을 보내자 클라크가 “많은 단어가 지성을 증명하지는 않죠. 저는 짧게 쓰겠습니다”라고 답장 박은거 개웃김
0
8
20