即席演说
发表于 2025-4-1 02:42:42
,Überblick zum Forschungsstand,A personal account of how Joseph Goguen and I came to work together and of the influence that Tibetan Buddhism had on us and on our collaboration. A brief discussion of some neurological experiments using meditators and how Goguen’s work connects Buddhism, computing, and cognition.
土坯
发表于 2025-4-1 08:26:30
http://reply.papertrans.cn/16/1526/152542/152542_62.png
Intellectual
发表于 2025-4-1 10:14:56
My Friend Joseph GoguenA personal account of how Joseph Goguen and I came to work together and of the influence that Tibetan Buddhism had on us and on our collaboration. A brief discussion of some neurological experiments using meditators and how Goguen’s work connects Buddhism, computing, and cognition.
paleolithic
发表于 2025-4-1 16:33:54
Institutional 2-cells and Grothendieck InstitutionsWe propose to use Grothendieck institutions based on 2-categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (some weak variants of) exactness. This framework can also be used for obtaining proof systems for heterogeneous theories involving institution semi-morphisms.
枯燥
发表于 2025-4-1 19:32:27
,Überblick zum Forschungsstand,ce and complex networks to illuminate the dynamics of collective musical improvisation. Throughout, it argues for a systems understanding of creativity—a view that takes seriously the notion that group creativity is not simply reducible to individual psychological processes—and it explores interconn
松鸡
发表于 2025-4-1 23:48:06
https://doi.org/10.37307/b.978-3-503-20628-5presentation, and the divergence between meaning in formal systems of understanding and in everyday lived experience. This essay attempts to draw out some of the parallels between the works of these two authors, in particular regarding metalogic, qualia, and identity, using illustrative examples fro