-
639We develop an approach to temporal logic that replaces the traditional objective, agent- and event-independent notion of time with a constructive, event-dependent notion of time. We show how to make this event-dependent time entropic and hence well-defined. We use sheaf-theoretic techniques to render event-dependent time functorial and to construct memories as sequences of observed and constructed events with well-defined limits that maximize the consistency of categorizations assigned to object…Read more
-
648Time and space are conflated in time-warps when asleep we dream. Our wakeful cognitive ability to keep them separate indicates different ways of envisaging self-hood. Awareness that dream-time and life-time are separate is itself a propensity of human minds that has evolved by natural selection with adaptive developments in cerebral neuronal circuitry that underpin human behavioural complexity. The contrast is highlighted between how memory of our spatio-temporal experiences appears to be treate…Read more
-
1047We present a colorful and novel discussion of mathematical techniques of visualizing a fourth spatial dimension. We first discuss notions of dimensionality including the homotopy dimension for objects in an (infinity,1)-topos. We try to visualize the fourth spatial dimension using color, and illustrate this with four-dimensional ice-cream. We apply categorical negative thinking to what we have called (infinity,1)-visual epistemology. The aim is that visualizations of higher spatial dimensions ca…Read more
-
473We present colorful illustrations of particular properties of functorial diamonds, in the sense of Scholze; namely profinite reflections as categorical colors.We discuss sight as site using representable functors in the condensed formalism. We illuminate diamonds using our novel constructions of categorical Ozma and Cinderella, the site of Oz, and condensed Through the Looking-Glass.
-
743A comprehensive review of diamonds, in the sense of Scholze, is presented. The diamond formulations of the Fargues-Fontaine curve and Bun_G are stated. Principal results centered on the diamond formalism in the global Langlands correspondence and the geometrization of the local Langlands correspondence are given. We conclude with a discussion of future geometrizations, and conjecture a diamond reformulation of quantum computational complexity towards a diamond ER = EPR.
-
911We propose Qurio, which is our new model of pedagogy incorporating the principles of quantum mechanics with a curiosity AI called Curio AI equipped with a meta-curiosity algorithm. Curio has a curiosity profile that is in a quantum superposition of every possible curiosity type. We describe the ethos and tenets of Qurio, which we claim can create an environment supporting neuroplasticity that cultivates curiosity powered by tools that exhibit their own curiosity. We give examples of how to incor…Read more
-
612Commensurate with our work on dark consciousness, we present a small extension of our previous formalism to model the mixed-frequency states as time crystals. We then posit shared intelligence as an Everettian phone, which is a looking-glass p-adic periodicity in time.
-
1562We investigate the idea of sleep as the protostate, and posit the idea of dark consciousness where dark is a 2-fold hybrid. We model dark consciousness as a 2-topos in p-adic time, and outline perfectoid and diamond-like versions. We then introduce and illustrate implications of Dark Imaginarium, which is a higher order Curiosity Artificial Intelligence, an Infinity-Curiosity Type, that thinks in infinity categories.
-
1059We propose a quantum curiosity algorithm as a means to implement quantum thinking into AI, and we illustrate 5 new quantum curiosity types. We then introduce 6 new hybrid quantum curiosity types combining animal and plant curiosity elements with biomimicry beyond human sensing. We then introduce 4 specialized quantum curiosity types, which incorporate quantum thinking into coding frameworks to radically transform problem-solving and discovery in science, medicine, and systems analysis. We conclu…Read more
-
712If episodic memory is constructive, experienced time is also a construct. We develop an event-based formalism that replaces the traditional objective, agent-independent notion of time with a constructive, agent-dependent notion of time. We show how to make this agent-dependent time entropic and hence well-defined. We use sheaf-theoretic techniques to render agent-dependent time functorial and to construct episodic memories as sequences of observed and constructed events with well-defined limits …Read more
-
803The cognitive sciences tell us that the self is a construct. The visual arts illustrate this fact. Mathematics give it full expression, abstracting the self to a Grothendieck site. This self is a haecceity, an ephemeral this-ness and now-ness. We make up our minds and our histories. That our acts are public, that they communicate effectively, becomes a dialetheic paradox, a deep paradox for our times.
-
980Mathematics has a long track record of refining the concepts by which we make sense of the world. For example, mathematics allows one to speak about different senses of "sameness", depending on the larger context. Phenomenology is the name of a philosophical discipline that tries to systematically investigate the first-personal perspective on reality and how it is constituted. Together, mathematics and phenomenology seem to be a good fit to derive statements about our experience that are, at t…Read more
-
2450We construct a mathematization of Derridian "arche-writing" and Deleuzian "haecceity." We posit an infinity-categorification of exigency (infinity-exigency), a higher-dimensional visual epistemology (infinity-visual epistemology), and infinity-stack Wittgenstein ladder. We reframe haecceities in terms of diamonds, in the sense of Scholze, and mathematize the haecceity-and-arche-writing reflection as a pro-diamond. As an exercise in infinity-visual epistemology, we validate a diamond infinity-sta…Read more
-
1072We recently presented our Efimov K-theory of Diamonds, proposing a pro-diamond, a large stable (∞,1)-category of diamonds (D^{diamond}), and a localization sequence for diamond spectra. Commensurate with the localization sequence, we now detail four potential applications of the Efimov K-theory of D^{diamond}: emergent time as a pro-emergence (v-stack time) in a diamond holographic principle using Scholze’s six operations in the ’etale cohomology of diamonds; a pro-Generative Adversarial Network…Read more
-
3271Motivated by Scholze and Fargues' geometrization of the local Langlands correspondence using perfectoid diamonds and Clausen and Scholze's work on the K-theory of adic spaces using condensed mathematics, we introduce the Efimov K-theory of diamonds. We propose a pro-diamond, a large stable (infinity,1)-category of diamonds D^{diamond}, diamond spectra and chromatic tower, and a localization sequence for diamond spectra.
-
1221In this paper, we propose a mathematical model of subjective experience in terms of classes of hierarchical geometries of representations (“n-awareness”). We first outline a general framework by recalling concepts from higher category theory, homotopy theory, and the theory of (infinity,1)-topoi. We then state three conjectures that enrich this framework. We first propose that the (infinity,1)-category of a geometric structure known as perfectoid diamond is an (infinity,1)-topos. In order to con…Read more
-
1644In this paper, we develop a mathematical model of awareness based on the idea of plurality. Instead of positing a singular principle, telos, or essence as noumenon, we model it as plurality accessible through multiple forms of awareness (“n-awareness”). In contrast to many other approaches, our model is committed to pluralist thinking. The noumenon is plural, and reality is neither reducible nor irreducible. Nothing dies out in meaning making. We begin by mathematizing the concept of awareness b…Read more
Areas of Specialization
| Science, Logic, and Mathematics |
Areas of Interest
| Science, Logic, and Mathematics |