2014-06-09から1日間の記事一覧
某所で「対角線論法（のうち、実数全体が可算でないことを示すアレ）に選択公理は必要か？」という話題を見かけた。 この問い自体については、新しい十進小数を作るために各桁を既存の小数と異なるように選ぶ際、選び方を他の桁と無関係に具体的に指定できる…
某所で「対角線論法（のうち、実数全体が可算でないことを示すアレ）に選択公理は必要か？」という話題を見かけた。 この問い自体については、新しい十進小数を作るために各桁を既存の小数と異なるように選ぶ際、選び方を他の桁と無関係に具体的に指定できる…
