∀x.(…) 任意のxについて、… 任意のxに対して、… 任意のxに関して、… どんなxであっても、… xが何であっても、… すべてのxに対して、… あらゆるxに渡って、… 勝手にxを取ってきて、… xを好きに選ぶと、… ∃x.(…) 適当なxを取れば、… あるxがあって、… xをうま…

function strange-func(x:Func1Code):Void := if (halt(x, x)) then forever() else done() ; predicate strange-pred(x:Pred1Code) := ¬provable(x, x)Godはゲーデル符号化だとして、次の述語を考える。 halt(God(strange-func), God(strange-func)) : Bool…

ユークリッド的 ミンコフスキー的 ベクトル空間 ユークリッド空間 ミンコフスキー空間 内積 ユークリッド内積 ミンコフスキー内積 内積保存変換 直交変換 ローレンツ変換 アフィン変換 ？ ポアンカレ変換 多様体 リーマン多様体 ローレンツ多様体 ユークリッ…