수학봇 @Mathbot_KR
☞ 봇에 쓸 만한 내용 제보는 태그하고 말씀해주시면 됩니다. ☞ 그 이외 질문사항도 태그 후 질문 부탁드립니다. ☞ 잘못된 내용의 정정 환영. ☞ 과학봇과는 다릅니다! 문의: DM 혹은 [email protected] Grothendieck universe Joined June 2016-
Tweets82K
-
Followers914
-
Following167
-
Likes86
유클리드 평면에 유한개의 점이 존재할경우 모든 점들은 한직선상에 있거나 아니면 두개의 점만 포함하는 직선을 적어도 하나 가집니다. (Sylvester–Gallai theorem)
`ZF + Dependent Choice + 모든 R의 부분집합이 르벡 가측'은 무모순합니다. (Solovay model) 하지만 그 증명은 거대 기수에 의존합니다.
만약 두 공간이 homotopic하다면, 이 둘은 같은 공간의 deformation retract로 표현할 수 있습니다.
Countably locally finite는 딱히 countable일 필요도 없고 locally finite일 이유도 없습니다.
무한집합 X의 임의의 부분집합이 유한집합이거나 유한집합의 여집합이면 이를 amorphous set이라 부릅니다. 선택공리를 가정하면 이런 집합은 없지만 `ZF + amorphous set이 존재한다'는 무모순입니다.
다층신경망(MLP)는 어떠한 함수도 모사할 수 있습니다 (Universal Approximation Theorem)
그로텐디크는 자신이 속해 있는 IHÉS가 프랑스 국방부로부터 지원금을 받았단 사실을 알고 나서 IHÉS에서 탈퇴했습니다.
Cohen이 ZF로부터 선택공리의 독립성을 증명하기 이전에 Fraenkel은 선택공리의 독립성을 증명합니다. 그의 증명에서 등장하는 집합론은 무한 개의 (집합이 아닌) atom을 가집니다.
선택공리를 쓰면 모든 벡터 공간이 basis를 가짐을 증명할 수 있습니다. 재밌게도 역도 성립합니다: 모든 벡터 공간이 basis를 가지면 선택공리가 성립합니다.

Akamig @_Akamig
2K Followers 2K Following I program electronic trans motorcycle music with silly doodles, but bad at it. / Supports @KEXP / Cartoon Network Forever / We don't take blue checks here
Basix @Basix1120
5K Followers 6K Following Software Engineer | 고용주의 의견과 무관합니다 | https://t.co/b3pKGw5FU8 | 🇰🇷🇬🇧
익명 @Myeonghong90532
0 Followers 3 Following
𝐈𝐅☪︎*。꙳ @HIR_112233
22 Followers 1K Following
ㅂㄹㅇㅇ @brawlinfo2002
410 Followers 5K Following 김준현이에요/브롤 정보 유출러/디엠 잘 안봐요/양력 생일/닉네임의 뜻은 나쁘게 불려도 되고 예쁘게 불러도 됩니다/팔로우 요청시 승인
sungjib yoon @sungjib12096
0 Followers 43 Following
더플러스수학_�... @plusthemath
0 Followers 22 Following 수학! 학생은 말을 하고 아빠도 보세요! #울산수학학원 #더플러스수학 : 모든학생이 #수학구술 을 합니다. #서술형_주관식 말할 수 있으면 적을 수 있다. 일주일에 한번 더플러스수학 에서 #과학고 면접준비 하세요! #수학공부 를 학교, 학원 선생님이 수업 준비를 하듯이
매쓰튜터 @happy_mathtutor
4 Followers 27 Following AI 개인교사시스템을 기반으로 한 수학문제풀이 앱, 매쓰튜터! 스마트폰을 꺼내 수학 문제를 찰칵! 찍기만 하면 유사심화문제부터 개념 영상까지 쫘악~ 이 모든 것이 무료라고?! 구글 플레이스토어와 앱스토어에서 "매쓰튜터"를 검색하세요!
갓생1 @K94tjnWe4w40964
0 Followers 10 Following
별가사리 @bright_flame23
38 Followers 3K Following
이휘 @i_0hwi
0 Followers 25 Following
서징니 @naver0924
3 Followers 96 Following
Mathia @Horeader
9 Followers 61 Following
디러 @ddeer89807828
1 Followers 31 Following
. @sjktwt
0 Followers 47 Following
q @gimsong98528323
4 Followers 24 Following
- @215506_
8 Followers 694 Following
hjjjjjjj @bsjiiisjmmksos
20 Followers 110 Following
임지윤 @saylimjiyoon
68 Followers 818 Following WANNAME, 질문 수집가, Post-콘텐츠 크리에이터, Red thinker, 외상 후 성장가, Enthusiast, Homo Archivist, ENFP 출신 INTJ, 박진영(The 'Asiansoul')빠, Golden Aunt
суаluме @WhoIsCyalume
73 Followers 166 Following #FreeHongKong 🇭🇰 #FreeTaiwan 🇹🇼 #FreePalestine 🇵🇸 #StandWithUkraine 🇺🇦 #SaveMyanmar 🇲🇲 🎗️
😇 @ndkekcownfnw
1 Followers 131 Following
V @_es_muss_sein_
8 Followers 405 Following
기여운나래☀︎... @llllIlllIlllII
295 Followers 2K Following
홍삼맛캔디 @jd4cLmIOmL2oxWs
84 Followers 2K Following
ㅂㄹㅇㅇ @aideman2020
5 Followers 193 Following
Hyeon min Yun @hyeonmin_Lona
154 Followers 344 Following M.S Student @ KAIST AI (prospective; Spring '26) Stochastic Differential Geometry (ricci flow), Stochastic Optimal Control, Complex Geometry.
아테나 | Athena�... @yeoubyeol19
21 Followers 52 Following 공부계/ 초등 수학 & 한국사 공부 / 일본어 공부 中 / 가끔씩 일상트 올려요 / 공부계 환영 / アニメが好き! / お気軽にフォロワーどうぞ (∗ˊᵕ`∗)
Jaehyeon Lee @MathJHMarco
26 Followers 102 Following UGRD Student in Math at @kaistpr | M^2 34th | 수학 (공부 & 교류 & 뻘글) 계정
으으 @HAERINo_______o
3 Followers 20 Following
J @obladiobladaa11
29 Followers 684 Following
하루카나 @Harukana_0927
111 Followers 353 Following
Ssootube @ssootube
44 Followers 118 Following 수교&컴공 복전생의 유튜브 수학채널 쑤튜브입니다. 현재 정기편성된 것 은 10분 선형대수 강의입니다. 유익하고 재밌는 수학영상도 있으니 놀러오세요! korean youtube math channel Ssootube! majoring in math edu &computer sc.
셍감 @GouldBach_
101 Followers 185 Following 본과생, b.s. in KAIST math & physics /클래식 덕후/프롤레타리아 혁명 지지함/확률적 결정론자/헛소리 조아함/초면 죄송 필요 X/관심 주면 짱 조아함
math114 @himath114
33 Followers 52 Following https://t.co/gdFogazPB9 수학자료실입니다 https://t.co/A8AGmW6RNp 한량 수학세상
KAIST 수리과학과 @kaistmath
731 Followers 1 Following KAIST 수리과학과 공지사항을 올려드립니다 Department of Mathematical Sciences, KAIST
사포닌 @saponin_mechya
20 Followers 129 Following 사포닌/인삼 | G_Witch • Earth House • FE3H • Black Eagles • BanG Dream! • Poppin’Party • Star Wars • EVA • Yuri/GL
ElReversal fan @ElReversal00fan
389 Followers 650 Following
Hyperbolic @publfl2
544 Followers 201 Following PS / Codeforces 2431 / AtCoder 2604 / 한국어 / 日本語 / 競プロアカウント / Mathematics Graduate / @publfl
math.NA Numerical Ana... @arXiv_math_NA
1K Followers 28 Following Abstracts of math.NA (Numerical Analysis) papers posted to arxiv dot org tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.
math.MG Metric Geomet... @arXiv_math_MG
723 Followers 28 Following Abstracts of math.MG (Metric Geometry) papers posted to https://t.co/RuAS0GmuqC tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.
안나 ANNA @weyl_spinor
359 Followers 600 Following Then I’ll make the choice to hear that voice and do the next right thing
MathPrograms.org @MathPrograms1
448 Followers 0 Following New program or grant opportunities on http://t.co/lxfBrfgEy8 - a service sponsored by the American Mathematical Society. See more at http://t.co/jWFTpZKLtc
Seewoo Lee @antimath3
176 Followers 147 Following Ph.D. candidate in mathematics @UCBerkeley, Number theorist (automorphic forms)
Byeongsu Yu @yoo99101
752 Followers 452 Following 晴潤(청윤). Ph.D. in Mathematics on commutative algebra. Aggie. He/him. My opinion is not endorsed by my employer.
math.NT Number Theory... @arXiv_math_NT
998 Followers 28 Following Abstracts of math.NT (Number Theory) papers posted to arxiv dot org tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.
가막이 @gamak01
90 Followers 854 Following 수학, 물리, 전산기, 하나도 안보이는데 님그거어케함? Bluesky https://t.co/6ef91IWMbb
Global Analytic Geome... @qxpKf3cnrCfg2TR
196 Followers 297 Following Algebraic Geometry + Index Theory + Langlands Correspondence
하이퍼볼릭(Bolic... @publfl
269 Followers 661 Following GSHS 31 / POSTECH 16 / 대학원 20 / 러브라이버 / 수학하는 놈 / 프로그래밍도 합니다 / 럽라 만화 번역합니다 / D4DJ / Programming @publfl2
(주)유원커넥션 @U1connection
171 Followers 289 Following 자연과 사회의 자원을 낭비 중인 백수/어쩌다 보니 주로 음식, 그런데 이제 물리+수학+일본 섭컬쳐를 곁들인/차단이나 블언블하면 좀 신경 쓰일지도 몰라요
arXiv math.GR Group T... @mathGRbot
604 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathFAbot @mathGMb @mathGNb @mathGTb @mathHOb @mathITbot @mathKTb @mathLOb @mathMGb @mathMPb ...
arXiv math.AC Commuta... @mathACb
651 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCTbot @mathCVb @mathDGb @mathDSb @mathFAbot ...
arXiv math.DS Dynamic... @mathDSb
755 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCTbot @mathCVb @mathDGb @mathFAbot ...
arXiv math.CV Complex... @mathCVb
416 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCTbot @mathDGb @mathDSb @mathFAbot ...
arXiv math.AP Analysi... @mathAPb
800 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathATb @mathCAbot @mathCObot @mathCTbot @mathCVb @mathDGb @mathDSb @mathFAbot ...
arXiv math.SG Symplec... @mathSGb
459 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathMPb @mathNAb @mathNTb @mathOAb @mathOCb @mathPRb @mathQAb @mathRAb @mathRTb @mathSPb ...
arXiv math.QA Quantum... @mathQAb
468 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathMPb @mathNAb @mathNTb @mathOAb @mathOCb @mathPRb @mathRAb @mathRTb @mathSGb @mathSPb ...
arXiv math.AT Algebra... @mathATb
1K Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathAPb @mathCAbot @mathCObot @mathCTbot @mathCVb @mathDGb @mathDSb @mathFAbot ...
arXiv math.OA Operato... @mathOAb
364 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathMPb @mathNAb @mathNTb @mathOCb @mathPRb @mathQAb @mathRAb @mathRTb @mathSGb @mathSPb ...
arXiv math.FA Functio... @mathFAbot
673 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathLOb @mathMGb @mathMPb ...
arXiv math.RA Rings a... @mathRAb
503 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathMPb @mathNAb @mathNTb @mathOAb @mathOCb @mathPRb @mathQAb @mathRTb @mathSGb @mathSPb ...
arXiv math.CA Classic... @mathCAbot
469 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathAPb @mathATb @mathCObot @mathCTbot @mathCVb @mathDGb @mathDSb @mathFAbot ...
arXiv math.RT Represe... @mathRTb
859 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathMPb @mathNAb @mathNTb @mathOAb @mathOCb @mathPRb @mathQAb @mathRAb @mathSGb @mathSPb ...
arXiv math.MG Metric ... @mathMGb
441 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathLOb @mathMPb ...
arXiv math.KT K-Theor... @mathKTb
445 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathLOb @mathMGb @mathMPb ...
arXiv math.SP Spectra... @mathSPb
342 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathSTb @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCTbot @mathCVb @mathDGb ...
arXiv math.OC Optimiz... @mathOCb
2K Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathMPb @mathNAb @mathNTb @mathOAb @mathPRb @mathQAb @mathRAb @mathRTb @mathSGb @mathSPb ...
arXiv math.CT Categor... @mathCTbot
2K Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCVb @mathDGb @mathDSb @mathFAbot ...
arXiv math.NA Numeric... @mathNAb
843 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathMPb @mathNTb @mathOAb @mathOCb @mathPRb @mathQAb @mathRAb @mathRTb @mathSGb @mathSPb ...
arXiv math.ST Statist... @mathSTb
914 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathSPb @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCTbot @mathCVb @mathDGb ...
arXiv math.IT Informa... @mathITbot
748 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathKTb @mathLOb @mathMGb @mathMPb ...
arXiv math.HO History... @mathHOb
307 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathITbot @mathKTb @mathLOb @mathMGb @mathMPb ...