@hisyamaru708 Profile picture

飛車丸

@hisyamaru708

仕事しながら数学やアウトドア、あと弓道

Joined January 2015
Similar User
男は黙って… photo

@nanasi98

はる数🐼🚬🟩🖤 photo

@setharutopology

hyqut photo

@hyqut

れんくす photo

@Lenqth

すーり photo

@math_su_ri

ゆう photo

@hyutw

立腹層 photo

@rippukusou

ヘカテー photo

@HKTmine

Yukihiro ODA photo

@Yukihiro0036

006 photo

@tyalgeocat

USB_0.8 photo

@usb_usb

ゆます🌗 photo

@AgYwst

ちょーさん photo

@kyo_math1729

ひるべ photo

@ms_Hilbe

ゆう photo

@uu7t_u

アドベントカレンダー、最近読んだPAとZF-infの関係についてかこうかな


論文読んでみようとなり、途中で参考文献になっている論文を先に読んだほうがいいなとなり、戻ってこられなくなる現象


基礎の公理、いまいちよくわからないなあって思っていたのですが、PAと対応してる部分もあって、少しやりたいことがわかった気がしました。


はてなブログに投稿しました.Tennenbaumの定理について.もう少し深めたい部分ですが,とりあえず今のところ. PAについて8 - 算術について hisyamaru.hatenablog.com/entry/2024/11/… #はてなブログ


久しぶりにTennenbaum's theoremのあたりを復習して、もう少し深く調べてみたいなあと思いました。でも、ここらへん、あんまり話題ってないのかな?


はてなブログに投稿しました. 定義可能な元とタイプの排除定理.あと余談. PAについて7 - 算術について hisyamaru.hatenablog.com/entry/2024/10/… #はてなブログ


はてなブログに投稿しました. 充足可能性を表現する論理式について.長く大変なところですが,書いていて昔より抵抗がなくなっているような気がしました. PAについて6 - 算術について hisyamaru.hatenablog.com/entry/2024/09/… #はてなブログ


前に「さいころを全ての目が出るまで投げ続けるとき、投げる回数の期待値は」っていう問題をどこかで見た気がするが、どこだったっけ


昔の自分がかいた証明の行間が埋まらない


はてなブログに投稿しました. Euclidの互除法から素数が無限個あることの証明まで.ついでに算術の基本定理. PAについて5 - 算術について hisyamaru.hatenablog.com/entry/2024/09/… #はてなブログ


はてなブログに投稿しました 最小数原理と累積帰納法,採集原理,算術的階層について PAについて4 - 算術について hisyamaru.hatenablog.com/entry/2024/08/… #はてなブログ


はてなブログに投稿しました ロビンソン算術Qについて。短め。 PAについて3 - 算術について hisyamaru.hatenablog.com/entry/2024/07/… #はてなブログ


はてなブログに投稿しました。 PAの公理とそのモデルについて。 PAについて2 - 算術について hisyamaru.hatenablog.com/entry/2024/06/… #はてなブログ


≦じゃなくて<を採用しているけど、なんだか面倒なことが多い気がする


久しぶりすぎてとても手間取った。


はてなブログに投稿しました。 これでいいかな?昔のものを掘り出してまた始めてみようと思います。今回はまだ何も始まってないですが。 PAについて1 - 纏めたもの hisyamaru.hatenablog.com/entry/2024/06/… #はてなブログ


む…久しぶりだからよくわからないぞ?


うまくいかなかったから再度挑戦


Loading...

Something went wrong.


Something went wrong.