箱星📦⭐️
hakoboshi.pink
活用方法模索中 アイコンはりょくすい様に描いていただきました 他のSNSはこちら https://lit.link/hakoboshi
👤 Joined on 07 February 2024
36
Followers
34
Following
281
Total Posts
📜 Kullanıcı Geçmişi
- 07 Şub 2024, 04:22
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@hako111223.bsky.social - 18 Eki 2024, 08:30
✏️ Kullanıcı adı değişti:
@hako111223.bsky.social→@hakoboshi.bsky.social - 26 Ağu 2026, 07:38
✏️ Kullanıcı adı değişti:
@hakoboshi.bsky.social→@hakoboshi.pink
🚫 Blokladığı Kullanıcılar
Bu kullanıcının blokladığı kullanıcı bulunamadı.
❤️ Beğendiği Gönderiler
fairy-lettuce.com (このユーザーのハンドルじゃなくて URL だよ！) に何かが出来そうな予感がします 古の工事中サイトを彷彿とさせますね！
Show Post
祖母から小説を借りたら文庫で500～600円で物価高を実感するなど この前買った文庫本1000円上やったぞ…
Show Post
学科の直観主義ネイティヴに"洗脳を解いてもらった"が、割と reasonable な主張だなと思った：直観主義は標語的に「排中律を認めない」と言われることが多いが、「任意の命題 P について P ∨ ¬P」を認めないだけであって、（P も not P も証明できなくても）P によっては P ∨ ¬P を認めてもよい その境界線は計算可能性によって引かれていて、例えば「P: ∀n∈N, (n > 0) ∨ ¬(n > 0)」は各個例が計算可能なので認めるが、「Q: ∀x∈R, (x > 0) ∨ ¬(x > 0)」の各個例は計算可能でないので認めない、というようなことが起こっている**らしい**
Show Post