TQesprの投稿記録

2014年4月20日 (日)

• 02:432014年4月20日 (日) 02:43 差分 履歴 +136 ゲーデルの不完全性定理 →第一不完全性定理の証明

2014年3月15日 (土)

• 14:332014年3月15日 (土) 14:33 差分 履歴 +88 105 次の項を追加[1,-1,0 以外の係数を持つ円分多項式の最小の次数は105である。]

2014年2月28日 (金)

• 21:572014年2月28日 (金) 21:57 差分 履歴 +391 ノート:停止性問題 編集の要約なし