RT @tadamago: φ(x) に∀,∃があってもスコーレムの予想が正しいことを私が証明して発表したのが,わずか2ページの論文 https://t.co/nuvMioWRTu https://t.co/vIaROfXUyj しかしスコーレム自身も同じことをほぼ同じ時期に…
1,255 followers
405 followers
RT @tadamago: φ(x) に∀,∃があってもスコーレムの予想が正しいことを私が証明して発表したのが,わずか2ページの論文 https://t.co/nuvMioWRTu https://t.co/vIaROfXUyj しかしスコーレム自身も同じことをほぼ同じ時期に…
3,031 followers
RT @tadamago: φ(x) に∀,∃があってもスコーレムの予想が正しいことを私が証明して発表したのが,わずか2ページの論文 https://t.co/nuvMioWRTu https://t.co/vIaROfXUyj しかしスコーレム自身も同じことをほぼ同じ時期に…
3,516 followers
RT @tadamago: φ(x) に∀,∃があってもスコーレムの予想が正しいことを私が証明して発表したのが,わずか2ページの論文 https://t.co/nuvMioWRTu https://t.co/vIaROfXUyj しかしスコーレム自身も同じことをほぼ同じ時期に…