Titlebook: Algebra, Meaning, and Computation; Essays dedicated to Kokichi Futatsugi,Jean-Pierre Jouannaud,José Meseg Book 2006 Springer-Verlag Berlin

即席演說

,ü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.

土坯

Intellectual

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

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.

枯燥

,ü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

松雞

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