▽真理を求めて - 様々な情報が溢れ･･･
●11/23 10:56
まち楽ﾌﾞﾛｸﾞ大垣城が秋色！　（紅葉の大垣城）(2024-11-22 12:00:12)ﾋﾞｼﾞﾈｽ･起業に関すること｡負けて勝つ(2024-11-23 08:22:03)

▽hiroyukikojimaの日記
●11/04 14:48
｢命題論理の完全性定理｣というのは､｢ﾄｰﾄﾛｼﾞｰは必ず証明できる｣という定理である｡もう少し詳しく説明しよう｡与えられた命題について､それを構成する命題変数にどんな真偽を割り当ててもその命題が真であるとき､その命題をﾄｰﾄﾛｼﾞｰ(恒真命題)と呼ぶ｡与えられた命題がﾄｰﾄﾛｼﾞｰであるなら､その命題は必ず､通常の(公理から出発する形式的な)推論規則によって証明できる､というものだ｡例えば､命題変数か

▽Active Galactic : 11次元と自然科学と拷問的日常
●03/28 13:04
Active Galactic : 11次元と自然科学と拷問的日常読者になる

▽あけてくれ - おれｶﾈｺﾞﾝの｢算数できんのやっぱり気にしすぎとや｣日記
●03/25 15:01
あけてくれ -- おれｶﾈｺﾞﾝの『算数できんのやっぱり気にしすぎとや』日記読者になる

▽ｱﾝｶﾃ(Uncategorizable Blog)
●01/25 15:26
essa 2021-01-14 21:37 読者になるessa 2020-05-31 19:02 読者になるessa 2020-04-12 17:54 読者になるessa 2020-04-11 17:55 読者になるessa 2020-03-07 01:35 読者になるessa 2020-03-07 01:33 読者になるessa 2020-02-23 16:29 読者になる