あと24時間
sob

見た目変わってる

昨日のマストドンの活動は

トゥート : 3433(+24)
フォロー : 35(0)
フォロワー : 37(0)

でした。
https://donhaialert.herokuapp.com

#donhaialert

言語が違うから
x(に対応する言語Lの表現)にv(に対応する言語Lのターム)
という風に（）の注釈が長い

メタ、非メタだけじゃなく、PAとλの違いにもよってより複雑になっている

進捗なし

PCのマイク感度が低いのかそれとも自分の声が小さいのか

https://ja.wikipedia.org/wiki/%CE%A5#記号としての用法:~:text=%E3%81%9F%E3%81%A0%E3%81%97%E3%80%81%E3%83%A9%E3%83%86%E3%83%B3%E6%96%87%E5%AD%97%E3%81%AEY%E3%81%A8%E3%81%AE%E6%B7%B7%E5%90%8C%E3%82%92%E9%81%BF%E3%81%91%E3%82%8B%E3%81%9F%E3%82%81%E3%81%AB%E3%80%81%E3%81%9D%E3%82%8C%E3%81%A8%E8%A7%A3%E3%82%8B%E3%83%95%E3%82%A9%E3%83%B3%E3%83%88%E3%82%84%E8%A1%A8%E8%A8%98%EF%BC%88%E3%80%8C%20%CF%92%20%E3%80%8D%E3%81%AA%E3%81%A9%EF%BC%89%E3%82%92%E4%BD%BF%E7%94%A8%E3%81%99%E3%82%8B%E3%80%82

http://myoga.web.fc2.com/note/Griph/
Υの書き方を迷った

a PA
<<a>> aのゲーデル数(in meta言語)
#<<a>> aのゲーデル数(<<a>>)のnumerial(in PA)

magicみたい

G文の詳細を追った
次は対角定理

本当は具体的なゲーデル数への変換の関数を原始再帰的関数で表現して、それをPAに変えたらPAの語彙だけであらわすことができるのかな(長そう)

本質は対角式の形と、PA(といっても使用するのはほとんど述語論理)の推論規則を(メタ的に)適用すること
かな

Tに証明不能な式が存在する　ならば　Tは矛盾していない　？

やっぱり背景がわかってないと不完全性定理誤解しそうなのはわかった気がする(気がするだけ(?))

ω無矛盾と無矛盾の非同値性が直観的には理解できない

メモ
Proof(m,h)の原始再帰性について？

パラメータ定理の
pを使うものをβに変える
SをPAに変える

やることが決まった
できるかは分からない

このアカウントは、notestockで公開設定になっていません。

たびたび見惚れてしまうかわいさ

第1に能力の問題
第2に時間の問題

予期せずAck(m,n)がPRFでないことの説明を見た

眠いけど頑張るぞ

numeralとnumeralの表す自然数をゲーデル数とするPAの表現を混同してしまうのよくわかる

ちゃんとトレースすればわかる

分からなければちゃんとトレースできない

Publisher、せっかくあるので使ってみたい

Gが曲者

証明力ぅ...ですかねぇ...

記号を扱うための拡張が必要だった

Σ, Πの判定がｱ

休憩、こと昼食

数論だぁ

p_n < n! + 2
ふつうだった

難しい

𝐴関数

(斜A 関数)

おそらく大事なrm

特性関数との積の和をとる感じ組み合わせ回路に似てる

Discord brainf*ckのsyntax highlightに対応してた

考える