Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 22-Jan-2021 00:43:48 JST きゅーけー

   TL で整数と無限の話があがってて ACL2 を学ぶ過程で順序数の勉強をしないといけないことを思い出した。

   • らりお・ザ・何らかの🈗然㊌ソムリエ repeated this.
   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 22-Jan-2021 00:46:17 JST きゅーけー

     in reply to

     今のところ自然数で停止性を証明できない関数にであってない。