>>27
数学が機能するのは「数学的実在」に依存しているので、
「プログラミングに対応しているデータ表現とは別物」という
観点においては賛同する。

>>4
> スタートレックでも未知の知的生命体に会ったときは
> ピカード艦長が簡単な数学でコミュニケーションとっていたし
> 数学は宇宙共通の自然言語だと思われ
主語が抜けている。「1+1 は 2」とか「1 の次は 2」とかいうのは、
「定義」の話でしかない。
「『スター・トレック』というフィクション映画において、
『未知の知的生命体に遭遇したときに会ったときに、
簡単な数学でコミュニケーションを取れた』」というのは
ファンタジーの中のお話でしかない。
ファンタジックでロマンティックな世界に浸っていたいのなら、
ここのような知的なバトルの場に出てこないのが賢明と思われる。