真偽可能性は、数学の本質である。
すると計算数学を超え、システム工学を数学の一部とすることが出来る。
システムは証明可能だから。
これがヒルベルトのmathematematicsである。
証明可能であることが、その本質である。
*
現代の政治や経済は、真偽不能の証明不能性にある。
これは現代から排除されねばならない。
すると計算数学を超え、システム工学を数学の一部とすることが出来る。
システムは証明可能だから。
これがヒルベルトのmathematematicsである。
証明可能であることが、その本質である。
*
現代の政治や経済は、真偽不能の証明不能性にある。
これは現代から排除されねばならない。