最近の更新

最近の更新のオプション

最近1 | 3 | 7 | 14 | 30日間の50 | 100 | 250 | 500件分を表示する
細部の編集を非表示 | ボットの編集を表示 | 匿名利用者の編集を非表示 | ログイン利用者の編集を非表示 | 自分の編集を非表示 | 拡張された最近更新したページを非表示 | ログを非表示
2020年10月27日 (火) 00:39以降の更新を表示する

2020年10月26日

	19:30	ユーザーブログ:ゆきと/Y数列‎‎ (2回の変更 \| 履歴) . . (-144)‎ . . [ゆきと‎ (2×)]
		19:30 (最新 \| 前) . . (-27)‎ . . ゆきと (ウォール \| 投稿記録) (ブログ記事の作成/更新)
		17:09 (最新 \| 前) . . (-117)‎ . . ゆきと (ウォール \| 投稿記録) (ブログ記事の作成/更新)

15:36

(削除記録) . . Kanrokoti (ウォール | 投稿記録) がページ「ユーザーブログ:Kanrokoti/くまくまネストベース」を削除しました ‎(内容：「==定義== ===表記=== ここでは、表記に用いる文字列を定める。 0と(と)と{と}と+のみからなる文字列の集合Tとその部分集合PTを、以下のように再帰的に定める: :1. 0∈Tである。 :2....」)

細 15:29

TR関数‎ (差分 | 履歴) . . (+141)‎ . . P進大好きbot (ウォール | 投稿記録) (不足していた条件の追加)

	15:25	記事コメント（ユーザーブログ:Emk/TR関数の定式化の一例） (10回の変更) . . [P進大好きbot‎; AlweLogic‎ (4×); Emk‎ (5×)]
	新	15:25 (最新) . . (+252)‎ . . P進大好きbot (ウォール \| 投稿記録) (ページの作成：「ああ、例によってTR関数にT代入した時の全域性はTのΣ_1健全性だけでなくn文字未満の論理式が同値性を除いて有限個になるこ...」)
	新	12:32 (最新) . . (+384)‎ . . AlweLogic (ウォール \| 投稿記録) (ページの作成：「言語によってΣ_1-健全性の定義って変わるのでそのような反例が作れるのはおかしくないので言語を固定しましょう。ちなみ...」)
	新	12:03 (最新) . . (+197)‎ . . Emk (ウォール \| 投稿記録) (ページの作成：「そういえば前から疑問だったのですが、Tが集合論の場合のΣ1-健全性ってどのように定義されるのですか? レヴィ階層を使う...」)
		11:57 (最新 \| 前) . . (+128)‎ . . Emk (ウォール \| 投稿記録)
	新	11:54 (最新) . . (+169)‎ . . Emk (ウォール \| 投稿記録) (ページの作成：「* c_kをすべてs...(k個)...0に置換して追加した記号を含まないようにした論理式がΣ1-論理式ならば、Σ1-論理式でどうでしょう。」)
	新	11:07 (最新) . . (+110)‎ . . AlweLogic (ウォール \| 投稿記録) (ページの作成：「言語拡張されているみたいなんですがその場合のΣ_1-健全性の定義を教えて下さい」)
	新	10:18 (最新) . . (+105)‎ . . Emk (ウォール \| 投稿記録) (ページの作成：「そうでした。意図していたのはTがΣ1-健全だけどTR(T,n)が全域ではない例です。」)
	新	10:12 (最新) . . (+90)‎ . . AlweLogic (ウォール \| 投稿記録) (ページの作成：「明らかに矛盾した理論とかに対して定まらないことはありますよね」)
	新	10:12 (最新) . . (+260)‎ . . AlweLogic (ウォール \| 投稿記録) (ページの作成：「なんの反例を作っているのかわからないんですがT,nの値によってTR(T,n)が定義されないというのはそれはそうなのでは。意図...」)
	新	10:00 (最新) . . (+925)‎ . . Emk (ウォール \| 投稿記録) (ページの作成：「反例が作れてしまいました。 M_kをkステップで停止するチューリング機械(の符号)とします。M_kはkから再帰的に構成できます...」)

	14:42	カングルスプレックス‎‎ (2回の変更 \| 履歴) . . (+116)‎ . . [Mitsuki1729‎；ゆきと‎]
	細	14:42 (最新 \| 前) . . (+94)‎ . . ゆきと (ウォール \| 投稿記録) (ビジュアルエディタ)
		00:52 (最新 \| 前) . . (+22)‎ . . Mitsuki1729 (ウォール \| 投稿記録) (カテゴリを追加)

	10:42	ユーザーブログ:九矛乃/試作Ｈω梱包関数‎‎ (2回の変更 \| 履歴) . . (-258)‎ . . [九矛乃‎ (2×)]
		10:42 (最新 \| 前) . . (0)‎ . . 九矛乃 (ウォール \| 投稿記録) (ブログ記事の作成/更新)
		10:39 (最新 \| 前) . . (-258)‎ . . 九矛乃 (ウォール \| 投稿記録) (ブログ記事の作成/更新)

06:39

ユーザーブログ:Mitsuki1729/試作:偽くま超変数ψ‎ (差分 | 履歴) . . (-98)‎ . . Mitsuki1729 (ウォール | 投稿記録) (ブログ記事の作成/更新)

00:48

ユーザーブログ:Mitsuki1729/偽くま超変数ψのデバッグ兼計算‎ (差分 | 履歴) . . (+68)‎ . . Mitsuki1729 (ウォール | 投稿記録) (ブログ記事の作成/更新)

2020年10月25日

	15:11	ユーザーブログ:ゆきと/ゆきとの机‎‎ (10回の変更 \| 履歴) . . (+14)‎ . . [ゆきと‎ (10×)]
		15:11 (最新 \| 前) . . (-1)‎ . . ゆきと (ウォール \| 投稿記録) (ブログ記事の作成/更新)
		14:16 (最新 \| 前) . . (-36)‎ . . ゆきと (ウォール \| 投稿記録) (ブログ記事の作成/更新)
		14:13 (最新 \| 前) . . (+33)‎ . . ゆきと (ウォール \| 投稿記録) (ブログ記事の作成/更新)
		14:12 (最新 \| 前) . . (-49)‎ . . ゆきと (ウォール \| 投稿記録) (ブログ記事の作成/更新)
		14:12 (最新 \| 前) . . (-2)‎ . . ゆきと (ウォール \| 投稿記録) (ブログ記事の作成/更新)
		14:11 (最新 \| 前) . . (+24)‎ . . ゆきと (ウォール \| 投稿記録) (ブログ記事の作成/更新)
		14:10 (最新 \| 前) . . (-4)‎ . . ゆきと (ウォール \| 投稿記録) (ブログ記事の作成/更新)
		14:10 (最新 \| 前) . . (-2)‎ . . ゆきと (ウォール \| 投稿記録) (ブログ記事の作成/更新)
		14:09 (最新 \| 前) . . (+21)‎ . . ゆきと (ウォール \| 投稿記録) (ブログ記事の作成/更新)
		14:09 (最新 \| 前) . . (+30)‎ . . ゆきと (ウォール \| 投稿記録) (ブログ記事の作成/更新)

14:20

ユーザーブログ:九矛乃/試作Ｈω梱包関数‎ (差分 | 履歴) . . (-103)‎ . . 九矛乃 (ウォール | 投稿記録) (ブログ記事の作成/更新)

12:17

ユーザーブログ:Mitsuki1729/試作:偽くま超変数ψ‎ (差分 | 履歴) . . (0)‎ . . Mitsuki1729 (ウォール | 投稿記録) (ブログ記事の作成/更新)

11:10

(削除記録) . . Kanrokoti (ウォール | 投稿記録) がページ「ユーザーブログ:Kanrokoti/くまくま表記ベース」を削除しました ‎(内容：「カテゴリ:ブログ記事」)

	09:38	記事コメント（ユーザーブログ:Emk/TR関数の定式化の一例） (10回の変更) . . [AlweLogic‎ (5×); Emk‎ (5×)]
	新	09:38 (最新) . . (+39)‎ . . AlweLogic (ウォール \| 投稿記録) (ページの作成：「ああ、そういうことでしたか」)
		09:34 (最新 \| 前) . . (-3)‎ . . Emk (ウォール \| 投稿記録)
	新	09:29 (最新) . . (+312)‎ . . Emk (ウォール \| 投稿記録) (ページの作成：「自作の関数ならそれでいいのですが、TR関数(およびその元となった超越整数)が論理式の記号の個数でカウントすると明言し...」)
	新	09:20 (最新) . . (+164)‎ . . AlweLogic (ウォール \| 投稿記録) (ページの作成：「論理式の長さではなく論理式のコードの大きさ(これなら自明に再帰的)とか適当な静的複雑性測度で代用しても良いですね」)
	新	08:56 (最新) . . (+124)‎ . . Emk (ウォール \| 投稿記録) (ページの作成：「Tが再帰的であることはどのみち必要なのでそれでよさそうですね。その線で考えてみます。」)
	新	08:44 (最新) . . (+130)‎ . . AlweLogic (ウォール \| 投稿記録) (ページの作成：「具体的に言うと長さn以下であるというpredicateと論理式であるというpredicateが再帰的に取れるので」)
	新	08:43 (最新) . . (+237)‎ . . AlweLogic (ウォール \| 投稿記録) (ページの作成：「ああ、そういう意味ですか。それなら言語が計算可能であるという仮定をすれば大丈夫じゃないですか？明らかに記号が非可...」)
	新	08:33 (最新) . . (+198)‎ . . Emk (ウォール \| 投稿記録) (ページの作成：「長さn以下の論理式が有限個にならないので、どうやって∀y.lh(y)≤n∧proof_T(┌halt(M)┐,y)が再帰的であることを保証するのかが...」)
	新	08:19 (最新) . . (+157)‎ . . AlweLogic (ウォール \| 投稿記録) (ページの作成：「Cantor's pairing関数を用いて「(」=(0) (中略)「c_k」:=(8,k),「f_k」:=(9,k),「R_k」:=(10,k),「x_k」:=(11,k)とすれば良くないですか」)
	新	07:54 (最新) . . (+87)‎ . . Emk (ウォール \| 投稿記録) (ページの作成：「記号の数を制限しない場合どうしたらいいのかわかりません…。」)

新 07:53

ユーザーブログ:Emk/TR関数の定式化の一例‎ (差分 | 履歴) . . (+2,797)‎ . . Emk (ウォール | 投稿記録) (ブログ記事の作成/更新)

細 03:09

ユーザーブログ:Koteitan/バシク行列の数式的定義‎ (差分 | 履歴) . . (+2)‎ . . Koteitan (ウォール | 投稿記録) (ブログ記事の作成/更新)