数学的論理の記事 | jwiki.wiki

ISO 31-11からISO 80000-2へ物理科学における数学記号の標準化

ISO 31-11ISO 80000-2数学記号国際標準

2026年8月13日続きを読む →

スーパータスクとは何か？無限の操作を有限時間で完結させる思考実験とパラドックス

スーパータスクハイパータスクゼノンのパラドックストムソンのランプ

2026年8月7日続きを読む →