æ°çè«çå¦ï¼ãããããããããè±Â : mathematical logicï¼ã¾ãã¯ç¾ä»£è«çå¦[1][2]ãè¨å·è«çå¦[1][2]ãæ°å¦åºç¤è«[3]ãè¶ æ°å¦[4]ã¯ãæ°å¦ã®åéã®ä¸ã¤ã§ãã[4]ããæ°å¦ã®çè«ãå±éããéã«ãã®éª¨æ ¼ã¨ãªãè«çã®æ§é ãç 究ããåéããæã[3][注 1]ãæ°çè«çå¦ï¼æ°å¦åºç¤è«ï¼ã¨å¯æ¥ã«é¢é£ãã¦ããåéã¨ãã¦ã¯è¨ç®æ©ç§å¦ãã³ã³ãã¥ã¼ã¿ç§å¦ã[4]ãçè«è¨ç®æ©ç§å¦ãªã©ããã[注 2][注 3]ã æ°çè«çå¦ã®ä¸»ãªç®çã¯å½¢å¼è«çã®æ°å¦ã¸ã®å¿ç¨ã®æ¢æ±ãæ°å¦çãªè§£æãªã©ã§ãããå ±é課é¡ã¨ãã¦ã¯å½¢å¼ä½ç³»ã®è¡¨ç¾åãå½¢å¼è¨¼æç³»ã®æ¼ç¹¹ã®è½åã®ç 究ãå«ã¾ããã æ°çè«çå¦ã¯ãã°ãã°éåè«ãã¢ãã«çè«ãå帰çè«ã証æè«ã®4ã¤ã®é åã«åé¡ãããããããã®é åã¯ãã¸ãã¯ã®ã¨ãã«ä¸éè¿°èªè«çãå®ç¾©å¯è½æ§ã«é¢ããçµæãå ±æãã¦ãããè¨ç®æ©ç§å¦ï¼ã¨ãã«ACM Classificationï¼è±
{{#tags}}- {{label}}
{{/tags}}