言及状況

Twitter (7 users, 8 posts, 9 favorites)

@yuchiki1000yen @xigurekaoru 数学科のご友人ということで余計なお世話かもしれませんが、自然演繹などの知識がない場合は同著者(戸次大介先生)の『数理論理学』も参照すると良いかもしれません。 この本の主張の根幹が、統語構造は自然演繹における証明過程と同型であるという主張なので(参考;https://t.co/2nxkz3cBQl)

収集済み URL リスト