Similar User
@nanasi98
@setharutopology
@hyqut
@Lenqth
@math_su_ri
@hyutw
@rippukusou
@HKTmine
@Yukihiro0036
@tyalgeocat
@usb_usb
@AgYwst
@kyo_math1729
@ms_Hilbe
@uu7t_u
基礎の公理、いまいちよくわからないなあって思っていたのですが、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/… #はてなブログ
United States Trends
- 1. Thanksgiving 875 B posts
- 2. Druski 33,9 B posts
- 3. UConn 11,6 B posts
- 4. Kevin Hart 20,7 B posts
- 5. Wiggins 4.894 posts
- 6. Dylan Harper 4.786 posts
- 7. #RHOSLC 6.942 posts
- 8. Dayton 5.330 posts
- 9. Friday Night Lights 19,7 B posts
- 10. Vindman 73,8 B posts
- 11. Zuckerberg 63,3 B posts
- 12. Shai 7.751 posts
- 13. Pat Spencer 1.379 posts
- 14. 0-3 in Maui N/A
- 15. Jalen Williams 2.251 posts
- 16. Tyrese Martin 2.202 posts
- 17. #MSIxSTALKER2 7.398 posts
- 18. Enoch Cheeks N/A
- 19. #BillboardIsOverParty 159 B posts
- 20. Adin Hill N/A
Something went wrong.
Something went wrong.