タグ

これはちょっとに関するkururu_goedelのブックマーク (2)

  • トンデモって言われたけど正直それほどでもないお(; ^ω^) - ハックルベリーに会いに行く

    なんかぼくのことトンデモって言われたけど正直それほどもでないお( ;^ω^)トンデモっていうのは逆に誉め言葉だお( ;^ω^)ぼくなんかに軽々しく使っちゃいけないお( ;^ω^)当のトンデモは以下に挙げるような人たちに使うものだお( ^ω^) ソクラテスは当のトンデモだお( ^ω^)彼は世の中を乱すとされて死刑にされたお( ;ω;)カエサルは当のトンデモだお( ^ω^)彼はトンデモ政治家だとしてよってたかって暗殺されたお( ;^ω^)マキャベリは当のトンデモだお( ^ω^)彼は正直になんでも言いすぎて無職になったお( ;ω;)ガリレオは当のトンデモだお( ^ω^)彼はトンデモ理論をぶち上げたので異端審問にかけられたお( ;^ω^)織田信長は当のトンデモだお( ^ω^)トンデモすぎて部下に殺されたお( ;^ω^)モーツァルトは当のトンデモだお( ^ω^)依頼主に逆らってばかりで

    kururu_goedel
    kururu_goedel 2008/11/22
    モーツァルトを語るのに音楽に触れず、ゴッホを語るのに絵に触れず、ゲーデルを語るのに数学に触れない、この人の面白さというのはそういうことなのかと思う。悪いこととは言わないけれども。
  • 自然数と実数 - finalventの日記

    自然数と実数は自然的な型ではないか?とか昨日から今日にかけていろいろ考えていた。ふとカントールが何を考えていたのかわかったように思えた。 実数というのはその名に反して存在しない、というと言い過ぎだが、ある方法論的な意識によって現れる連続・無限の別名だ。アレフ0とアレフ1はカーディナルの差異ではあるだろうが、すべてはアレフ0から成り立っている……たぶん。 コンピュータ・サイエンスでは、singleやdoubleとかいうが、そういう型は自然的には存在しない。 では、stringは型か? 3と"3"は違うのではないか。というか、それは何だか別の問題のように思える。 コンピュータ・サイエンスでは、classやtypeで、typeはclassだし、まあ、マルクスやヴェーバーも基的には似たように考えている。 ただ、ことが人になると、人というクラスからは人のインスタンスはできない。少なくとも社会活動・

    自然数と実数 - finalventの日記
    kururu_goedel
    kururu_goedel 2006/11/02
    全てはアレフ0から成り立っている、みたいなことを全て前提にしたうえで形式主義は成り立っているわけで。それをいまさら書かれても。カントールやゲーデルが何を考えていたかは私も知りたいですが。
  • 1