3,290 followers
@st_toHKR わかる.今年は酉年だし鳩ノ巣原理を極限まで理解したいのでこれを読むつもりでいます. https://t.co/MBXP9w6zw5
@st_toHKR わかる.今年は酉年だし鳩ノ巣原理を極限まで理解したいのでこれを読むつもりでいます. https://t.co/MBXP9w6zw5
今年は酉年なのでRamsey理論勉強する. Ramsey Theory for Discrete Structures https://t.co/MBXP9w6zw5
「主張簡単⇒証明簡単」では全くない(あるいはむしろ逆だ)し世界は広い.⁰https://t.co/eMypOi4e4S https://t.co/L7WksQEbsV
Ramseyはもともと Propositional Logic の ある種の決定問題を考えていてそのための道具としてRamseyの定理が生まれたみたいなことが書いてあったんだけど具体的にどういう決定問題なんだろう. https://t.co/P1VxodZgPi