フォロー

Boolosによると「第2不完全性定理を用いたLöbの定理の証明」は1966年のKripkeに帰するらしくKripke何でもやりすぎと思った

ログインして会話に参加
Fedibird

様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。