サクサク読めて、アプリ限定の機能も多数!
データ型、関数の概念は…。机上の空論ではなく、むしろコンピュータをインフラの一つとする現代社会の形成に多大な影響を ――もっともぶっ飛んだ空論が、現実の身近なcomputer技術の中でぐるぐる回っているという…
mind のブックマーク 2006/04/22 23:49
数学基礎論 - Wikipedia[0数理系][記号(image)][.論理系][_ function|λ][programming(計画)][9_Turing(模倣⇔理解)][案点|⊥|パラドックス] データ型、関数の概念は…。机上の空論ではなく、むしろコンピュータをインフラの一つとする現代社会の形成に多大な影響を ――もっともぶっ飛んだ空論が、現実の身近なcomputer技術の中でぐるぐる回っているという…2006/04/22 23:49
このブックマークにはスターがありません。 最初のスターをつけてみよう!
ja.wikipedia.org2006/04/22
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "数学基礎論" – ニュース · 書籍 · スカラ...
24 人がブックマーク・5 件のコメント
\ コメントが サクサク読める アプリです /
データ型、関数の概念は…。机上の空論ではなく、むしろコンピュータをインフラの一つとする現代社会の形成に多大な影響を ――もっともぶっ飛んだ空論が、現実の身近なcomputer技術の中でぐるぐる回っているという…
mind のブックマーク 2006/04/22 23:49
このブックマークにはスターがありません。
最初のスターをつけてみよう!
数学基礎論 - Wikipedia
ja.wikipedia.org2006/04/22
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "数学基礎論" – ニュース · 書籍 · スカラ...
24 人がブックマーク・5 件のコメント
\ コメントが サクサク読める アプリです /