Downloadable Publications
Selected publications by Giuseppe Longo, after 1990 available as .dvi, .ps (some gzipped) or .pdf files by ftp and http 1 - Mathematical Logic and Computer Science. 2 - Cognition and Foundations of Mathematical Knowledge. 3 - Theoretical Biology. 4 - Interfaces Computability, Physics and Biology. 5 - Minima Philosophica. 6 - Minima Economica. 7 - 1980's: Some of the
ヒビルテ
λ. ザリスキー位相 先日、プログラミング言語の方のschemeの話をしていたら、schemeつながりで代数幾何のschemeの話になり、そこからザリスキー位相の話が出てきた。 そういえば、ザリスキー位相というか Zariski spectrum の話は Topology via Logic の第12章 Spectra of rings でちょっと読んだことがあるな。 この章はおまけ的な章だったので、あまりまじめに読んではいなかったけど、Zariski spectrum って代数幾何で使うような概念だったのか。 代数幾何って魑魅魍魎の世界だと思い込んでいたので、そんなのが自分の知識の中に迷い込んでいたことに、ちょっとビックリだ。 ただ、Topology via Logic ではスペクトルは束のような代数に対して定義されるものだった。なので、環の Zariski spectrum も環
2004年1月
トップページに戻る 谷山浩子さんのページ 連絡先 kagami@evariste.que.ne.jp 2003年12月 2004年2月 更新履歴と日記の先頭に戻る 日記の目次 集合論雑記目次 たかたにさん Y.Kumagaiさん はやしさん redcat_mathさん tri_iroさん Stromdorfさん てなさくさん 渕野さんの伯母野山日記 最近のコメント(50件) Twitter (@kagami_hr) 02/25 aiueo 01/01 かがみ 01/01 ゼルプスト殿下 01/01 かがみ 01/01 ゼルプスト殿下 05/10 かがみ 2004年1月31日(土) キシリトールガムの数を数える キシリトールガム を 20年かかって食べるというのはとっても長持ち、という つっこみ があったので、どの位の頻度で食べれば 20年もつのか調査です。で、計算す るにあたって、入れ物に
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://nicosia.is.s.u-tokyo.ac.jp/pub/essay/hagiya/7bits/shoumei_kata