2018-10-06から1日間の記事一覧
(※内輪向けのメモ書きです。) 1. \(\Delta_0\)論理式の概念について \(\Delta_0\)論理式自体は文字列としての論理式の「見た目」に依存する概念であって、互いに同値な論理式の一方が\(\Delta_0\)だが他方は\(\Delta_0\)でない、ということは珍しくありま…
(※内輪向けのメモ書きです。) 1. \(\Delta_0\)論理式の概念について \(\Delta_0\)論理式自体は文字列としての論理式の「見た目」に依存する概念であって、互いに同値な論理式の一方が\(\Delta_0\)だが他方は\(\Delta_0\)でない、ということは珍しくありま…