人気の記事一覧

数学(2023/2/26):記号をゲーデル数ではなくもっと弱い何かで代替した方が良いのではないか

数学(2022/5/6):キューネン本2冊についての記事_2.ZFC集合論について論じる前の下準備(一階述語論理、直観主義論理、(厳格な)構成主義的数学)

随筆(2020/9/13):適切な抽象化、難しいですね

真理とは、現在の主観的な意識体験である/原理原則・基礎科学としての、認識論・真理論哲学の証明

3か月前