Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

ayu-mushi (ayu_mushi@mstdn.jp)'s status on Friday, 04-Dec-2020 13:40:44 JST ayu-mushi

なんで形式主義が無矛盾性証明できないとわかったらダメになるのかわからないけど、パトナムの"もし-ならば"主義に対する優位が存在しなくなるみたいなことなのか。それなら納得できる

In conversation Friday, 04-Dec-2020 13:40:44 JST from mstdn.jp permalink
- ayu-mushi (ayu_mushi@mstdn.jp)'s status on Friday, 04-Dec-2020 13:40:44 JST ayu-mushi
  in reply to
  
  if-then-ismでググれば出てくるけど、もし-ならば主義っていうのはヒットしないっぽい
  
  In conversation Friday, 04-Dec-2020 13:40:44 JST permalink
  
  sumiyaki likes this.

Feeds