数学基礎論・数理論理学 その19 (550ﾚｽ)
数学基礎論・数理論理学 その19 http://rio2016.5ch.net/test/read.cgi/math/1696599483/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
457: １３２人目の素数さん [sage] 2024/09/29(日) 00:22:10.53 ID:Sdz7AUM/ >>455 彼のこと知らん人が多いみたいだから教えてあげただけだよ http://rio2016.5ch.net/test/read.cgi/math/1696599483/457
459: １３２人目の素数さん [sage] 2024/09/29(日) 00:32:32.59 ID:Sdz7AUM/ >>458 さすがにそれはないやろ http://rio2016.5ch.net/test/read.cgi/math/1696599483/459
461: １３２人目の素数さん [sage] 2024/09/29(日) 00:53:05.13 ID:Sdz7AUM/ >>460 意味わからん 2階だろうが3階だろうが完全ってどうやって証明するつもりなん？ http://rio2016.5ch.net/test/read.cgi/math/1696599483/461
463: １３２人目の素数さん [sage] 2024/09/29(日) 01:06:22.14 ID:Sdz7AUM/ >>462 それがこれの答えになってるとは思えないのだが… 458 １３２人目の素数さん 2024/09/29(日) 00:28:52.77 ID:lqIWNgoG トンデモさん？二階だろうが三階だろうが述語論理は完全だよ。 http://rio2016.5ch.net/test/read.cgi/math/1696599483/463
465: １３２人目の素数さん [sage] 2024/09/29(日) 01:17:51.62 ID:Sdz7AUM/ >>464 高階のときは成り立たないだろ 成り立つというなら証明してみろよ http://rio2016.5ch.net/test/read.cgi/math/1696599483/465
467: １３２人目の素数さん [sage] 2024/09/29(日) 01:35:30.66 ID:Sdz7AUM/ >>466 完全性の定義がお互いに違うだけじゃねーの？ どういう定義してるのよ？ こっちは|=ならば|-の話なんだけど、そこは一致してる？ http://rio2016.5ch.net/test/read.cgi/math/1696599483/467
469: １３２人目の素数さん [sage] 2024/09/29(日) 05:22:58.66 ID:Sdz7AUM/ 今日のこいつ ID:lqIWNgoG が ID:bVRl+o2W 本人だったんじゃねーかって気がして来た http://rio2016.5ch.net/test/read.cgi/math/1696599483/469
480: １３２人目の素数さん [sage] 2024/09/29(日) 21:04:49.16 ID:Sdz7AUM/ >>472 こいつ過去に色んな数学コミュでおんなじように暴れてきたから http://rio2016.5ch.net/test/read.cgi/math/1696599483/480
482: １３２人目の素数さん [sage] 2024/09/29(日) 22:21:58.57 ID:Sdz7AUM/ >>481 定義書いてごらん |=をどう定義したの？ http://rio2016.5ch.net/test/read.cgi/math/1696599483/482
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.034s