読者です 読者をやめる 読者になる 読者になる

一分一秒真剣勝負!

Ruby, Railsなど。Web系の技術ネタを充実させたい・・が、そうなるかは分からない。

神は存在しないことを証明したプログラミング言語

ミランカで配信中の「博士も知らないニッポンのウラ」という番組が好きなんだけど、第30回の中で関数脳科学の話から「グレゴリー・チャイティンが不完全性定理を数学全般で証明するのに使った言語はLISP」という流れがあって、不完全性定理に興味をもった。 …