DavisのNSAのメモです。Dover publ. M.Davis, Applied Nonstandard Analysisを読んでます。今は、Losの定理を証明して、concurrence theoremを証明し、自然数の超準集合に、無限大元が存在することを示したところです。 Concurrence Theorem: をuniverse, を…

こんにちは、いりすです。 最近は3層ニューラルネットワークの普遍定理を証明したCybenko, Approximation by Superpositions of Sigmoidal Functionを読んでいます。 この論文の主定理は、sigmoidalな関数についてニューラルネットワークで表現される数式 の…

最近、M.DavisのApplied NSAを読んでます。 NSA+MLで同人誌を出しましたが、このままその方向で進めるなら、数理論理的、モデル理論的な扱い方を知らないのは困るな、と思ったので読んでます。 Chapter1.3 individual and superstructureについてのメモです…