意識のハードプロブレムの答え44

722 ：考える名無しさん：2024/05/05(日) 21:21:53.28 ID:0.net

最近知った意味の分からん数学の問題

以下のプログラムを考える

int x = 0;
int y = 0;

以下を無限ループ
x=y;
y=x;

上記のプログラムで常にx=y=0という事実は数学的には証明できない
事実数学的には途中でx=y=42になってしまう可能性がある